diff options
Diffstat (limited to 'community/camlp5/PKGBUILD')
-rw-r--r-- | community/camlp5/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/community/camlp5/PKGBUILD b/community/camlp5/PKGBUILD index c55f99173..e4577bd84 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.04 +_baseversion=6.05 _patchlevel=0 #pkgver=${_baseversion}.${_patchlevel} pkgver=${_baseversion} @@ -18,7 +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=('0fcd56e4512ef9da41808331d8e1d197') +md5sums=('51e333f027ead70aa1b0cd7993320e24') build() { cd camlp5-${_baseversion} |