diff options
| -rw-r--r-- | nongnu/packages/coq.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm index e95e00b..d86fffb 100644 --- a/nongnu/packages/coq.scm +++ b/nongnu/packages/coq.scm @@ -44,6 +44,10 @@ (arguments `(#:phases (modify-phases %standard-phases + (add-before 'configure 'allow-newer-coq-version + (lambda _ + (substitute* "configure" + (("8.14.0") "8.16.0")))) (replace 'configure (lambda* (#:key outputs #:allow-other-keys) (let ((system ,(match (or (%current-target-system) (%current-system)) |