diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-07-05 21:32:33 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-07-31 23:06:16 +0200 |
| commit | e38b4d5ceb344c9707917a7d32df50d0ced082b5 (patch) | |
| tree | d44aa43d6eab4a3c44ad522361bdeda74f1e4c64 /guix.scm | |
| parent | 3c44aa2b7456b371a7d5fc52120cca7d3e002f0c (diff) | |
| download | guix-patches-e38b4d5ceb344c9707917a7d32df50d0ced082b5.tar guix-patches-e38b4d5ceb344c9707917a7d32df50d0ced082b5.tar.gz | |
gnu: coq: Update to 8.13.2.
* gnu/packages/coq.scm (coq): Update to 8.13.2.
(coq-ide-server, coq-ide): New packages.
(coq-gappa): Update to 1.4.6.
(coq-bignums): Update to 8.13.0.
(coq-interval): Update to 1.3.0.
(coq-equations): Update to 1.2.4.
Diffstat (limited to 'guix.scm')
0 files changed, 0 insertions, 0 deletions