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

2020-12-28 Thread Felix Yan via arch-commits
Date: Monday, December 28, 2020 @ 15:45:15 Author: felixonmars Revision: 795064 upgpkg: tamarin-prover 1.6.0-87: rebuild with indexed-traversable 0.1.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUI

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

2020-12-26 Thread Felix Yan via arch-commits
Date: Sunday, December 27, 2020 @ 01:35:45 Author: felixonmars Revision: 793343 upgpkg: tamarin-prover 1.6.0-86: rebuild with hedgehog 1.0.4 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-26 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 09:06:26 Author: felixonmars Revision: 792307 upgpkg: tamarin-prover 1.6.0-85: rebuild with tasty-quickcheck 0.10.1.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGB

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

2020-12-25 Thread Felix Yan via arch-commits
Date: Friday, December 25, 2020 @ 12:51:35 Author: felixonmars Revision: 790801 upgpkg: tamarin-prover 1.6.0-84: rebuild with microlens-th 0.4.3.8 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-12-25 Thread Felix Yan via arch-commits
Date: Friday, December 25, 2020 @ 10:17:33 Author: felixonmars Revision: 790007 upgpkg: tamarin-prover 1.6.0-83: rebuild with comonad 5.0.7 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 17:45:08 Author: felixonmars Revision: 788418 upgpkg: tamarin-prover 1.6.0-82: rebuild with base16-bytestring 1.0.1.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGB

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

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 13:06:51 Author: felixonmars Revision: 787210 upgpkg: tamarin-prover 1.6.0-81: rebuild with ghc 8.10.3 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-12-23 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 16:47:04 Author: felixonmars Revision: 784334 upgpkg: tamarin-prover 1.6.0-80: rebuild with tasty-smallcheck 0.8.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUI

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

2020-12-22 Thread Felix Yan via arch-commits
Date: Tuesday, December 22, 2020 @ 16:40:57 Author: felixonmars Revision: 782657 upgpkg: tamarin-prover 1.6.0-79: rebuild with yesod-test 1.6.12 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-22 Thread Felix Yan via arch-commits
Date: Tuesday, December 22, 2020 @ 13:47:22 Author: felixonmars Revision: 781987 upgpkg: tamarin-prover 1.6.0-78: rebuild with tasty-hunit 0.10.0.3 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-12-18 Thread Felix Yan via arch-commits
Date: Friday, December 18, 2020 @ 14:15:30 Author: felixonmars Revision: 778654 upgpkg: tamarin-prover 1.6.0-77: rebuild with th-abstraction 0.4.1.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-16 Thread Felix Yan via arch-commits
Date: Wednesday, December 16, 2020 @ 20:44:33 Author: felixonmars Revision: 776981 upgpkg: tamarin-prover 1.6.0-76: rebuild with microstache 1.0.1.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-16 Thread Felix Yan via arch-commits
Date: Wednesday, December 16, 2020 @ 17:34:11 Author: felixonmars Revision: 776836 upgpkg: tamarin-prover 1.6.0-75: rebuild with persistent 2.11.0.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-16 Thread Felix Yan via arch-commits
Date: Wednesday, December 16, 2020 @ 14:54:35 Author: felixonmars Revision: 776737 upgpkg: tamarin-prover 1.6.0-74: rebuild with persistent-test 2.0.3.5 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBU

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

2020-12-15 Thread Felix Yan via arch-commits
Date: Tuesday, December 15, 2020 @ 23:00:48 Author: felixonmars Revision: 776309 upgpkg: tamarin-prover 1.6.0-73: rebuild with base16-bytestring 1.0.0.0, casa-types 0.0.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2020-12-15 Thread Felix Yan via arch-commits
Date: Tuesday, December 15, 2020 @ 10:04:59 Author: felixonmars Revision: 775916 upgpkg: tamarin-prover 1.6.0-72: rebuild with wai-extra 3.1.4.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-15 Thread Felix Yan via arch-commits
Date: Tuesday, December 15, 2020 @ 09:00:50 Author: felixonmars Revision: 775872 upgpkg: tamarin-prover 1.6.0-71: rebuild with yesod-core 1.6.18.8 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-12-14 Thread Felix Yan via arch-commits
Date: Monday, December 14, 2020 @ 16:03:48 Author: felixonmars Revision: 775117 upgpkg: tamarin-prover 1.6.0-70: rebuild with base-orphans 0.8.5 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-09 Thread Felix Yan via arch-commits
Date: Wednesday, December 9, 2020 @ 13:58:11 Author: felixonmars Revision: 772674 upgpkg: tamarin-prover 1.6.0-69: rebuild with vector-algorithms 0.8.0.4 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGB

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

2020-12-08 Thread Felix Yan via arch-commits
Date: Tuesday, December 8, 2020 @ 16:26:54 Author: felixonmars Revision: 771872 upgpkg: tamarin-prover 1.6.0-68: rebuild with strict 0.4.0.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-06 Thread Felix Yan via arch-commits
Date: Sunday, December 6, 2020 @ 19:26:18 Author: felixonmars Revision: 771128 upgpkg: tamarin-prover 1.6.0-67: rebuild with wai-extra 3.1.4 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-05 Thread Felix Yan via arch-commits
Date: Saturday, December 5, 2020 @ 13:18:44 Author: felixonmars Revision: 770550 upgpkg: tamarin-prover 1.6.0-66: rebuild with time-compat 1.9.5 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-04 Thread Felix Yan via arch-commits
Date: Friday, December 4, 2020 @ 22:04:31 Author: felixonmars Revision: 770118 upgpkg: tamarin-prover 1.6.0-65: rebuild with persistent 2.11.0.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-03 Thread Felix Yan via arch-commits
Date: Thursday, December 3, 2020 @ 20:05:12 Author: felixonmars Revision: 769751 upgpkg: tamarin-prover 1.6.0-64: rebuild with yesod-test 1.6.11 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-03 Thread Felix Yan via arch-commits
Date: Thursday, December 3, 2020 @ 12:43:45 Author: felixonmars Revision: 769507 upgpkg: tamarin-prover 1.6.0-63: rebuild with criterion 1.5.9.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-30 Thread Felix Yan via arch-commits
Date: Tuesday, December 1, 2020 @ 00:20:39 Author: felixonmars Revision: 766915 upgpkg: tamarin-prover 1.6.0-62: rebuild with network 3.1.2.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-11-30 Thread Felix Yan via arch-commits
Date: Monday, November 30, 2020 @ 17:06:30 Author: felixonmars Revision: 766632 upgpkg: tamarin-prover 1.6.0-61: rebuild with microlens-th 0.4.3.7 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-11-29 Thread Felix Yan via arch-commits
Date: Sunday, November 29, 2020 @ 20:36:26 Author: felixonmars Revision: 766437 upgpkg: tamarin-prover 1.6.0-60: rebuild with th-lift-instances 0.1.18 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUIL

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

2020-11-28 Thread Felix Yan via arch-commits
Date: Sunday, November 29, 2020 @ 07:12:15 Author: felixonmars Revision: 766216 upgpkg: tamarin-prover 1.6.0-59: rebuild with monad-logger 0.3.36 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-11-28 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 21:51:29 Author: felixonmars Revision: 766125 upgpkg: tamarin-prover 1.6.0-58: rebuild with wai-extra 3.1.3 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-11-28 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 18:58:59 Author: felixonmars Revision: 765444 upgpkg: tamarin-prover 1.6.0-57: rebuild with unbounded-delays 0.1.1.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBU

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

2020-11-26 Thread Felix Yan via arch-commits
Date: Thursday, November 26, 2020 @ 16:26:52 Author: felixonmars Revision: 763622 upgpkg: tamarin-prover 1.6.0-56: rebuild with criterion 1.5.8.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-11-25 Thread Felix Yan via arch-commits
Date: Thursday, November 26, 2020 @ 03:48:20 Author: felixonmars Revision: 761396 upgpkg: tamarin-prover 1.6.0-55: rebuild with conduit 1.3.4 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-11-23 Thread Felix Yan via arch-commits
Date: Monday, November 23, 2020 @ 18:47:24 Author: felixonmars Revision: 760104 upgpkg: tamarin-prover 1.6.0-54: rebuild with optparse-applicative 0.16.1.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PK

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

