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

2022-09-10 Thread Felix Yan via arch-commits
Date: Saturday, September 10, 2022 @ 15:45:05 Author: felixonmars Revision: 1299490 upgpkg: haskell-tamarin-prover-sapic 1.6.1-96: rebuild with generic-deriving 1.14.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2022-09-09 Thread Felix Yan via arch-commits
Date: Friday, September 9, 2022 @ 22:34:13 Author: felixonmars Revision: 1297841 upgpkg: haskell-tamarin-prover-sapic 1.6.1-95: rebuild with hedgehog 1.1.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-09-06 Thread Felix Yan via arch-commits
Date: Tuesday, September 6, 2022 @ 19:28:04 Author: felixonmars Revision: 1294680 upgpkg: haskell-tamarin-prover-sapic 1.6.1-94: rebuild with hspec 2.10.0, hspec-core 2.10.0, hspec-discover 2.10.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 f

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

2022-09-03 Thread Felix Yan via arch-commits
Date: Saturday, September 3, 2022 @ 09:44:44 Author: felixonmars Revision: 1291407 upgpkg: haskell-tamarin-prover-sapic 1.6.1-93: rebuild with tasty-hedgehog 1.3.0.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-08-29 Thread Felix Yan via arch-commits
Date: Monday, August 29, 2022 @ 23:54:13 Author: felixonmars Revision: 1287056 upgpkg: haskell-tamarin-prover-sapic 1.6.1-92: rebuild with base-compat 0.12.2, base-compat-batteries 0.12.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file chang

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

2022-08-26 Thread Felix Yan via arch-commits
Date: Friday, August 26, 2022 @ 16:28:58 Author: felixonmars Revision: 1283129 upgpkg: haskell-tamarin-prover-sapic 1.6.1-91: rebuild with silently 1.2.5.3 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-08-25 Thread Felix Yan via arch-commits
Date: Thursday, August 25, 2022 @ 18:32:57 Author: felixonmars Revision: 1279868 upgpkg: haskell-tamarin-prover-sapic 1.6.1-90: rebuild with quickcheck-instances 0.3.28 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2022-08-24 Thread Felix Yan via arch-commits
Date: Wednesday, August 24, 2022 @ 23:56:46 Author: felixonmars Revision: 1278052 upgpkg: haskell-tamarin-prover-sapic 1.6.1-89: rebuild with hashable 1.4.1.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion

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

2022-08-21 Thread Felix Yan via arch-commits
Date: Sunday, August 21, 2022 @ 17:18:21 Author: felixonmars Revision: 1273034 upgpkg: haskell-tamarin-prover-sapic 1.6.1-88: rebuild with split 0.2.3.5 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) M

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

2022-08-21 Thread Felix Yan via arch-commits
Date: Sunday, August 21, 2022 @ 07:13:30 Author: felixonmars Revision: 1271588 upgpkg: haskell-tamarin-prover-sapic 1.6.1-87: rebuild with ChasingBottoms 1.3.1.12 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

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

2022-08-18 Thread Felix Yan via arch-commits
Date: Thursday, August 18, 2022 @ 22:33:03 Author: felixonmars Revision: 1269467 upgpkg: haskell-tamarin-prover-sapic 1.6.1-86: rebuild with base-orphans 0.8.7 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletio

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

2022-08-18 Thread Felix Yan via arch-commits
Date: Thursday, August 18, 2022 @ 12:48:08 Author: felixonmars Revision: 1267278 upgpkg: haskell-tamarin-prover-sapic 1.6.1-85: rebuild with lifted-async 0.10.2.3 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

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

2022-08-09 Thread Felix Yan via arch-commits
Date: Tuesday, August 9, 2022 @ 17:18:22 Author: felixonmars Revision: 1264126 upgpkg: haskell-tamarin-prover-sapic 1.6.1-84: rebuild with th-abstraction 0.4.4.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 dele

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

2022-08-08 Thread Felix Yan via arch-commits
Date: Monday, August 8, 2022 @ 18:45:58 Author: felixonmars Revision: 1261948 upgpkg: haskell-tamarin-prover-sapic 1.6.1-83: rebuild with tasty 1.4.2.3 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

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

2022-07-25 Thread Felix Yan via arch-commits
Date: Monday, July 25, 2022 @ 10:18:00 Author: felixonmars Revision: 1257352 upgpkg: haskell-tamarin-prover-sapic 1.6.1-82: rebuild with inspection-testing 0.5, tasty-inspection-testing 0.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file cha

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

2022-07-15 Thread Felix Yan via arch-commits
Date: Saturday, July 16, 2022 @ 03:37:06 Author: felixonmars Revision: 1253427 upgpkg: haskell-tamarin-prover-sapic 1.6.1-81: rebuild with constraints 0.13.4 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2022-07-12 Thread Felix Yan via arch-commits
Date: Tuesday, July 12, 2022 @ 20:06:34 Author: felixonmars Revision: 1251243 upgpkg: haskell-tamarin-prover-sapic 1.6.1-80: rebuild with tasty 1.4.2.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

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

2022-07-06 Thread Felix Yan via arch-commits
Date: Wednesday, July 6, 2022 @ 23:27:58 Author: felixonmars Revision: 1247166 upgpkg: haskell-tamarin-prover-sapic 1.6.1-79: rebuild with resourcet 1.2.6 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-07-05 Thread Felix Yan via arch-commits
Date: Tuesday, July 5, 2022 @ 20:06:11 Author: felixonmars Revision: 1245464 upgpkg: haskell-tamarin-prover-sapic 1.6.1-78: rebuild with ansi-terminal 0.11.3 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2022-06-29 Thread Felix Yan via arch-commits
Date: Wednesday, June 29, 2022 @ 22:53:21 Author: felixonmars Revision: 1241727 upgpkg: haskell-tamarin-prover-sapic 1.6.1-77: rebuild with transformers-compat 0.7.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-06-11 Thread Felix Yan via arch-commits
Date: Saturday, June 11, 2022 @ 23:36:14 Author: felixonmars Revision: 1235690 upgpkg: haskell-tamarin-prover-sapic 1.6.1-76: rebuild with inspection-testing 0.4.6.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-06-11 Thread Felix Yan via arch-commits
Date: Saturday, June 11, 2022 @ 12:50:21 Author: felixonmars Revision: 1233416 upgpkg: haskell-tamarin-prover-sapic 1.6.1-75: rebuild with typed-process 0.2.10.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 dele

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

2022-06-10 Thread Felix Yan via arch-commits
Date: Friday, June 10, 2022 @ 22:12:22 Author: felixonmars Revision: 1231706 upgpkg: haskell-tamarin-prover-sapic 1.6.1-74: rebuild with ansi-terminal 0.11.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2022-06-06 Thread Felix Yan via arch-commits
Date: Tuesday, June 7, 2022 @ 06:29:45 Author: felixonmars Revision: 1227636 upgpkg: haskell-tamarin-prover-sapic 1.6.1-73: rebuild with concurrent-output 1.10.16 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

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

2022-06-06 Thread Felix Yan via arch-commits
Date: Monday, June 6, 2022 @ 11:07:00 Author: felixonmars Revision: 1225978 upgpkg: haskell-tamarin-prover-sapic 1.6.1-72: rebuild with typed-process 0.2.10.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletio

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

2022-06-05 Thread Felix Yan via arch-commits
Date: Sunday, June 5, 2022 @ 19:51:01 Author: felixonmars Revision: 1224267 upgpkg: haskell-tamarin-prover-sapic 1.6.1-71: rebuild with hspec 2.9.7, hspec-core 2.9.7, hspec-discover 2.9.7 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file chang

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

2022-06-04 Thread Felix Yan via arch-commits
Date: Saturday, June 4, 2022 @ 19:00:27 Author: felixonmars Revision: 1221993 upgpkg: haskell-tamarin-prover-sapic 1.6.1-70: rebuild with typed-process 0.2.9.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2022-06-03 Thread Felix Yan via arch-commits
Date: Friday, June 3, 2022 @ 11:44:43 Author: felixonmars Revision: 1220284 upgpkg: haskell-tamarin-prover-sapic 1.6.1-69: rebuild with primitive 0.7.4.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-05-30 Thread Felix Yan via arch-commits
Date: Monday, May 30, 2022 @ 11:31:40 Author: felixonmars Revision: 1216093 upgpkg: haskell-tamarin-prover-sapic 1.6.1-68: rebuild with tasty-inspection-testing 0.1.0.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2022-05-28 Thread Felix Yan via arch-commits
Date: Saturday, May 28, 2022 @ 17:03:01 Author: felixonmars Revision: 1212421 upgpkg: haskell-tamarin-prover-sapic 1.6.1-67: rebuild with doctest 0.20.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) M

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

2022-05-18 Thread Felix Yan via arch-commits
Date: Wednesday, May 18, 2022 @ 14:02:53 Author: felixonmars Revision: 1208282 upgpkg: haskell-tamarin-prover-sapic 1.6.1-66: rebuild with resourcet 1.2.5 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-05-14 Thread Felix Yan via arch-commits
Date: Sunday, May 15, 2022 @ 02:45:30 Author: felixonmars Revision: 1205798 upgpkg: haskell-tamarin-prover-sapic 1.6.1-65: rebuild with hashable 1.4.0.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) M

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

2022-05-14 Thread Felix Yan via arch-commits
Date: Saturday, May 14, 2022 @ 14:40:43 Author: felixonmars Revision: 1204916 upgpkg: haskell-tamarin-prover-sapic 1.6.1-64: rebuild with hashable 1.4.0.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-05-13 Thread Felix Yan via arch-commits
Date: Friday, May 13, 2022 @ 10:33:02 Author: felixonmars Revision: 1201441 upgpkg: haskell-tamarin-prover-sapic 1.6.1-63: rebuild with random 1.2.1.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mod

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

2022-05-12 Thread Felix Yan via arch-commits
Date: Thursday, May 12, 2022 @ 09:23:49 Author: felixonmars Revision: 1198713 upgpkg: haskell-tamarin-prover-sapic 1.6.1-62: rebuild with unordered-containers 0.2.19.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2022-05-04 Thread Felix Yan via arch-commits
Date: Wednesday, May 4, 2022 @ 13:28:57 Author: felixonmars Revision: 1194074 upgpkg: haskell-tamarin-prover-sapic 1.6.1-60: rebuild with hspec 2.9.6, hspec-core 2.9.6, hspec-discover 2.9.6 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file cha

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

2022-04-23 Thread Felix Yan via arch-commits
Date: Saturday, April 23, 2022 @ 22:47:37 Author: felixonmars Revision: 1189098 upgpkg: haskell-tamarin-prover-sapic 1.6.1-59: rebuild with hashable 1.4.0.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-

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

2022-04-10 Thread Felix Yan via arch-commits
Date: Sunday, April 10, 2022 @ 11:46:02 Author: felixonmars Revision: 1184554 upgpkg: haskell-tamarin-prover-sapic 1.6.1-58: rebuild with hspec 2.9.5, hspec-core 2.9.5, hspec-discover 2.9.5 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file cha

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

2022-04-06 Thread Felix Yan via arch-commits
Date: Wednesday, April 6, 2022 @ 21:10:10 Author: felixonmars Revision: 1181955 upgpkg: haskell-tamarin-prover-sapic 1.6.1-57: rebuild with unordered-containers 0.2.18.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+)

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

2022-03-31 Thread Felix Yan via arch-commits
Date: Friday, April 1, 2022 @ 06:17:40 Author: felixonmars Revision: 1179341 upgpkg: haskell-tamarin-prover-sapic 1.6.1-56: rebuild with hspec 2.9.4, hspec-core 2.9.4, hspec-discover 2.9.4, hspec-meta 2.9.3 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |

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

2022-03-24 Thread Felix Yan via arch-commits
Date: Thursday, March 24, 2022 @ 20:31:14 Author: felixonmars Revision: 1175288 upgpkg: haskell-tamarin-prover-sapic 1.6.1-55: rebuild with quickcheck-instances 0.3.27 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2022-03-24 Thread Felix Yan via arch-commits
Date: Thursday, March 24, 2022 @ 02:36:28 Author: felixonmars Revision: 1173450 upgpkg: haskell-tamarin-prover-sapic 1.6.1-54: rebuild with hspec 2.9.3, hspec-core 2.9.3, hspec-discover 2.9.3, hspec-meta 2.9.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |

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

2022-03-21 Thread Felix Yan via arch-commits
Date: Monday, March 21, 2022 @ 20:14:50 Author: felixonmars Revision: 1168260 upgpkg: haskell-tamarin-prover-sapic 1.6.1-53: rebuild with hspec 2.9.2, hspec-core 2.9.2, hspec-discover 2.9.2, hspec-meta 2.9.0.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |

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

2022-03-20 Thread Felix Yan via arch-commits
Date: Sunday, March 20, 2022 @ 19:49:44 Author: felixonmars Revision: 1165133 upgpkg: haskell-tamarin-prover-sapic 1.6.1-52: rebuild with ghc-bignum-orphans 0.1.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

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

2022-03-19 Thread Felix Yan via arch-commits
Date: Saturday, March 19, 2022 @ 21:42:00 Author: felixonmars Revision: 1161893 upgpkg: haskell-tamarin-prover-sapic 1.6.1-51: rebuild with base-compat 0.12.1, base-compat-batteries 0.12.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file chan

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

2022-03-18 Thread Felix Yan via arch-commits
Date: Friday, March 18, 2022 @ 19:28:24 Author: felixonmars Revision: 1158959 upgpkg: haskell-tamarin-prover-sapic 1.6.1-50: rebuild with clock 0.8.3 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modi

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

2022-03-15 Thread Felix Yan via arch-commits
Date: Tuesday, March 15, 2022 @ 12:38:56 Author: felixonmars Revision: 1154351 upgpkg: haskell-tamarin-prover-sapic 1.6.1-49: rebuild with unordered-containers 0.2.17.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2022-03-14 Thread Felix Yan via arch-commits
Date: Monday, March 14, 2022 @ 14:37:44 Author: felixonmars Revision: 1152885 upgpkg: haskell-tamarin-prover-sapic 1.6.1-48: rebuild with hspec 2.9.1, hspec-core 2.9.1, hspec-discover 2.9.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file cha

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

2022-03-11 Thread Felix Yan via arch-commits
Date: Friday, March 11, 2022 @ 18:50:05 Author: felixonmars Revision: 1148561 upgpkg: haskell-tamarin-prover-sapic 1.6.1-47: rebuild with ansi-terminal 0.11.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion

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

2022-03-09 Thread Felix Yan via arch-commits
Date: Wednesday, March 9, 2022 @ 23:06:10 Author: felixonmars Revision: 1145908 upgpkg: haskell-tamarin-prover-sapic 1.6.1-46: rebuild with doctest 0.19.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-03-04 Thread Felix Yan via arch-commits
Date: Friday, March 4, 2022 @ 19:09:19 Author: felixonmars Revision: 1141793 upgpkg: haskell-tamarin-prover-sapic 1.6.1-45: rebuild with hspec 2.9.0, hspec-core 2.9.0, hspec-discover 2.9.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file chan

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

2022-02-22 Thread Felix Yan via arch-commits
Date: Tuesday, February 22, 2022 @ 08:48:35 Author: felixonmars Revision: 1135821 upgpkg: haskell-tamarin-prover-sapic 1.6.1-44: rebuild with hashable 1.4.0.0, quickcheck-instances 0.3.26.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file cha

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

2022-02-11 Thread Felix Yan via arch-commits
Date: Friday, February 11, 2022 @ 12:08:04 Author: felixonmars Revision: 1131898 upgpkg: haskell-tamarin-prover-sapic 1.6.1-43: rebuild with unordered-containers 0.2.16.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+

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

2022-02-09 Thread Felix Yan via arch-commits
Date: Thursday, February 10, 2022 @ 01:31:48 Author: felixonmars Revision: 1130726 upgpkg: haskell-tamarin-prover-sapic 1.6.1-42: rebuild with attoparsec 0.14.4 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2022-02-08 Thread Felix Yan via arch-commits
Date: Tuesday, February 8, 2022 @ 09:53:51 Author: felixonmars Revision: 1129149 upgpkg: haskell-tamarin-prover-sapic 1.6.1-41: rebuild with base-compat 0.12.0, base-compat-batteries 0.12.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file cha

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

2022-02-04 Thread Felix Yan via arch-commits
Date: Friday, February 4, 2022 @ 22:27:14 Author: felixonmars Revision: 1126187 upgpkg: haskell-tamarin-prover-sapic 1.6.1-40: rebuild with quickcheck-instances 0.3.26 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2022-02-03 Thread Felix Yan via arch-commits
Date: Friday, February 4, 2022 @ 01:16:29 Author: felixonmars Revision: 1125161 upgpkg: haskell-tamarin-prover-sapic 1.6.1-39: rebuild with Diff 0.4.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mod

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

2022-02-02 Thread Felix Yan via arch-commits
Date: Thursday, February 3, 2022 @ 00:54:05 Author: felixonmars Revision: 1123755 upgpkg: haskell-tamarin-prover-sapic 1.6.1-38: rebuild with base-orphans 0.8.6 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2022-01-28 Thread Felix Yan via arch-commits
Date: Saturday, January 29, 2022 @ 03:01:11 Author: felixonmars Revision: 1118722 upgpkg: haskell-tamarin-prover-sapic 1.6.1-37: rebuild with async 2.2.4 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-01-26 Thread Felix Yan via arch-commits
Date: Wednesday, January 26, 2022 @ 14:35:37 Author: felixonmars Revision: 1115834 upgpkg: haskell-tamarin-prover-sapic 1.6.1-36: rebuild with hspec 2.8.5, hspec-core 2.8.5, hspec-discover 2.8.5 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 fil

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

2022-01-21 Thread Felix Yan via arch-commits
Date: Friday, January 21, 2022 @ 20:44:48 Author: felixonmars Revision: 1112653 upgpkg: haskell-tamarin-prover-sapic 1.6.1-35: rebuild with ChasingBottoms 1.3.1.11 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 de

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

2022-01-18 Thread Felix Yan via arch-commits
Date: Tuesday, January 18, 2022 @ 15:21:57 Author: felixonmars Revision: 1109083 upgpkg: haskell-tamarin-prover-sapic 1.6.1-34: rebuild with hashable 1.3.5.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2022-01-16 Thread Felix Yan via arch-commits
Date: Monday, January 17, 2022 @ 00:01:33 Author: felixonmars Revision: 1106757 upgpkg: haskell-tamarin-prover-sapic 1.6.1-33: rebuild with attoparsec 0.14.3 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2022-01-15 Thread Felix Yan via arch-commits
Date: Saturday, January 15, 2022 @ 16:33:43 Author: felixonmars Revision: 1104406 upgpkg: haskell-tamarin-prover-sapic 1.6.1-32: rebuild with tasty-golden 2.3.5 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2022-01-14 Thread Felix Yan via arch-commits
Date: Friday, January 14, 2022 @ 20:46:25 Author: felixonmars Revision: 1103448 upgpkg: haskell-tamarin-prover-sapic 1.6.1-31: rebuild with unix-compat 0.5.4 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2022-01-11 Thread Felix Yan via arch-commits
Date: Wednesday, January 12, 2022 @ 03:38:46 Author: felixonmars Revision: 1101454 upgpkg: haskell-tamarin-prover-sapic 1.6.1-30: rebuild with ghc 9.0.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) M

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

2022-01-09 Thread Felix Yan via arch-commits
Date: Sunday, January 9, 2022 @ 23:23:26 Author: felixonmars Revision: 1098733 upgpkg: haskell-tamarin-prover-sapic 1.6.1-29: rebuild with base16-bytestring 1.0.2.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

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

2022-01-08 Thread Felix Yan via arch-commits
Date: Saturday, January 8, 2022 @ 16:36:01 Author: felixonmars Revision: 1097204 upgpkg: haskell-tamarin-prover-sapic 1.6.1-28: rebuild with hspec 2.8.4, hspec-core 2.8.4, hspec-discover 2.8.4 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-01-05 Thread Felix Yan via arch-commits
Date: Thursday, January 6, 2022 @ 07:00:34 Author: felixonmars Revision: 1094541 upgpkg: haskell-tamarin-prover-sapic 1.6.1-27: rebuild with primitive 0.7.3.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion

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

2021-12-31 Thread Felix Yan via arch-commits
Date: Friday, December 31, 2021 @ 13:22:26 Author: felixonmars Revision: 1090225 upgpkg: haskell-tamarin-prover-sapic 1.6.1-26: rebuild with logging-facade 0.3.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 delet

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

2021-12-29 Thread Felix Yan via arch-commits
Date: Wednesday, December 29, 2021 @ 14:09:22 Author: felixonmars Revision: 1087240 upgpkg: haskell-tamarin-prover-sapic 1.6.1-25: rebuild with unordered-containers 0.2.15.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertio

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

2021-12-28 Thread Felix Yan via arch-commits
Date: Tuesday, December 28, 2021 @ 07:44:50 Author: felixonmars Revision: 1085305 upgpkg: haskell-tamarin-prover-sapic 1.6.1-24: rebuild with tasty 1.4.2.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-12-21 Thread Felix Yan via arch-commits
Date: Tuesday, December 21, 2021 @ 12:43:05 Author: felixonmars Revision: 1081527 upgpkg: haskell-tamarin-prover-sapic 1.6.1-23: rebuild with silently 1.2.5.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion

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

2021-12-19 Thread Felix Yan via arch-commits
Date: Monday, December 20, 2021 @ 05:25:07 Author: felixonmars Revision: 1079512 upgpkg: haskell-tamarin-prover-sapic 1.6.1-22: rebuild with attoparsec 0.14.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion

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

2021-12-18 Thread Felix Yan via arch-commits
Date: Saturday, December 18, 2021 @ 23:55:08 Author: felixonmars Revision: 1078003 upgpkg: haskell-tamarin-prover-sapic 1.6.1-21: rebuild with tasty-quickcheck 0.10.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-12-16 Thread Felix Yan via arch-commits
Date: Thursday, December 16, 2021 @ 11:06:51 Author: felixonmars Revision: 1074280 upgpkg: haskell-tamarin-prover-sapic 1.6.1-20: rebuild with hashable 1.3.4.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletio

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

2021-12-13 Thread Felix Yan via arch-commits
Date: Monday, December 13, 2021 @ 15:57:02 Author: felixonmars Revision: 1071896 upgpkg: haskell-tamarin-prover-sapic 1.6.1-19: rebuild with indexed-traversable 0.1.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-11-28 Thread Felix Yan via arch-commits
Date: Monday, November 29, 2021 @ 05:59:44 Author: felixonmars Revision: 1056506 upgpkg: haskell-tamarin-prover-sapic 1.6.1-18: rebuild with regex-base 0.94.0.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2021-11-18 Thread Felix Yan via arch-commits
Date: Thursday, November 18, 2021 @ 21:16:47 Author: felixonmars Revision: 1052581 upgpkg: haskell-tamarin-prover-sapic 1.6.1-17: rebuild with hashable 1.3.4.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletio

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

2021-11-17 Thread Felix Yan via arch-commits
Date: Wednesday, November 17, 2021 @ 13:16:57 Author: felixonmars Revision: 1050046 upgpkg: haskell-tamarin-prover-sapic 1.6.1-16: rebuild with splitmix 0.1.0.4 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2021-11-13 Thread Felix Yan via arch-commits
Date: Saturday, November 13, 2021 @ 22:35:10 Author: felixonmars Revision: 1046316 upgpkg: haskell-tamarin-prover-sapic 1.6.1-15: rebuild with vector-th-unbox 0.2.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

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

2021-11-12 Thread Felix Yan via arch-commits
Date: Friday, November 12, 2021 @ 12:06:52 Author: felixonmars Revision: 1043624 upgpkg: haskell-tamarin-prover-sapic 1.6.1-14: rebuild with doctest 0.18.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-11-10 Thread Felix Yan via arch-commits
Date: Thursday, November 11, 2021 @ 02:58:20 Author: felixonmars Revision: 1040919 upgpkg: haskell-tamarin-prover-sapic 1.6.1-13: rebuild with transformers-compat 0.7.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2021-11-08 Thread Felix Yan via arch-commits
Date: Monday, November 8, 2021 @ 20:32:14 Author: felixonmars Revision: 1038891 upgpkg: haskell-tamarin-prover-sapic 1.6.1-12: rebuild with aeson-pretty 0.8.9 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion

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

2021-11-06 Thread Felix Yan via arch-commits
Date: Sunday, November 7, 2021 @ 01:47:18 Author: felixonmars Revision: 1038071 upgpkg: haskell-tamarin-prover-sapic 1.6.1-11: rebuild with blaze-builder 0.4.2.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 dele

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

2021-11-03 Thread Felix Yan via arch-commits
Date: Thursday, November 4, 2021 @ 00:27:02 Author: felixonmars Revision: 1035816 upgpkg: haskell-tamarin-prover-sapic 1.6.1-10: rebuild with base-orphans 0.8.5, text-show 3.9.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 inse

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

