diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2019-05-04 19:08:10 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-05-04 19:41:28 +0200 |
| commit | 1f1ea9c0cb6ac73ab28199259de8e716e04046b6 (patch) | |
| tree | 191c9fad64533016a1f600d37d20dff209b1fe26 /m4 | |
| parent | e03e1b5584634a850bbad8ad58d1e63f436cedbd (diff) | |
| download | gnu-guix-1f1ea9c0cb6ac73ab28199259de8e716e04046b6.tar gnu-guix-1f1ea9c0cb6ac73ab28199259de8e716e04046b6.tar.gz | |
gnu: coq-gappa: Update to 1.3.4.
* gnu/packages/coq.scm (coq-gappa): Update to 1.3.4.
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions