diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-05-01 08:42:43 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-05-01 13:14:57 +0200 |
| commit | 556ccb4ae16562d200eeb00e4d22fc00fbee7959 (patch) | |
| tree | b02319494987bf80d0975311ca8279f6cda166b2 /Makefile.am | |
| parent | b27a2366ab6fed0d19446fd8fe50c6013a295162 (diff) | |
| download | guix-556ccb4ae16562d200eeb00e4d22fc00fbee7959.tar.gz | |
gnu: coq: Update to 8.15.1.
* gnu/packages/coq.scm (coq): Update to 8.15.1.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions