Date: Monday, September 3, 2018 @ 14:45:38 Author: felixonmars Revision: 376395
upgpkg: maude 2.7.1-3 cvc4 rebuild Modified: maude/trunk/PKGBUILD ----------+ PKGBUILD | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-09-03 13:37:41 UTC (rev 376394) +++ PKGBUILD 2018-09-03 14:45:38 UTC (rev 376395) @@ -6,7 +6,7 @@ pkgname=maude pkgver=2.7.1 -pkgrel=2 +pkgrel=3 pkgdesc="High-level Specification Language" arch=('x86_64') url="http://maude.cs.uiuc.edu" @@ -16,10 +16,10 @@ source=("http://maude.cs.illinois.edu/w/images/d/d8/Maude-$pkgver.tar.gz" "http://maude.cs.illinois.edu/w/images/c/ca/Full-Maude-$pkgver.zip" maude.sh maude-cvc4-1.5.patch) -md5sums=('aa31753f742f976940c69aa699c3d0ec' - 'b365fe0fdd161880e95aeb089f166657' - '0a51738365579574b40a3d32da6f3291' - '9e759db427d9d6e77d35cc56b7690e0b') +sha512sums=('b4f172c679959a4c3386003f174a5938690926accd750ae2f5dcf945321a359d0428cf78d66ced9a560610a9cff5dae51f938542049e106c5f8bcba55c10f1a9' + '19a665408db13ee60ffdd47d156ba8572a7f23fd51efac5b6dbc2922d022dd4c687541e59c94eb6ec6b27eb7e7b5ef5245409ae50775a15dfd663d98e106f805' + 'f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e' + '87c50ee550bb5e8644dbc8b6b598bab1c74fa4f65d29b23b1d073b0844f879e1e314a8f2e7e72f1b8138f41c07ac92b0e98b50396909f77620987daaccb898a7') prepare() { cd "$srcdir/maude-$pkgver"