[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 1/1] gnu: hevea: Update URL.
|
From: |
Leo Famulari |
|
Subject: |
Re: [PATCH 1/1] gnu: hevea: Update URL. |
|
Date: |
Fri, 25 Dec 2015 23:47:37 -0500 |
|
User-agent: |
Mutt/1.5.24 (2015-08-30) |
On Thu, Dec 24, 2015 at 12:14:32PM -0500, Leo Famulari wrote:
> * gnu/packages/ocaml.scm (hevea)[source]: Update URL.
> ---
> gnu/packages/ocaml.scm | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
> index 7f80fc8..5531867 100644
> --- a/gnu/packages/ocaml.scm
> +++ b/gnu/packages/ocaml.scm
> @@ -285,7 +285,7 @@ concrete syntax of the language (Quotations, Syntax
> Extensions).")
> (version "2.23")
> (source (origin
> (method url-fetch)
> - (uri (string-append "http://hevea.inria.fr/distri/";
> + (uri (string-append "http://hevea.inria.fr/old/";
> name "-" version ".tar.gz"))
> (sha256
> (base32
> --
> 2.6.2
>
>
Pushed as 8f26f23926.