diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-09-19 21:06:07 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-09-22 07:34:57 +0200 |
| commit | 8734851a8c7bf39f4e88129c3e3de9074fddc3ea (patch) | |
| tree | e59ddf3d4c1b5acd861b8b3193b310ed3bf0fdbf /gnu/packages/rcm.scm | |
| parent | 9f391b90faca02ca97c5018d6c095ecdaa1a94a7 (diff) | |
| download | guix-8734851a8c7bf39f4e88129c3e3de9074fddc3ea.tar.gz guix-8734851a8c7bf39f4e88129c3e3de9074fddc3ea.zip | |
gnu: coq: Update to 8.16.0.
* gnu/packages/coq.scm (coq-core): Update to 8.16.0.
(coq-bignums): Update to 8.16.0.
(coq-equations): Update to 1.3-8.16.
(coq-gappa): Adjust for changes in coq-core.
Diffstat (limited to 'gnu/packages/rcm.scm')
0 files changed, 0 insertions, 0 deletions