Subject: bug#34701: closed (Re: [bug#34701] [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 01 Mar 2019 20:58:02 +0000

Your bug report

#34701: [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
34701: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34701
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#34701] [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Fri, 1 Mar 2019 21:56:49 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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!

Subject: [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0
From: Dan Frumin <[email-masked]>
To: [email-masked]
Cc: Dan Frumin <[email-masked]>
Date: Fri, 1 Mar 2019 17:15:08 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

---
 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