aboutsummaryrefslogtreecommitdiff
path: root/gnu/machine
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2021-07-05 21:32:33 +0200
committerJulien Lepiller <julien@lepiller.eu>2021-07-31 23:06:16 +0200
commite38b4d5ceb344c9707917a7d32df50d0ced082b5 (patch)
treed44aa43d6eab4a3c44ad522361bdeda74f1e4c64 /gnu/machine
parent3c44aa2b7456b371a7d5fc52120cca7d3e002f0c (diff)
downloadguix-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