HCoop / jackhill / guix / guix.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2e1b2d) | patch
gnu: coq-bignums: Update to 8.10.0.
authorBrett Gilio <brettg@gnu.org>
Tue, 7 Jan 2020 19:01:34 +0000 (13:01 -0600)
committerBrett Gilio <brettg@gnu.org>
Tue, 7 Jan 2020 19:01:34 +0000 (13:01 -0600)
commit8ace2045432da1973111d60901b70709649f8866
tree8a71941b17fd2acd637bb15748e4d840d9a7fdeatree | snapshot (tar.gz zip)
parentd2e1b2dac70807640cd8851c67dbf0cbb342bf5ccommit | diff
gnu: coq-bignums: Update to 8.10.0.

* gnu/packages/coq.scm (coq-bignums): Update to 8.10.0.
gnu/packages/coq.scm diff | blob | blame | history
jackhill's copy of GNU Guix: https://guix.gnu.org/