diff options
| author | Leo Famulari <leo@famulari.name> | 2015-12-24 12:13:05 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2015-12-25 23:46:55 -0500 |
| commit | 8f26f23926181b75fd8c12d251ad022952523a73 (patch) | |
| tree | 8a093963a195acbe8203fcac76ea30a69e09ebe9 | |
| parent | 513f8ab4f3d6c080c48eee86333bf89bc896b9ab (diff) | |
gnu: hevea: Update URL.
* gnu/packages/ocaml.scm (hevea)[source]: Update URL.
| -rw-r--r-- | gnu/packages/ocaml.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7f80fc8a32..5531867964 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 |