diff options
Diffstat (limited to 'development/camlp5')
| -rw-r--r-- | development/camlp5/camlp5.info | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/development/camlp5/camlp5.info b/development/camlp5/camlp5.info index 213cb260d0cc9..f2aff87974498 100644 --- a/development/camlp5/camlp5.info +++ b/development/camlp5/camlp5.info @@ -5,5 +5,6 @@ DOWNLOAD="http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-6.02.3.tgz" MD5SUM="a4f5e0dc13c43d50eb655c8e929f556e" DOWNLOAD_x86_64="" MD5SUM_x86_64="" +REQUIRES="ocaml" MAINTAINER="William Bowman" EMAIL="wilbowma@indiana.edu" |