From d2884b7feff849bc969503dea2a6e8052fc139a6 Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Tue, 7 Jan 2020 13:02:36 -0600 Subject: gnu: coq-stdpp: Update to 1.2.1. * gnu/packages/coq.scm (coq-stdpp): Update to 1.2.1. [arguments]: Remove redundant COQLIB variable. --- gnu/packages/coq.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'gnu/packages/coq.scm') 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 @@ (define-public coq-equations (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 @@ (define-public coq-stdpp (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 @@ (define-public coq-stdpp (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/") -- cgit v1.2.3