diff options
Diffstat (limited to 'development/facile/facile.info')
-rw-r--r-- | development/facile/facile.info | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/development/facile/facile.info b/development/facile/facile.info deleted file mode 100644 index 14d061ce49..0000000000 --- a/development/facile/facile.info +++ /dev/null @@ -1,10 +0,0 @@ -PRGNAM="facile" -VERSION="1.1.3" -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="" -REQUIRES="ocaml" -MAINTAINER="Heinz Wiesinger" -EMAIL="pprkut@liwjatan.at" |