HCoop / jackhill / guix / guix.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e03e1b5) | patch
gnu: coq-gappa: Update to 1.3.4.
authorJulien Lepiller <julien@lepiller.eu>
Sat, 4 May 2019 17:08:10 +0000 (19:08 +0200)
committerJulien Lepiller <julien@lepiller.eu>
Sat, 4 May 2019 17:41:28 +0000 (19:41 +0200)
commit1f1ea9c0cb6ac73ab28199259de8e716e04046b6
tree191c9fad64533016a1f600d37d20dff209b1fe26tree | snapshot (tar.gz zip)
parente03e1b5584634a850bbad8ad58d1e63f436cedbdcommit | diff
gnu: coq-gappa: Update to 1.3.4.

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