GNU bug report logs -
#34747
[PATCH] gnu: coq-coquelicot: Update to 3.0.2.
Previous Next
Reported by: Dan Frumin <dfrumin <at> cs.ru.nl>
Date: Mon, 4 Mar 2019 15:38:02 UTC
Severity: normal
Tags: patch
Done: Julien Lepiller <julien <at> lepiller.eu>
Bug is archived. No further changes may be made.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 34747 in the body.
You can then email your comments to 34747 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
guix-patches <at> gnu.org
:
bug#34747
; Package
guix-patches
.
(Mon, 04 Mar 2019 15:38:02 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
Dan Frumin <dfrumin <at> cs.ru.nl>
:
New bug report received and forwarded. Copy sent to
guix-patches <at> gnu.org
.
(Mon, 04 Mar 2019 15:38:02 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
---
gnu/packages/coq.scm | 12 +++---------
1 file changed, 3 insertions(+), 9 deletions(-)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 5393d4273..83f5cd29a 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -327,14 +327,14 @@ part of the distribution.")
(define-public coq-coquelicot
(package
(name "coq-coquelicot")
- (version "3.0.1")
+ (version "3.0.2")
(source (origin
(method url-fetch)
(uri (string-append "https://gforge.inria.fr/frs/download.php/"
- "file/37045/coquelicot-" version ".tar.gz"))
+ "file/37523/coquelicot-" version ".tar.gz"))
(sha256
(base32
- "0hsyhsy2lwqxxx2r8xgi5csmirss42lp9bkb9yy35mnya0w78c8r"))))
+ "1biia7nfqf7vaqq5gmykl4rwjyvrcwss6r2jdf0in5pvp2rnrj2w"))))
(build-system gnu-build-system)
(native-inputs
`(("ocaml" ,ocaml)
@@ -348,12 +348,6 @@ part of the distribution.")
"/lib/coq/user-contrib/Coquelicot"))
#:phases
(modify-phases %standard-phases
- (add-before 'configure 'fix-coq8.8
- (lambda _
- ; appcontext has been removed from coq 8.8
- (substitute* "theories/AutoDerive.v"
- (("appcontext") "context"))
- #t))
(add-before 'configure 'fix-remake
(lambda _
(substitute* "remake.cpp"
--
2.17.1
Reply sent
to
Julien Lepiller <julien <at> lepiller.eu>
:
You have taken responsibility.
(Mon, 04 Mar 2019 20:15:02 GMT)
Full text and
rfc822 format available.
Notification sent
to
Dan Frumin <dfrumin <at> cs.ru.nl>
:
bug acknowledged by developer.
(Mon, 04 Mar 2019 20:15:05 GMT)
Full text and
rfc822 format available.
Message #10 received at 34747-done <at> debbugs.gnu.org (full text, mbox):
Pushed as 3d03fed47fc9a9af784a026a8ac76418f609b639. Thank you!
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Tue, 02 Apr 2019 11:24:07 GMT)
Full text and
rfc822 format available.
This bug report was last modified 4 years and 362 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.