diff options
author | root <root@rshg054.dnsready.net> | 2012-03-03 00:01:37 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-03-03 00:01:37 +0000 |
commit | d8fb549de0ef3299436c448f7b45fd8ebee8e733 (patch) | |
tree | 67a769fed7e632a9cc92478bcb7dd4e59dc22641 /community/camlp5 | |
parent | b479098a1b8d7cb545339cb225a7cde4988b2748 (diff) |
Sat Mar 3 00:01:37 UTC 2012
Diffstat (limited to 'community/camlp5')
-rw-r--r-- | community/camlp5/PKGBUILD | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/community/camlp5/PKGBUILD b/community/camlp5/PKGBUILD index 30a78fbef..690c3c483 100644 --- a/community/camlp5/PKGBUILD +++ b/community/camlp5/PKGBUILD @@ -4,7 +4,7 @@ # Contributor: Massimiliano Brocchini <brocchini@netseven.it> pkgname=('camlp5' 'camlp5-transitional') -_baseversion=6.03 +_baseversion=6.04 _patchlevel=0 #pkgver=${_baseversion}.${_patchlevel} pkgver=${_baseversion} @@ -18,8 +18,7 @@ source=("http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-${_baseversion} for i in $(seq ${_patchlevel}); do source+=("http://pauillac.inria.fr/~ddr/camlp5/distrib/src/patch-${_baseversion}-${i}") done - -md5sums=('4988b871dc1ce713476819805b6dd7c6') +md5sums=('0fcd56e4512ef9da41808331d8e1d197') build() { cd camlp5-${_baseversion} |