diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-06-17 14:25:35 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2024-06-23 11:48:40 +0200 |
| commit | bf1e063be350c611022c1430f3a7f1f42005de7f (patch) | |
| tree | 00a36fc94466a71e8cf7adcef6db6d3b81d86ba9 /gnu/packages/coq.scm | |
| parent | 11c403ec0554be0e1c888ec6f8147a232e09adbd (diff) | |
| download | guix-patches-bf1e063be350c611022c1430f3a7f1f42005de7f.tar guix-patches-bf1e063be350c611022c1430f3a7f1f42005de7f.tar.gz | |
gnu: coq-autosubst: Fix Coq 8.19 compatibility.
* gnu/packages/patches/coq-autosubst-1.8-remove-deprecated-files.patch:
New patch.
* gnu/local.mk (dist_patch_DATA): Register patch.
* gnu/packages/coq.scm (coq-autosubst)<source>: Use Coq 8.19
compatibility patch.
Change-Id: Ib705c92b5605c6b679224f471ff12c018842c006
Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'gnu/packages/coq.scm')
| -rw-r--r-- | gnu/packages/coq.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index f0c09bdef9..7a8a49208a 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -528,7 +528,9 @@ Coq proof assistant.") (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "0qk72r6cqxwhqqkl2kmryhw365w3l2016qii1q1sk3md7zq46jcz")))) + (base32 "0qk72r6cqxwhqqkl2kmryhw365w3l2016qii1q1sk3md7zq46jcz")) + (patches + (search-patches "coq-autosubst-1.8-remove-deprecated-files.patch")))) (build-system gnu-build-system) (arguments `(#:tests? #f |