diff options
Diffstat (limited to 'office/hevea')
| -rw-r--r-- | office/hevea/hevea.info | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/office/hevea/hevea.info b/office/hevea/hevea.info index e27c77db1d..ac7accbe9a 100644 --- a/office/hevea/hevea.info +++ b/office/hevea/hevea.info @@ -5,6 +5,6 @@ DOWNLOAD="http://hevea.inria.fr/old/hevea-2.09.tar.gz" MD5SUM="8a61c7a81433e036d2ea57600f69adf7" DOWNLOAD_x86_64="" MD5SUM_x86_64="" -REQUIRES="ocaml" +REQUIRES="ocamlbuild" MAINTAINER="Dario Nicodemi" EMAIL="dario.sbo@gmail.com" |