diff options
Diffstat (limited to 'community/camlp5/PKGBUILD')
| -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 3f0bbe4ab..c55f99173 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} |