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 /gnu/local.mk | |
| parent | 189501bf3b8facced98f08e73b7cdb83ec7a272b (diff) | |
| download | 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 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index b1eb41d4fc..a5c0486c94 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -951,6 +951,7 @@ dist_patch_DATA = \ %D%/packages/patches/collectd-5.11.0-noinstallvar.patch \ %D%/packages/patches/combinatorial-blas-awpm.patch \ %D%/packages/patches/combinatorial-blas-io-fix.patch \ + %D%/packages/patches/coq-fix-envvars.patch \ %D%/packages/patches/coreutils-ls.patch \ %D%/packages/patches/cpuinfo-system-libraries.patch \ %D%/packages/patches/crawl-upgrade-saves.patch \ |