diff options
| author | Robin Green <greenrd@greenrd.org> | 2020-09-13 15:12:18 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2020-09-14 01:55:52 +0200 |
| commit | 1042d269a723360a02b19a2baafef1e24a3bfc73 (patch) | |
| tree | 87b4e6e27091cba6e7d0f114864390df7d480477 /gnu/packages/xdisorg.scm | |
| parent | 2cae49f9c99e25686858d4a0e423ebd97bc77b2f (diff) | |
| download | guix-patches-1042d269a723360a02b19a2baafef1e24a3bfc73.tar guix-patches-1042d269a723360a02b19a2baafef1e24a3bfc73.tar.gz | |
gnu: Update coq and its dependents
* gnu/packages/coq.scm (coq): Update to 8.11.2
(coq-flocq): Update to 3.3.1
(coq-gappa): Update to 1.4.4
(coq-mathcomp): Update to 1.11.0
(coq-coquelicot): Update to 3.1.0
(coq-bignums): Update to 8.11.0
(coq-interval): Update to 4.0.0
(coq-equations): Update to 1.2.3
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'gnu/packages/xdisorg.scm')
0 files changed, 0 insertions, 0 deletions