diff options
Diffstat (limited to 'development/facile/facile.info')
-rw-r--r-- | development/facile/facile.info | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/development/facile/facile.info b/development/facile/facile.info index ed0aea5574..6bcc192c8c 100644 --- a/development/facile/facile.info +++ b/development/facile/facile.info @@ -1,8 +1,8 @@ PRGNAM="facile" -VERSION="1.1" -HOMEPAGE="http://www.recherche.enac.fr/opti/facile/" -DOWNLOAD="http://www.recherche.enac.fr/opti/facile/distrib/facile-1.1.tar.gz" -MD5SUM="ab673e1fc0859a42bcb639a02c2d7e9e" +VERSION="1.1.3" +HOMEPAGE="http://opti.recherche.enac.fr/facile/" +DOWNLOAD="http://opti.recherche.enac.fr/facile/distrib/facile-1.1.3.tar.gz" +MD5SUM="172c4fbea636a8fa575b988390639d8d" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="ocaml" |