summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2015-12-24 12:13:05 -0500
committerLeo Famulari <leo@famulari.name>2015-12-25 23:46:55 -0500
commit8f26f23926181b75fd8c12d251ad022952523a73 (patch)
tree8a093963a195acbe8203fcac76ea30a69e09ebe9
parent513f8ab4f3d6c080c48eee86333bf89bc896b9ab (diff)
gnu: hevea: Update URL.
* gnu/packages/ocaml.scm (hevea)[source]: Update URL.
-rw-r--r--gnu/packages/ocaml.scm2
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