summaryrefslogtreecommitdiff
path: root/office/hevea/hevea.info
diff options
context:
space:
mode:
Diffstat (limited to 'office/hevea/hevea.info')
-rw-r--r--office/hevea/hevea.info1
1 files changed, 1 insertions, 0 deletions
diff --git a/office/hevea/hevea.info b/office/hevea/hevea.info
index b1cc9d3c40..30f097cf6b 100644
--- a/office/hevea/hevea.info
+++ b/office/hevea/hevea.info
@@ -5,5 +5,6 @@ DOWNLOAD="http://hevea.inria.fr/distri/hevea-1.10.tar.gz"
MD5SUM="24a631570bee3cc4b8350e9db39be62b"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
+REQUIRES="ocaml"
MAINTAINER="Dario Nicodemi"
EMAIL="dario.sbo@gmail.com"