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

[GNU bug Tracking System]

Your message dated Fri, 1 Mar 2019 21:56:49 +0100
with message-id <address@hidden>
and subject line Re: [bug#34701] [PATCH] gnu: update coq-flocq to 3.1.0 and 
coq-interval to 3.4.0
has caused the debbugs.gnu.org bug report #34701,
regarding [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
34701: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34701
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0
>
>
>
>
> Date: 
>
> Fri,  1 Mar 2019 17:15:08 +0100
>
>
>
>
> ---
>  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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#34701] [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0
>
>
>
>
> Date: 
>
> Fri, 1 Mar 2019 21:56:49 +0100
>
>
>
>
> 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!
>
>
> --- End Message ---