[debbugs-tracker] bug#34747: closed ([PATCH] gnu: coq-coquelicot: Update to 3.0.2.)

[GNU bug Tracking System]

Your message dated Mon, 4 Mar 2019 21:14:16 +0100
with message-id <address@hidden>
and subject line Re: [bug#34747] [PATCH] gnu: coq-coquelicot: Update to 3.0.2.
has caused the debbugs.gnu.org bug report #34747,
regarding [PATCH] gnu: coq-coquelicot: Update to 3.0.2.
to be marked as done.

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


-- 
34747: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34747
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: coq-coquelicot: Update to 3.0.2.
>
>
>
>
> Date: 
>
> Mon,  4 Mar 2019 16:36:02 +0100
>
>
>
>
> ---
>  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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#34747] [PATCH] gnu: coq-coquelicot: Update to 3.0.2.
>
>
>
>
> Date: 
>
> Mon, 4 Mar 2019 21:14:16 +0100
>
>
>
>
> Pushed as 3d03fed47fc9a9af784a026a8ac76418f609b639. Thank you!
>
>
> --- End Message ---