Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / maude
Commits:
3f2470d8 by Antonio Rojas at 2025-06-28T00:46:21+02:00
upgpkg: 3.5-1: Upstream update
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,6 +1,6 @@
pkgbase = maude
pkgdesc = High-level Specification Language
- pkgver = 3.3
+ pkgver = 3.5
pkgrel = 1
url = http://maude.cs.illinois.edu
arch = x86_64
@@ -13,10 +13,10 @@ pkgbase = maude
depends = gmp
depends = libsigsegv
depends = yices
- source =
https://github.com/SRI-CSL/Maude/archive/Maude3.3/maude-3.3.tar.gz
+ source =
https://github.com/SRI-CSL/Maude/archive/Maude3.5/maude-3.5.tar.gz
source =
https://raw.githubusercontent.com/maude-team/full-maude/96be01c059d7f0fb1cbea15e2f0818350fb66eb8/full-maude322.maude
source = maude.sh
- sha512sums =
cd192d1901db92f23005da4da3cbc0beefe3972a531a9c110df01b552b17aa1a37d2fce580d786095bd20a2726f5afd90ecb7bee5cd789dfcd1d0df84d9c5bb0
+ sha512sums =
c27da1e1ef9a53649933558fabe1b3b54d356e2ff46c5d28f0eaf9717bcb7e9dff11050c1a70a2fa9850fbccb3eb0aa19e3817c3f4d1efd132cd4d8054d3d6a0
sha512sums =
7527d5962497c2c45856408a78d26331977d3b35bc1824e59e1f87b644072fe78b5c5e0ca392c44056bcdc8c6874603288a6a536691b01c5cd68bdfe5bc99189
sha512sums =
f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e
=====================================
PKGBUILD
=====================================
@@ -4,7 +4,7 @@
# Contributor: Stefan Husmann <[email protected]>
pkgname=maude
-pkgver=3.3
+pkgver=3.5
pkgrel=1
pkgdesc="High-level Specification Language"
arch=('x86_64')
@@ -15,7 +15,7 @@ makedepends=('flex' 'bison')
source=("https://github.com/SRI-CSL/Maude/archive/Maude$pkgver/$pkgname-$pkgver.tar.gz";
https://raw.githubusercontent.com/maude-team/full-maude/96be01c059d7f0fb1cbea15e2f0818350fb66eb8/full-maude322.maude
maude.sh)
-sha512sums=('cd192d1901db92f23005da4da3cbc0beefe3972a531a9c110df01b552b17aa1a37d2fce580d786095bd20a2726f5afd90ecb7bee5cd789dfcd1d0df84d9c5bb0'
+sha512sums=('c27da1e1ef9a53649933558fabe1b3b54d356e2ff46c5d28f0eaf9717bcb7e9dff11050c1a70a2fa9850fbccb3eb0aa19e3817c3f4d1efd132cd4d8054d3d6a0'
'7527d5962497c2c45856408a78d26331977d3b35bc1824e59e1f87b644072fe78b5c5e0ca392c44056bcdc8c6874603288a6a536691b01c5cd68bdfe5bc99189'
'f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e')
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/maude/-/commit/3f2470d8897371e3b1c4a3937f842bfbcd90e923
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/maude/-/commit/3f2470d8897371e3b1c4a3937f842bfbcd90e923
You're receiving this email because of your account on gitlab.archlinux.org.
