[arch-commits] Commit in maude/trunk (PKGBUILD)

[Felix Yan]

    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"