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
Date: Saturday, June 20, 2020 @ 10:08:29
Author: felixonmars
Revision: 648280
upgpkg: maude 3.0-3: rebuild with cvc4 1.8
Modified:
maude/trunk/PKGBUILD
--+
PKGBUILD |6 +-
1 file changed, 5 insertions(+), 1 deletion(-)
Modified: PKGBUILD
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
Date: Saturday, February 29, 2020 @ 08:53:47
Author: felixonmars
Revision: 586806
upgpkg: maude 3.0-1
Modified:
maude/trunk/PKGBUILD
Deleted:
maude/trunk/maude-cvc4-1.5.patch
--+
PKGBUILD | 25 +++--
maude-cvc4-1.5.patch | 24
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
Date: Friday, January 12, 2018 @ 19:28:57
Author: arojas
Revision: 281691
Rebuild with CVC4 1.5 (FS#57069)
Added:
maude/trunk/maude-cvc4-1.5.patch
Modified:
maude/trunk/PKGBUILD
--+
PKGBUILD |9 ++---
maude-cvc4-1.5.patch | 24