diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-11-21 16:53:46 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-11-21 19:26:57 +0100 |
| commit | 67fbcd437c9906f52b5311058b1c6b48e4c94d02 (patch) | |
| tree | 84a49f1290492a038ae35dc8876083a7174a5645 /gnu/installer/steps.scm | |
| parent | 45bc66dbe9cd7aa3f5d8189f3286867594768089 (diff) | |
| download | guix-67fbcd437c9906f52b5311058b1c6b48e4c94d02.tar guix-67fbcd437c9906f52b5311058b1c6b48e4c94d02.tar.gz | |
gnu: coq-gappa: Update to 1.5.0.
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.0.
Diffstat (limited to 'gnu/installer/steps.scm')
0 files changed, 0 insertions, 0 deletions