diff options
Diffstat (limited to 'development/facile')
| -rw-r--r-- | development/facile/facile.info | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/development/facile/facile.info b/development/facile/facile.info index bfcaaecf96611..ed0aea557477d 100644 --- a/development/facile/facile.info +++ b/development/facile/facile.info @@ -5,5 +5,6 @@ DOWNLOAD="http://www.recherche.enac.fr/opti/facile/distrib/facile-1.1.tar.gz" MD5SUM="ab673e1fc0859a42bcb639a02c2d7e9e" DOWNLOAD_x86_64="" MD5SUM_x86_64="" +REQUIRES="ocaml" MAINTAINER="Heinz Wiesinger" EMAIL="pprkut@liwjatan.at" |