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 /gnu/machine | |
parent | 3c44aa2b7456b371a7d5fc52120cca7d3e002f0c (diff) | |
download | guix-e38b4d5ceb344c9707917a7d32df50d0ced082b5.tar.gz guix-e38b4d5ceb344c9707917a7d32df50d0ced082b5.zip |
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 'gnu/machine')
0 files changed, 0 insertions, 0 deletions