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

[Felix Yan via arch-commits]

    Date: Thursday, October 29, 2020 @ 09:46:54
  Author: felixonmars
Revision: 736481

upgpkg: maude 3.1-1

Modified:
  maude/trunk/PKGBUILD

----------+
 PKGBUILD |   14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2020-10-29 09:46:11 UTC (rev 736480)
+++ PKGBUILD    2020-10-29 09:46:54 UTC (rev 736481)
@@ -4,8 +4,8 @@
 # Contributor: Stefan Husmann <stefan-husm...@t-online.de>
 
 pkgname=maude
-pkgver=3.0
-pkgrel=3
+pkgver=3.1
+pkgrel=1
 pkgdesc="High-level Specification Language"
 arch=('x86_64')
 url="http://maude.cs.illinois.edu";
@@ -12,11 +12,11 @@
 license=('GPL')
 depends=('buddy' 'cvc4' 'libtecla' 'gmp' 'libsigsegv')
 makedepends=('flex' 'bison')
-source=("http://maude.cs.illinois.edu/w/images/9/92/Maude-$pkgver.tar.gz";
-        "http://maude.cs.illinois.edu/w/images/0/04/Full-Maude-$pkgver.zip";
+source=("http://maude.cs.illinois.edu/w/images/d/d3/Maude-$pkgver.tar.gz";
+        "http://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-$pkgver.zip";
         maude.sh)
-sha512sums=('9f27a045da931c38536e27e7f046a518714fe80b4cb37749c9a4e6a5c5c7b94d111398037c03a50953294762360219d23e96f34e0e6c904bf0e5aff3b3473324'
-            
'10b9b8085ac2f40f2ce9a1430ff93d2e4454e82c1fec8857ca10108da4705929b17da557db9ea3afbfd88c05a9f7bd89a79490988fa03c132aa79e4f5dc8f431'
+sha512sums=('34dba3c3b7eed48d0c82c6d5e4dade08bd11dc57b436f04e94842000809b9b6086f8077bccbfac0313e4a4f361b03c3ef3d56e6df6242ae42427dd674566a3bc'
+            
'fb0c0e30d3df830b60ece67c2fc5655c5e3f1377a269ce8acfc45fdfa0d42f3fe3fbf4038758b35598d82e7f47af5f24507b3ebe2a30dcb8722e61e6315248c3'
             
'f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e')
 
 prepare() {
@@ -42,7 +42,7 @@
 package() {
   cd "$srcdir/maude-$pkgver"
   make DESTDIR="$pkgdir/" install
-  install -D -m 444 "$srcdir/full-maude3.maude" \
+  install -D -m 444 "$srcdir/full-maude31.maude" \
     "$pkgdir/usr/share/maude/full-maude.maude"
 
   install -D -m 555 "$srcdir/maude.sh" "$pkgdir/etc/profile.d/maude.sh"