diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-02-11 10:10:12 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-02-11 10:32:53 +0100 |
| commit | 6b6474fec71c30a105e9d98f050b29a798b58a0b (patch) | |
| tree | 86d82299498169cb64824d33db92fef2e361661a /gnu/packages/patches/coq-fix-envvars.patch | |
| parent | 238a900baeea8df7d02081bd1fb46e1ba3be4eb5 (diff) | |
| download | guix-6b6474fec71c30a105e9d98f050b29a798b58a0b.tar.gz | |
gnu: coq-interval: Update to 4.4.0.
* gnu/packages/coq.scm (coq-interval): Update to 4.4.0.
Diffstat (limited to 'gnu/packages/patches/coq-fix-envvars.patch')
0 files changed, 0 insertions, 0 deletions