[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 8/9] gnu: coq: Update to 8.5pl2.
|
From: |
Leo Famulari |
|
Subject: |
Re: [PATCH 8/9] gnu: coq: Update to 8.5pl2. |
|
Date: |
Sat, 3 Dec 2016 15:09:23 -0500 |
|
User-agent: |
Mutt/1.7.1 (2016-10-04) |
On Sat, Dec 03, 2016 at 11:42:12AM +0100, David Craven wrote:
> * gnu/packages/ocaml.scm (coq): Update to 8.5pl2.
> [arguments]: Configure script takes single hyphen arguments.
> (source (origin
> (method url-fetch)
> - (uri (string-append "https://coq.inria.fr/distrib/V"; version
> - "/files/" name "-" version ".tar.gz"))
> + (uri (string-append
> + "https://coq.inria.fr/distrib";
> + "/V" version "/files/"
> + "coq-" version ".tar.gz"))
The URI is unchanged, right? If so, I'd leave this hunk out of the
commit.
Otherwise LGTM.