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

2020-10-29 Thread 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

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

2020-06-20 Thread Felix Yan via arch-commits
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

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

2020-03-01 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in maude/trunk (PKGBUILD maude-cvc4-1.5.patch)

2020-02-29 Thread Felix Yan via arch-commits
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

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

2018-09-03 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in maude/trunk (PKGBUILD maude-cvc4-1.5.patch)

2018-01-12 Thread Antonio Rojas via arch-commits
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