diff options
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 |