GNU bug report logs -
#34701
[PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0
Previous Next
Reported by: Dan Frumin <dfrumin <at> cs.ru.nl>
Date: Fri, 1 Mar 2019 16:18:01 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 34701 in the body.
You can then email your comments to 34701 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#34701
; Package
guix-patches
.
(Fri, 01 Mar 2019 16:18: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
.
(Fri, 01 Mar 2019 16:18: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, 6 insertions(+), 6 deletions(-)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 3cd8c4cb6..5393d4273 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -184,15 +184,15 @@ provers.")
(define-public coq-flocq
(package
(name "coq-flocq")
- (version "2.6.1")
+ (version "3.1.0")
(source (origin
(method url-fetch)
;; Use the ‘Latest version’ link for a stable URI across releases.
(uri (string-append "https://gforge.inria.fr/frs/download.php/"
- "file/37454/flocq-" version ".tar.gz"))
+ "file/37901/flocq-" version ".tar.gz"))
(sha256
(base32
- "06msp1fwpqv6p98a3i1nnkj7ch9rcq3rm916yxq8dxf51lkghrin"))))
+ "02szrgz9m0ac51la1lqpiv6i2g0zbgx9gz5rp0q1g00ajldyna5c"))))
(build-system gnu-build-system)
(native-inputs
`(("ocaml" ,ocaml)
@@ -413,14 +413,14 @@ provides BigN, BigZ, BigQ that used to be part of Coq standard library.")
(define-public coq-interval
(package
(name "coq-interval")
- (version "3.3.0")
+ (version "3.4.0")
(source (origin
(method url-fetch)
(uri (string-append "https://gforge.inria.fr/frs/download.php/"
- "file/37077/interval-" version ".tar.gz"))
+ "file/37524/interval-" version ".tar.gz"))
(sha256
(base32
- "08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903"))))
+ "023j9sd64brqvjdidqkn5m8d7a93zd9r86ggh573z9nkjm2m7vvg"))))
(build-system gnu-build-system)
(native-inputs
`(("ocaml" ,ocaml)
--
2.17.1
Reply sent
to
Julien Lepiller <julien <at> lepiller.eu>
:
You have taken responsibility.
(Fri, 01 Mar 2019 20:58:02 GMT)
Full text and
rfc822 format available.
Notification sent
to
Dan Frumin <dfrumin <at> cs.ru.nl>
:
bug acknowledged by developer.
(Fri, 01 Mar 2019 20:58:02 GMT)
Full text and
rfc822 format available.
Message #10 received at 34701-done <at> debbugs.gnu.org (full text, mbox):
Pushed as 0b611996b9c41e7c33d30260bbce744a9141d999! I've slightly
adjusted the commit message, the rest is kept as is. It's ok to have
two packages updated in the same patch since an independent update to
one of these breaks. In general, you should send one patch per package
though.
Thank you!
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Sat, 30 Mar 2019 11:24:04 GMT)
Full text and
rfc822 format available.
This bug report was last modified 5 years and 27 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.