Re: [PATCH 8/9] gnu: coq: Update to 8.5pl2.

[Leo Famulari]

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.