2020-11-20 Thread Felix Yan via arch-commits
Date: Saturday, November 21, 2020 @ 00:05:10 Author: felixonmars Revision: 758282 upgpkg: tamarin-prover 1.6.0-53: rebuild with base64-bytestring 1.2.0.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGB

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

2020-11-20 Thread Felix Yan via arch-commits
Date: Friday, November 20, 2020 @ 17:47:33 Author: felixonmars Revision: 757938 upgpkg: tamarin-prover 1.6.0-52: rebuild with yesod-core 1.6.18.7 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-11-19 Thread Felix Yan via arch-commits
Date: Thursday, November 19, 2020 @ 17:06:22 Author: felixonmars Revision: 757637 upgpkg: tamarin-prover 1.6.0-51: rebuild with persistent 2.11.0.0, persistent-sqlite 2.11.0.0, persistent-template 2.9.1.0, persistent-test 2.0.3.4 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGB

[arch-commits] Commit in tamarin-prover/trunk (PKGBUILD maude-3.1.patch)

2020-11-19 Thread Felix Yan via arch-commits
Date: Thursday, November 19, 2020 @ 15:09:43 Author: felixonmars Revision: 757597 upgpkg: tamarin-prover 1.6.0-50: add fix for maude 3.1 Added: tamarin-prover/trunk/maude-3.1.patch Modified: tamarin-prover/trunk/PKGBUILD -+ PKGBUILD| 14 +++--- maude-

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

2020-11-19 Thread Felix Yan via arch-commits
Date: Thursday, November 19, 2020 @ 08:35:45 Author: felixonmars Revision: 757385 upgpkg: tamarin-prover 1.6.0-49: rebuild with http-client 0.7.3 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-11-17 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 22:52:26 Author: felixonmars Revision: 756991 upgpkg: tamarin-prover 1.6.0-48: rebuild with iproute 1.7.10 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-11-16 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 06:02:58 Author: felixonmars Revision: 755985 upgpkg: tamarin-prover 1.6.0-47: rebuild with QuickCheck 2.14.2, quickcheck-instances 0.3.25.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 dele

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

2020-11-14 Thread Felix Yan via arch-commits
Date: Saturday, November 14, 2020 @ 23:44:21 Author: felixonmars Revision: 754270 upgpkg: tamarin-prover 1.6.0-46: rebuild with persistent 2.10.5.3 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-11-11 Thread Felix Yan via arch-commits
Date: Wednesday, November 11, 2020 @ 17:38:47 Author: felixonmars Revision: 751173 upgpkg: tamarin-prover 1.6.0-45: rebuild with yesod-persistent 1.6.0.5 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGB

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

2020-11-10 Thread Felix Yan via arch-commits
Date: Tuesday, November 10, 2020 @ 19:04:05 Author: felixonmars Revision: 749757 upgpkg: tamarin-prover 1.6.0-44: rebuild with cryptonite +tests enabled Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBU

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

2020-11-09 Thread Felix Yan via arch-commits
Date: Monday, November 9, 2020 @ 10:01:56 Author: felixonmars Revision: 746787 upgpkg: tamarin-prover 1.6.0-43: rebuild with yesod-core 1.6.18.6 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-08 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 16:51:23 Author: felixonmars Revision: 746691 upgpkg: tamarin-prover 1.6.0-42: rebuild with wai-extra 3.1.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-08 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 13:02:25 Author: felixonmars Revision: 746554 upgpkg: tamarin-prover 1.6.0-41: rebuild with uniplate 1.6.13 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-07 Thread Felix Yan via arch-commits
Date: Saturday, November 7, 2020 @ 21:54:51 Author: felixonmars Revision: 746095 upgpkg: tamarin-prover 1.6.0-40: rebuild with integer-logarithms 1.0.3.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGB

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

