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

[Felix Yan]

    Date: Sunday, March 1, 2020 @ 14:23:36
  Author: felixonmars
Revision: 587544

upgpkg: maude 3.0-2: rebuild with cvc4 1.7

Modified:
  maude/trunk/PKGBUILD

----------+
 PKGBUILD |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-03-01 14:23:34 UTC (rev 587543)
+++ PKGBUILD	2020-03-01 14:23:36 UTC (rev 587544)
@@ -5,7 +5,7 @@
 
 pkgname=maude
 pkgver=3.0
-pkgrel=1
+pkgrel=2
 pkgdesc="High-level Specification Language"
 arch=('x86_64')
 url="http://maude.cs.illinois.edu"