diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-01-07 13:02:36 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-07 13:02:36 -0600 |
| commit | d2884b7feff849bc969503dea2a6e8052fc139a6 (patch) | |
| tree | 5a8bb9202ba2d2b1036012b778abe5d9a7869374 | |
| parent | 14af514bf028db4fb878f4a46e477aba21c34b48 (diff) | |
| download | patches-d2884b7feff849bc969503dea2a6e8052fc139a6.tar patches-d2884b7feff849bc969503dea2a6e8052fc139a6.tar.gz | |
gnu: coq-stdpp: Update to 1.2.1.
* gnu/packages/coq.scm (coq-stdpp): Update to 1.2.1.
[arguments]: Remove redundant COQLIB variable.
| -rw-r--r-- | gnu/packages/coq.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 6266f22fb6..cadbbdbaa5 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -589,7 +589,7 @@ kernel.") (define-public coq-stdpp (package (name "coq-stdpp") - (version "1.2.0") + (version "1.2.1") (synopsis "Alternative Coq standard library std++") (source (origin (method git-fetch) @@ -598,7 +598,8 @@ kernel.") (commit (string-append "coq-stdpp-" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "11m7kqxsbxygk41v2wsi3npdzwin9fcnzc1gn0gq0rd57wnqk83i")))) + (base32 + "1lczybg1jq9drbi8nzrlb0k199x4n07aawjwfzrl3qqc0w8kmvdz")))) (build-system gnu-build-system) (inputs `(("coq" ,coq))) @@ -609,7 +610,6 @@ kernel.") (delete 'configure) (replace 'install (lambda* (#:key outputs #:allow-other-keys) - (setenv "COQLIB" (string-append (assoc-ref outputs "out") "/lib/coq/")) (invoke "make" (string-append "COQLIB=" (assoc-ref outputs "out") "/lib/coq/") |