2020-11-06 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 22:12:11 Author: felixonmars Revision: 744652 upgpkg: tamarin-prover 1.6.0-39: rebuild with splitmix 0.1.0.3 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-11-05 Thread Felix Yan via arch-commits
Date: Thursday, November 5, 2020 @ 11:02:24 Author: felixonmars Revision: 743079 upgpkg: tamarin-prover 1.6.0-38: rebuild with binary-instances 1.0.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-04 Thread Felix Yan via arch-commits
Date: Thursday, November 5, 2020 @ 00:15:33 Author: felixonmars Revision: 742772 upgpkg: tamarin-prover 1.6.0-37: rebuild with quickcheck-instances 0.3.25 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKG

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

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 12:46:04 Author: felixonmars Revision: 741978 upgpkg: tamarin-prover 1.6.0-36: rebuild with time-compat 1.9.4 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-11-03 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 00:04:31 Author: felixonmars Revision: 741474 upgpkg: tamarin-prover 1.6.0-35: rebuild with foldl 1.4.10 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-02 Thread Felix Yan via arch-commits
Date: Tuesday, November 3, 2020 @ 07:47:25 Author: felixonmars Revision: 740393 upgpkg: tamarin-prover 1.6.0-34: rebuild with HUnit 1.6.1.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-10-31 Thread Felix Yan via arch-commits
Date: Sunday, November 1, 2020 @ 02:04:45 Author: felixonmars Revision: 738099 upgpkg: tamarin-prover 1.6.0-33: rebuild with unliftio 0.2.13.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-10-28 Thread Felix Yan via arch-commits
Date: Wednesday, October 28, 2020 @ 18:50:06 Author: felixonmars Revision: 735643 upgpkg: tamarin-prover 1.6.0-32: rebuild with optparse-applicative 0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

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

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 20:55:28 Author: felixonmars Revision: 732989 upgpkg: tamarin-prover 1.6.0-31: rebuild with bifunctors 5.5.8 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-10-24 Thread Felix Yan via arch-commits
Date: Saturday, October 24, 2020 @ 09:08:59 Author: felixonmars Revision: 731081 upgpkg: tamarin-prover 1.6.0-30: rebuild with generic-deriving 1.14 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 21:52:37 Author: felixonmars Revision: 730223 upgpkg: tamarin-prover 1.6.0-29: rebuild with profunctors 5.6 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 19:11:58 Author: felixonmars Revision: 729408 upgpkg: tamarin-prover 1.6.0-28: rebuild with splitmix 0.1.0.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-10-20 Thread Felix Yan via arch-commits
Date: Tuesday, October 20, 2020 @ 09:46:16 Author: felixonmars Revision: 727581 upgpkg: tamarin-prover 1.6.0-27: rebuild with yesod-core 1.6.18.5 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-10-19 Thread Felix Yan via arch-commits
Date: Monday, October 19, 2020 @ 22:21:01 Author: felixonmars Revision: 727377 upgpkg: tamarin-prover 1.6.0-26: rebuild with conduit 1.3.3 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-10-18 Thread Felix Yan via arch-commits
Date: Sunday, October 18, 2020 @ 15:14:53 Author: felixonmars Revision: 726091 upgpkg: tamarin-prover 1.6.0-25: rebuild with th-abstraction 0.4.0.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-10-10 Thread Felix Yan via arch-commits
Date: Saturday, October 10, 2020 @ 10:20:31 Author: felixonmars Revision: 723070 upgpkg: tamarin-prover 1.6.0-24: rebuild with unordered-containers 0.2.13.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: P

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

