diff options
| -rw-r--r-- | development/facile/facile.info | 4 | ||||
| -rw-r--r-- | development/facile/slack-desc | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/development/facile/facile.info b/development/facile/facile.info index 6bcc192c8c63f..14d061ce49118 100644 --- a/development/facile/facile.info +++ b/development/facile/facile.info @@ -1,7 +1,7 @@ PRGNAM="facile" 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" +HOMEPAGE="http://facile.recherche.enac.fr" +DOWNLOAD="http://facile.recherche.enac.fr/distrib/facile-1.1.3.tar.gz" MD5SUM="172c4fbea636a8fa575b988390639d8d" DOWNLOAD_x86_64="" MD5SUM_x86_64="" diff --git a/development/facile/slack-desc b/development/facile/slack-desc index 6afc68cbc3f56..1557c54f6d9ff 100644 --- a/development/facile/slack-desc +++ b/development/facile/slack-desc @@ -11,7 +11,7 @@ facile: facile: FaCiLe is a Functional Constraint Library implemented in Objective facile: Caml. facile: -facile: Homepage: http://opti.recherche.enac.fr/facile/ +facile: Homepage: http://facile.recherche.enac.fr facile: facile: facile: |