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 6bcc192c8c..0000000000 --- a/development/facile/facile.info +++ /dev/null @@ -1,10 +0,0 @@ -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" -MD5SUM="172c4fbea636a8fa575b988390639d8d" -DOWNLOAD_x86_64="" -MD5SUM_x86_64="" -REQUIRES="ocaml" -MAINTAINER="Heinz Wiesinger" -EMAIL="pprkut@liwjatan.at" |