2020-10-09 Thread Felix Yan via arch-commits
Date: Friday, October 9, 2020 @ 10:21:07 Author: felixonmars Revision: 722346 upgpkg: tamarin-prover 1.6.0-23: rebuild with http-date 0.0.10 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-08 Thread Felix Yan via arch-commits
Date: Thursday, October 8, 2020 @ 21:27:22 Author: felixonmars Revision: 722022 upgpkg: tamarin-prover 1.6.0-22: rebuild with criterion 1.5.7.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-10-07 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 20:56:10 Author: felixonmars Revision: 720993 upgpkg: tamarin-prover 1.6.0-21: rebuild with base-compat 0.11.2, base-compat-batteries 0.11.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 dele

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

2020-10-06 Thread Felix Yan via arch-commits
Date: Tuesday, October 6, 2020 @ 18:11:54 Author: felixonmars Revision: 719437 upgpkg: tamarin-prover 1.6.0-20: rebuild with wai-extra 3.1.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-05 Thread Felix Yan via arch-commits
Date: Monday, October 5, 2020 @ 19:44:11 Author: felixonmars Revision: 718953 upgpkg: tamarin-prover 1.6.0-19: rebuild with aeson 1.5.4.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-10-04 Thread Felix Yan via arch-commits
Date: Sunday, October 4, 2020 @ 19:21:03 Author: felixonmars Revision: 717900 upgpkg: tamarin-prover 1.6.0-18: rebuild with transformers-compat 0.6.6 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-02 Thread Felix Yan via arch-commits
Date: Saturday, October 3, 2020 @ 05:42:16 Author: felixonmars Revision: 716463 upgpkg: tamarin-prover 1.6.0-17: rebuild with microlens-th 0.4.3.6 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-10-02 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 22:12:37 Author: felixonmars Revision: 715798 upgpkg: tamarin-prover 1.6.0-16: rebuild with base-orphans 0.8.3 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-09-29 Thread Felix Yan via arch-commits
Date: Tuesday, September 29, 2020 @ 20:36:48 Author: felixonmars Revision: 713847 upgpkg: tamarin-prover 1.6.0-15: rebuild with th-lift 0.8.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Tuesday, September 29, 2020 @ 01:23:12 Author: felixonmars Revision: 713652 upgpkg: tamarin-prover 1.6.0-14: rebuild with fast-logger 3.0.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Monday, September 28, 2020 @ 21:54:39 Author: felixonmars Revision: 713410 upgpkg: tamarin-prover 1.6.0-13: rebuild with foldl 1.4.9 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Monday, September 28, 2020 @ 13:47:32 Author: felixonmars Revision: 713020 upgpkg: tamarin-prover 1.6.0-12: rebuild with network-byte-order 0.1.6 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUI

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

2020-09-27 Thread Felix Yan via arch-commits
Date: Sunday, September 27, 2020 @ 15:37:00 Author: felixonmars Revision: 712700 upgpkg: tamarin-prover 1.6.0-11: rebuild with wai-extra 3.1.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-09-25 Thread Felix Yan via arch-commits
Date: Friday, September 25, 2020 @ 19:08:35 Author: felixonmars Revision: 712216 upgpkg: tamarin-prover 1.6.0-10: rebuild with http-date 0.0.9 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-09-24 Thread Felix Yan via arch-commits
Date: Thursday, September 24, 2020 @ 13:59:36 Author: felixonmars Revision: 711771 upgpkg: tamarin-prover 1.6.0-9: rebuild with file-embed 0.0.13.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-09-23 Thread Felix Yan via arch-commits
Date: Wednesday, September 23, 2020 @ 10:46:43 Author: felixonmars Revision: 711476 upgpkg: tamarin-prover 1.6.0-8: rebuild with yesod-core 1.6.18.4 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-21 Thread Felix Yan via arch-commits
Date: Monday, September 21, 2020 @ 20:24:17 Author: felixonmars Revision: 711316 upgpkg: tamarin-prover 1.6.0-7: rebuild with wai-extra 3.0.32 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-09-20 Thread Felix Yan via arch-commits
Date: Sunday, September 20, 2020 @ 10:49:50 Author: felixonmars Revision: 711022 upgpkg: tamarin-prover 1.6.0-6: rebuild with wai-extra 3.0.31 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-09-18 Thread Felix Yan via arch-commits
Date: Friday, September 18, 2020 @ 14:20:26 Author: felixonmars Revision: 710051 upgpkg: tamarin-prover 1.6.0-5: rebuild with hspec 2.7.4, hspec-core 2.7.4, hspec-discover 2.7.4 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 de

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

