[arch-commits] Commit in maude/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Thu Oct 29 09:46:55 UTC 2020
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-husmann at 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"
More information about the arch-commits
mailing list