2021-09-24 Thread Felix Yan via arch-commits
Date: Saturday, September 25, 2021 @ 00:10:56 Author: felixonmars Revision: 1024137 upgpkg: haskell-tamarin-prover-sapic 1.6.1-9: rebuild with vector 0.12.3.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 delet

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

2021-09-22 Thread Felix Yan via arch-commits
Date: Wednesday, September 22, 2021 @ 10:50:47 Author: felixonmars Revision: 1021415 upgpkg: haskell-tamarin-prover-sapic 1.6.1-8: rebuild with random 1.2.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-

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

2021-09-20 Thread Felix Yan via arch-commits
Date: Monday, September 20, 2021 @ 07:47:45 Author: felixonmars Revision: 1018532 upgpkg: haskell-tamarin-prover-sapic 1.6.1-7: rebuild with unliftio 0.2.20 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-

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

2021-09-15 Thread Felix Yan via arch-commits
Date: Wednesday, September 15, 2021 @ 09:11:18 Author: felixonmars Revision: 1015356 upgpkg: haskell-tamarin-prover-sapic 1.6.1-6: rebuild with th-abstraction 0.4.3.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-09-07 Thread Felix Yan via arch-commits
Date: Wednesday, September 8, 2021 @ 03:52:52 Author: felixonmars Revision: 1012385 upgpkg: haskell-tamarin-prover-sapic 1.6.1-5: rebuild with time-compat 1.9.6.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 dele

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

2021-09-04 Thread Felix Yan via arch-commits
Date: Saturday, September 4, 2021 @ 11:34:07 Author: felixonmars Revision: 1011099 upgpkg: haskell-tamarin-prover-sapic 1.6.1-4: rebuild with generic-deriving 1.14.1 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-08-29 Thread Felix Yan via arch-commits
Date: Sunday, August 29, 2021 @ 07:39:18 Author: felixonmars Revision: 1008966 upgpkg: haskell-tamarin-prover-sapic 1.6.1-3: rebuild with hashable 1.3.3.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-08-26 Thread Felix Yan via arch-commits
Date: Thursday, August 26, 2021 @ 14:09:35 Author: felixonmars Revision: 1006168 upgpkg: haskell-tamarin-prover-sapic 1.6.1-2: rebuild with tasty 1.4.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

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

2021-08-23 Thread Felix Yan via arch-commits
Date: Monday, August 23, 2021 @ 20:51:35 Author: felixonmars Revision: 1004469 upgpkg: haskell-tamarin-prover-sapic 1.6.1-1: rebuild with tamarin-prover 1.6.1, tamarin-prover-sapic 1.6.1, tamarin-prover-term 1.6.1, tamarin-prover-theory 1.6.1, tamarin-prover-utils 1.6.1 Modified: haskel

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

2021-08-17 Thread Felix Yan via arch-commits
Date: Tuesday, August 17, 2021 @ 20:09:06 Author: felixonmars Revision: 1002584 upgpkg: haskell-tamarin-prover-sapic 1.6.0-115: rebuild with mwc-random 0.15.0.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2021-08-15 Thread Felix Yan via arch-commits
Date: Monday, August 16, 2021 @ 03:16:21 Author: felixonmars Revision: 18 upgpkg: haskell-tamarin-prover-sapic 1.6.0-114: rebuild with hspec 2.8.3, hspec-core 2.8.3, hspec-discover 2.8.3 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file ch

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

2021-08-13 Thread Felix Yan via arch-commits
Date: Friday, August 13, 2021 @ 16:01:21 Author: felixonmars Revision: 998151 upgpkg: haskell-tamarin-prover-sapic 1.6.0-113: rebuild with base64-bytestring 1.2.1.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

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

2021-08-08 Thread Felix Yan via arch-commits
Date: Monday, August 9, 2021 @ 01:04:10 Author: felixonmars Revision: 996219 upgpkg: haskell-tamarin-prover-sapic 1.6.0-112: rebuild with primitive 0.7.2.0 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-07-28 Thread Felix Yan via arch-commits
Date: Wednesday, July 28, 2021 @ 10:27:33 Author: felixonmars Revision: 988725 upgpkg: haskell-tamarin-prover-sapic 1.6.0-111: rebuild with data-fix 0.3.2 Modified: haskell-tamarin-prover-sapic/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

  1   2   >