diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-11-28 16:42:56 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-11-30 03:52:00 +0100 |
| commit | d95a982cdd898790d247f013440f08a448265e3f (patch) | |
| tree | 9b2f1c794fca28895a2a7dcab0b00cc3992c07a6 /bootstrap | |
| parent | 189501bf3b8facced98f08e73b7cdb83ec7a272b (diff) | |
| download | guix-d95a982cdd898790d247f013440f08a448265e3f.tar guix-d95a982cdd898790d247f013440f08a448265e3f.tar.gz | |
gnu: coq: Update to 8.14.0.
* gnu/packages/coq.scm (coq): Update to 8.14.0.
(coq-bignums): Update to 8.14.0.
(coq-equations): Update to 1.3.
* gnu/packages/patches/coq-fix-envvars.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions