aboutsummaryrefslogtreecommitdiff
path: root/development/facile/facile.info
diff options
context:
space:
mode:
authorHeinz Wiesinger <pprkut@slackbuilds.org>2017-01-29 18:00:25 +0100
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2017-02-04 07:00:18 +0700
commit6b11bf6a55f3dbdb7474efc4d57d8ad324e2f535 (patch)
tree20709e51a96a6617ef97ce5ae2280db513c45f63 /development/facile/facile.info
parent8b07da5e1a4ca8b522d54551c8ac941e94a0460f (diff)
development/facile: Updated for version 1.1.3.
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Diffstat (limited to 'development/facile/facile.info')
-rw-r--r--development/facile/facile.info8
1 files changed, 4 insertions, 4 deletions
diff --git a/development/facile/facile.info b/development/facile/facile.info
index ed0aea557477d..6bcc192c8c63f 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"