2020-09-17 Thread Felix Yan via arch-commits
Date: Thursday, September 17, 2020 @ 10:39:55 Author: felixonmars Revision: 708626 upgpkg: tamarin-prover 1.6.0-4: rebuild with wai-extra 3.0.30 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Thursday, September 17, 2020 @ 05:14:45 Author: felixonmars Revision: 708525 upgpkg: tamarin-prover 1.6.0-3: rebuild with rio 0.1.19.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 22:15:40 Author: felixonmars Revision: 708405 upgpkg: tamarin-prover 1.6.0-2: rebuild with HTTP 4000.3.15 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 15:12:57 Author: felixonmars Revision: 708086 upgpkg: tamarin-prover 1.6.0-1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD | 30 +- 1 file changed, 13 insertions(+), 17 deletions(-) Modified: PKGBUILD ==

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 11:44:36 Author: felixonmars Revision: 707416 upgpkg: tamarin-prover 1.4.1-425: rebuild with quickcheck-classes-base 0.6.1.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modif

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

2020-09-13 Thread Felix Yan via arch-commits
Date: Sunday, September 13, 2020 @ 21:09:42 Author: felixonmars Revision: 705286 upgpkg: tamarin-prover 1.4.1-424: rebuild with ansi-terminal 0.11 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-09-11 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 02:59:12 Author: felixonmars Revision: 703104 upgpkg: tamarin-prover 1.4.1-423: rebuild with mwc-random 0.15.0.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-07 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 02:08:45 Author: felixonmars Revision: 700612 upgpkg: tamarin-prover 1.4.1-422: rebuild with hspec 2.7.3, hspec-core 2.7.3, hspec-discover 2.7.3 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-09-04 Thread Felix Yan via arch-commits
Date: Saturday, September 5, 2020 @ 03:26:28 Author: felixonmars Revision: 698873 upgpkg: tamarin-prover 1.4.1-421: rebuild with tasty-expected-failure 0.12.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2020-09-03 Thread Felix Yan via arch-commits
Date: Friday, September 4, 2020 @ 01:35:27 Author: felixonmars Revision: 697856 upgpkg: tamarin-prover 1.4.1-420: rebuild with mwc-random 0.15.0.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 23:15:42 Author: felixonmars Revision: 696075 upgpkg: tamarin-prover 1.4.1-419: rebuild with aeson 1.5.4.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 16:21:27 Author: felixonmars Revision: 695615 upgpkg: tamarin-prover 1.4.1-418: rebuild with conduit 1.3.2.1 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2020-08-31 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 21:34:19 Author: felixonmars Revision: 694429 upgpkg: tamarin-prover 1.4.1-417: rebuild with happy 1.20.0 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-08-30 Thread Felix Yan via arch-commits
Date: Sunday, August 30, 2020 @ 07:52:30 Author: felixonmars Revision: 692434 upgpkg: tamarin-prover 1.4.1-416: rebuild with http-api-data 0.4.2 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-29 Thread Felix Yan via arch-commits
Date: Saturday, August 29, 2020 @ 23:14:00 Author: felixonmars Revision: 692364 upgpkg: tamarin-prover 1.4.1-415: rebuild with shakespeare 2.0.25 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2020-08-29 Thread Jürgen Hötzel via arch-commits
Date: Saturday, August 29, 2020 @ 13:19:34 Author: juergen Revision: 692214 OCaml 4.11.0 rebuild Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2020-08-28 Thread Felix Yan via arch-commits
Date: Saturday, August 29, 2020 @ 05:06:01 Author: felixonmars Revision: 691550 upgpkg: tamarin-prover 1.4.1-413: rebuild with logict 0.7.0.3 Modified: tamarin-prover/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

  1   2   3   4   5   6   7   8   9   >