diff options
Diffstat (limited to 'development/camlp5/camlp5.info')
| -rw-r--r-- | development/camlp5/camlp5.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/camlp5/camlp5.info b/development/camlp5/camlp5.info new file mode 100644 index 0000000000..97d2776ec2 --- /dev/null +++ b/development/camlp5/camlp5.info @@ -0,0 +1,10 @@ +PRGNAM="camlp5" +VERSION="6.01" +HOMEPAGE="http://pauillac.inria.fr/~ddr/camlp5/" +DOWNLOAD="http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-6.01.tgz" +MD5SUM="9afd1eea5f18c568d08cf2335094a905" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +MAINTAINER="adaptr" +EMAIL="jeroen@adaptr.nl" +APPROVED="Niels Horn" |