diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2019-05-04 18:23:20 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-05-04 19:41:04 +0200 |
| commit | e03e1b5584634a850bbad8ad58d1e63f436cedbd (patch) | |
| tree | 2513dccf36d696259d4011f2d9e78af467999155 /gnu/local.mk | |
| parent | 729102cbf4f38e74476a85c6b4934438bae1b416 (diff) | |
| download | guix-e03e1b5584634a850bbad8ad58d1e63f436cedbd.tar.gz guix-e03e1b5584634a850bbad8ad58d1e63f436cedbd.zip | |
gnu: coq: Update to 8.9.0.
* gnu/packages/coq.scm (coq): Update to 8.9.0.
(coq-autosubst): Update to latest commit.
(coq-equations): Update to 1.2-beta2.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions