subject:"\[arch\-commits\] Commit in haskell\-tamarin\-prover\-utils\/trunk \(PKGBUILD\)"

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

2022-09-05 Thread Felix Yan via arch-commits

Date: Monday, September 5, 2022 @ 23:46:52 Author: felixonmars Revision: 1293937 upgpkg: haskell-tamarin-prover-utils 1.6.1-60: rebuild with hspec 2.10.0, hspec-core 2.10.0, hspec-discover 2.10.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1

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

2022-08-29 Thread Felix Yan via arch-commits

Date: Monday, August 29, 2022 @ 21:59:15 Author: felixonmars Revision: 1286406 upgpkg: haskell-tamarin-prover-utils 1.6.1-59: rebuild with base-compat 0.12.2, base-compat-batteries 0.12.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-08-26 Thread Felix Yan via arch-commits

Date: Friday, August 26, 2022 @ 14:15:33 Author: felixonmars Revision: 1282528 upgpkg: haskell-tamarin-prover-utils 1.6.1-58: rebuild with silently 1.2.5.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-08-24 Thread Felix Yan via arch-commits

Date: Wednesday, August 24, 2022 @ 22:06:57 Author: felixonmars Revision: 1277480 upgpkg: haskell-tamarin-prover-utils 1.6.1-57: rebuild with hashable 1.4.1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-08-21 Thread Felix Yan via arch-commits

Date: Sunday, August 21, 2022 @ 15:28:53 Author: felixonmars Revision: 1272591 upgpkg: haskell-tamarin-prover-utils 1.6.1-56: rebuild with split 0.2.3.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-08-18 Thread Felix Yan via arch-commits

Date: Thursday, August 18, 2022 @ 20:50:59 Author: felixonmars Revision: 1268923 upgpkg: haskell-tamarin-prover-utils 1.6.1-55: rebuild with base-orphans 0.8.7 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-08-08 Thread Felix Yan via arch-commits

Date: Monday, August 8, 2022 @ 16:56:49 Author: felixonmars Revision: 1261372 upgpkg: haskell-tamarin-prover-utils 1.6.1-54: rebuild with tasty 1.4.2.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-07-25 Thread Felix Yan via arch-commits

Date: Monday, July 25, 2022 @ 06:38:32 Author: felixonmars Revision: 1256842 upgpkg: haskell-tamarin-prover-utils 1.6.1-53: rebuild with inspection-testing 0.5, tasty-inspection-testing 0.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-07-12 Thread Felix Yan via arch-commits

Date: Tuesday, July 12, 2022 @ 15:50:03 Author: felixonmars Revision: 1250583 upgpkg: haskell-tamarin-prover-utils 1.6.1-52: rebuild with tasty 1.4.2.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-07-05 Thread Felix Yan via arch-commits

Date: Tuesday, July 5, 2022 @ 16:05:47 Author: felixonmars Revision: 1244908 upgpkg: haskell-tamarin-prover-utils 1.6.1-51: rebuild with ansi-terminal 0.11.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-06-29 Thread Felix Yan via arch-commits

Date: Wednesday, June 29, 2022 @ 19:38:56 Author: felixonmars Revision: 1241239 upgpkg: haskell-tamarin-prover-utils 1.6.1-50: rebuild with transformers-compat 0.7.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-06-11 Thread Felix Yan via arch-commits

Date: Saturday, June 11, 2022 @ 21:49:27 Author: felixonmars Revision: 1235108 upgpkg: haskell-tamarin-prover-utils 1.6.1-49: rebuild with inspection-testing 0.4.6.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-06-10 Thread Felix Yan via arch-commits

Date: Friday, June 10, 2022 @ 18:01:35 Author: felixonmars Revision: 1231144 upgpkg: haskell-tamarin-prover-utils 1.6.1-48: rebuild with ansi-terminal 0.11.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-06-05 Thread Felix Yan via arch-commits

Date: Sunday, June 5, 2022 @ 18:07:05 Author: felixonmars Revision: 1223699 upgpkg: haskell-tamarin-prover-utils 1.6.1-47: rebuild with hspec 2.9.7, hspec-core 2.9.7, hspec-discover 2.9.7 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-06-03 Thread Felix Yan via arch-commits

Date: Friday, June 3, 2022 @ 09:20:36 Author: felixonmars Revision: 1219782 upgpkg: haskell-tamarin-prover-utils 1.6.1-46: rebuild with primitive 0.7.4.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-05-30 Thread Felix Yan via arch-commits

Date: Monday, May 30, 2022 @ 09:57:58 Author: felixonmars Revision: 1215541 upgpkg: haskell-tamarin-prover-utils 1.6.1-45: rebuild with tasty-inspection-testing 0.1.0.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

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

2022-05-28 Thread Felix Yan via arch-commits

Date: Saturday, May 28, 2022 @ 14:59:03 Author: felixonmars Revision: 1211821 upgpkg: haskell-tamarin-prover-utils 1.6.1-44: rebuild with doctest 0.20.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-05-14 Thread Felix Yan via arch-commits

Date: Saturday, May 14, 2022 @ 13:02:42 Author: felixonmars Revision: 1204382 upgpkg: haskell-tamarin-prover-utils 1.6.1-43: rebuild with hashable 1.4.0.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-05-13 Thread Felix Yan via arch-commits

Date: Friday, May 13, 2022 @ 08:08:49 Author: felixonmars Revision: 1200894 upgpkg: haskell-tamarin-prover-utils 1.6.1-42: rebuild with random 1.2.1.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-05-04 Thread Felix Yan via arch-commits

Date: Wednesday, May 4, 2022 @ 12:13:56 Author: felixonmars Revision: 1193545 upgpkg: haskell-tamarin-prover-utils 1.6.1-41: rebuild with hspec 2.9.6, hspec-core 2.9.6, hspec-discover 2.9.6 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-04-23 Thread Felix Yan via arch-commits

Date: Saturday, April 23, 2022 @ 20:51:28 Author: felixonmars Revision: 1188492 upgpkg: haskell-tamarin-prover-utils 1.6.1-40: rebuild with hashable 1.4.0.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-04-09 Thread Felix Yan via arch-commits

Date: Sunday, April 10, 2022 @ 00:41:15 Author: felixonmars Revision: 1183976 upgpkg: haskell-tamarin-prover-utils 1.6.1-39: rebuild with hspec 2.9.5, hspec-core 2.9.5, hspec-discover 2.9.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-03-31 Thread Felix Yan via arch-commits

Date: Friday, April 1, 2022 @ 04:32:12 Author: felixonmars Revision: 1178822 upgpkg: haskell-tamarin-prover-utils 1.6.1-38: 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-utils/trunk/PKGBUILD --+ PKGBUILD |

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

2022-03-23 Thread Felix Yan via arch-commits

Date: Thursday, March 24, 2022 @ 00:54:58 Author: felixonmars Revision: 1172893 upgpkg: haskell-tamarin-prover-utils 1.6.1-37: 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-utils/trunk/PKGBUILD --+ PKGBUILD

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

2022-03-21 Thread Felix Yan via arch-commits

Date: Monday, March 21, 2022 @ 17:43:14 Author: felixonmars Revision: 1167668 upgpkg: haskell-tamarin-prover-utils 1.6.1-36: 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-utils/trunk/PKGBUILD --+ PKGBUILD

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

2022-03-20 Thread Felix Yan via arch-commits

Date: Sunday, March 20, 2022 @ 17:37:01 Author: felixonmars Revision: 1164426 upgpkg: haskell-tamarin-prover-utils 1.6.1-35: rebuild with ghc-bignum-orphans 0.1.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-03-19 Thread Felix Yan via arch-commits

Date: Saturday, March 19, 2022 @ 15:01:26 Author: felixonmars Revision: 1161215 upgpkg: haskell-tamarin-prover-utils 1.6.1-34: rebuild with base-compat 0.12.1, base-compat-batteries 0.12.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-03-18 Thread Felix Yan via arch-commits

Date: Friday, March 18, 2022 @ 04:10:11 Author: felixonmars Revision: 1158271 upgpkg: haskell-tamarin-prover-utils 1.6.1-33: rebuild with clock 0.8.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-03-14 Thread Felix Yan via arch-commits

Date: Monday, March 14, 2022 @ 10:04:58 Author: felixonmars Revision: 1152209 upgpkg: haskell-tamarin-prover-utils 1.6.1-32: rebuild with hspec 2.9.1, hspec-core 2.9.1, hspec-discover 2.9.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-03-10 Thread Felix Yan via arch-commits

Date: Friday, March 11, 2022 @ 07:40:00 Author: felixonmars Revision: 1147913 upgpkg: haskell-tamarin-prover-utils 1.6.1-31: rebuild with ansi-terminal 0.11.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-03-07 Thread Felix Yan via arch-commits

Date: Monday, March 7, 2022 @ 19:42:35 Author: felixonmars Revision: 1144889 upgpkg: haskell-tamarin-prover-utils 1.6.1-30: rebuild with doctest 0.19.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-03-03 Thread Felix Yan via arch-commits

Date: Thursday, March 3, 2022 @ 19:05:10 Author: felixonmars Revision: 1141026 upgpkg: haskell-tamarin-prover-utils 1.6.1-29: rebuild with hspec 2.9.0, hspec-core 2.9.0, hspec-discover 2.9.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-02-19 Thread Felix Yan via arch-commits

Date: Saturday, February 19, 2022 @ 15:59:43 Author: felixonmars Revision: 1134935 upgpkg: haskell-tamarin-prover-utils 1.6.1-28: rebuild with hashable 1.4.0.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-02-07 Thread Felix Yan via arch-commits

Date: Monday, February 7, 2022 @ 16:41:28 Author: felixonmars Revision: 1128295 upgpkg: haskell-tamarin-prover-utils 1.6.1-27: rebuild with base-compat 0.12.0, base-compat-batteries 0.12.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-02-02 Thread Felix Yan via arch-commits

Date: Wednesday, February 2, 2022 @ 19:16:15 Author: felixonmars Revision: 1123098 upgpkg: haskell-tamarin-prover-utils 1.6.1-26: rebuild with base-orphans 0.8.6 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-01-27 Thread Felix Yan via arch-commits

Date: Thursday, January 27, 2022 @ 22:20:18 Author: felixonmars Revision: 1117912 upgpkg: haskell-tamarin-prover-utils 1.6.1-25: rebuild with async 2.2.4 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-01-24 Thread Felix Yan via arch-commits

Date: Tuesday, January 25, 2022 @ 05:11:02 Author: felixonmars Revision: 1115013 upgpkg: haskell-tamarin-prover-utils 1.6.1-24: rebuild with hspec 2.8.5, hspec-core 2.8.5, hspec-discover 2.8.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-01-17 Thread Felix Yan via arch-commits

Date: Monday, January 17, 2022 @ 23:41:06 Author: felixonmars Revision: 1108424 upgpkg: haskell-tamarin-prover-utils 1.6.1-23: rebuild with hashable 1.3.5.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2022-01-11 Thread Felix Yan via arch-commits

Date: Tuesday, January 11, 2022 @ 18:23:14 Author: felixonmars Revision: 1100718 upgpkg: haskell-tamarin-prover-utils 1.6.1-22: rebuild with ghc 9.0.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2022-01-07 Thread Felix Yan via arch-commits

Date: Friday, January 7, 2022 @ 22:31:33 Author: felixonmars Revision: 1096461 upgpkg: haskell-tamarin-prover-utils 1.6.1-21: rebuild with hspec 2.8.4, hspec-core 2.8.4, hspec-discover 2.8.4 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2022-01-05 Thread Felix Yan via arch-commits

Date: Thursday, January 6, 2022 @ 00:07:56 Author: felixonmars Revision: 1093866 upgpkg: haskell-tamarin-prover-utils 1.6.1-20: rebuild with primitive 0.7.3.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-12-30 Thread Felix Yan via arch-commits

Date: Friday, December 31, 2021 @ 06:16:57 Author: felixonmars Revision: 1089583 upgpkg: haskell-tamarin-prover-utils 1.6.1-19: rebuild with logging-facade 0.3.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-12-27 Thread Felix Yan via arch-commits

Date: Tuesday, December 28, 2021 @ 00:25:15 Author: felixonmars Revision: 1084598 upgpkg: haskell-tamarin-prover-utils 1.6.1-18: rebuild with tasty 1.4.2.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-12-20 Thread Felix Yan via arch-commits

Date: Monday, December 20, 2021 @ 20:18:13 Author: felixonmars Revision: 1080747 upgpkg: haskell-tamarin-prover-utils 1.6.1-17: rebuild with silently 1.2.5.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-12-18 Thread Felix Yan via arch-commits

Date: Saturday, December 18, 2021 @ 16:59:25 Author: felixonmars Revision: 1077300 upgpkg: haskell-tamarin-prover-utils 1.6.1-16: rebuild with tasty-quickcheck 0.10.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2021-12-15 Thread Felix Yan via arch-commits

Date: Thursday, December 16, 2021 @ 03:12:39 Author: felixonmars Revision: 1073642 upgpkg: haskell-tamarin-prover-utils 1.6.1-15: rebuild with hashable 1.3.4.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-11-28 Thread Felix Yan via arch-commits

Date: Sunday, November 28, 2021 @ 23:24:24 Author: felixonmars Revision: 1055832 upgpkg: haskell-tamarin-prover-utils 1.6.1-14: rebuild with regex-base 0.94.0.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-11-17 Thread Felix Yan via arch-commits

Date: Thursday, November 18, 2021 @ 03:49:50 Author: felixonmars Revision: 1051810 upgpkg: haskell-tamarin-prover-utils 1.6.1-13: rebuild with hashable 1.3.4.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-11-16 Thread Felix Yan via arch-commits

Date: Wednesday, November 17, 2021 @ 03:32:51 Author: felixonmars Revision: 1049414 upgpkg: haskell-tamarin-prover-utils 1.6.1-12: rebuild with splitmix 0.1.0.4 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-11-13 Thread Felix Yan via arch-commits

Date: Saturday, November 13, 2021 @ 15:06:43 Author: felixonmars Revision: 1045431 upgpkg: haskell-tamarin-prover-utils 1.6.1-11: rebuild with vector-th-unbox 0.2.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-11-11 Thread Felix Yan via arch-commits

Date: Friday, November 12, 2021 @ 02:16:22 Author: felixonmars Revision: 1042904 upgpkg: haskell-tamarin-prover-utils 1.6.1-10: rebuild with doctest 0.18.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-11-10 Thread Felix Yan via arch-commits

Date: Wednesday, November 10, 2021 @ 19:51:04 Author: felixonmars Revision: 1040186 upgpkg: haskell-tamarin-prover-utils 1.6.1-9: rebuild with transformers-compat 0.7.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

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

2021-11-06 Thread Felix Yan via arch-commits

Date: Sunday, November 7, 2021 @ 00:04:36 Author: felixonmars Revision: 1037943 upgpkg: haskell-tamarin-prover-utils 1.6.1-8: rebuild with blaze-builder 0.4.2.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-10-26 Thread Felix Yan via arch-commits

Date: Tuesday, October 26, 2021 @ 18:31:14 Author: felixonmars Revision: 1034272 upgpkg: haskell-tamarin-prover-utils 1.6.1-7: rebuild with base-orphans 0.8.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-09-24 Thread Felix Yan via arch-commits

Date: Friday, September 24, 2021 @ 07:14:17 Author: felixonmars Revision: 1023420 upgpkg: haskell-tamarin-prover-utils 1.6.1-6: rebuild with vector 0.12.3.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2

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

2021-09-21 Thread Felix Yan via arch-commits

Date: Tuesday, September 21, 2021 @ 18:58:36 Author: felixonmars Revision: 1020688 upgpkg: haskell-tamarin-prover-utils 1.6.1-5: rebuild with random 1.2.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-09-19 Thread Felix Yan via arch-commits

Date: Sunday, September 19, 2021 @ 23:08:28 Author: felixonmars Revision: 1017879 upgpkg: haskell-tamarin-prover-utils 1.6.1-4: rebuild with unliftio 0.2.20 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-08-28 Thread Felix Yan via arch-commits

Date: Sunday, August 29, 2021 @ 00:52:23 Author: felixonmars Revision: 1008286 upgpkg: haskell-tamarin-prover-utils 1.6.1-3: rebuild with hashable 1.3.3.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-08-25 Thread Felix Yan via arch-commits

Date: Thursday, August 26, 2021 @ 04:18:19 Author: felixonmars Revision: 1005447 upgpkg: haskell-tamarin-prover-utils 1.6.1-2: rebuild with tasty 1.4.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-08-23 Thread Felix Yan via arch-commits

Date: Monday, August 23, 2021 @ 20:41:59 Author: felixonmars Revision: 1004463 upgpkg: haskell-tamarin-prover-utils 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:

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

2021-08-17 Thread Felix Yan via arch-commits

Date: Tuesday, August 17, 2021 @ 15:35:02 Author: felixonmars Revision: 1001889 upgpkg: haskell-tamarin-prover-utils 1.6.0-85: rebuild with mwc-random 0.15.0.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-08-15 Thread Felix Yan via arch-commits

Date: Sunday, August 15, 2021 @ 20:40:32 Author: felixonmars Revision: 999282 upgpkg: haskell-tamarin-prover-utils 1.6.0-84: rebuild with hspec 2.8.3, hspec-core 2.8.3, hspec-discover 2.8.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2021-08-13 Thread Felix Yan via arch-commits

Date: Friday, August 13, 2021 @ 14:36:49 Author: felixonmars Revision: 998040 upgpkg: haskell-tamarin-prover-utils 1.6.0-83: rebuild with base64-bytestring 1.2.1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-08-08 Thread Felix Yan via arch-commits

Date: Sunday, August 8, 2021 @ 18:29:12 Author: felixonmars Revision: 995464 upgpkg: haskell-tamarin-prover-utils 1.6.0-82: rebuild with primitive 0.7.2.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-07-26 Thread Felix Yan via arch-commits

Date: Monday, July 26, 2021 @ 22:49:18 Author: felixonmars Revision: 986135 upgpkg: haskell-tamarin-prover-utils 1.6.0-81: rebuild with transformers-compat 0.7 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-07-21 Thread Felix Yan via arch-commits

Date: Wednesday, July 21, 2021 @ 17:35:40 Author: felixonmars Revision: 982473 upgpkg: haskell-tamarin-prover-utils 1.6.0-80: rebuild with unliftio 0.2.19 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-07-20 Thread Felix Yan via arch-commits

Date: Tuesday, July 20, 2021 @ 13:31:42 Author: felixonmars Revision: 980028 upgpkg: haskell-tamarin-prover-utils 1.6.0-79: rebuild with regex-posix 0.96.0.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-07-06 Thread Felix Yan via arch-commits

Date: Tuesday, July 6, 2021 @ 17:30:37 Author: felixonmars Revision: 973630 upgpkg: haskell-tamarin-prover-utils 1.6.0-78: rebuild with colour 2.3.6 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-07-01 Thread Felix Yan via arch-commits

Date: Friday, July 2, 2021 @ 01:49:53 Author: felixonmars Revision: 970100 upgpkg: haskell-tamarin-prover-utils 1.6.0-77: rebuild with call-stack 0.4.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-06-22 Thread Felix Yan via arch-commits

Date: Wednesday, June 23, 2021 @ 01:48:47 Author: felixonmars Revision: 966974 upgpkg: haskell-tamarin-prover-utils 1.6.0-76: rebuild with ghc 9.0.1, ghc-lib-parser-ex 9.0.0.4, hlint 3.3.1, one-liner 2.0, path 0.9.0, retrie 1.0.0.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD

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

2021-06-09 Thread Felix Yan via arch-commits

Date: Thursday, June 10, 2021 @ 03:10:34 Author: felixonmars Revision: 961033 upgpkg: haskell-tamarin-prover-utils 1.6.0-75: rebuild with unliftio 0.2.18 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-06-07 Thread Felix Yan via arch-commits

Date: Monday, June 7, 2021 @ 10:36:00 Author: felixonmars Revision: 957342 upgpkg: haskell-tamarin-prover-utils 1.6.0-74: rebuild with ghc 8.10.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-06-02 Thread Felix Yan via arch-commits

Date: Thursday, June 3, 2021 @ 00:49:45 Author: felixonmars Revision: 953949 upgpkg: haskell-tamarin-prover-utils 1.6.0-73: rebuild with unliftio 0.2.17 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-05-30 Thread Felix Yan via arch-commits

Date: Monday, May 31, 2021 @ 01:18:27 Author: felixonmars Revision: 951270 upgpkg: haskell-tamarin-prover-utils 1.6.0-72: rebuild with unliftio 0.2.16 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-05-27 Thread Felix Yan via arch-commits

Date: Thursday, May 27, 2021 @ 21:57:44 Author: felixonmars Revision: 949200 upgpkg: haskell-tamarin-prover-utils 1.6.0-71: rebuild with fclabels 2.0.5.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-05-26 Thread Felix Yan via arch-commits

Date: Wednesday, May 26, 2021 @ 22:50:56 Author: felixonmars Revision: 947266 upgpkg: haskell-tamarin-prover-utils 1.6.0-70: rebuild with hspec 2.8.2, hspec-core 2.8.2, hspec-discover 2.8.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2021-05-20 Thread Felix Yan via arch-commits

Date: Friday, May 21, 2021 @ 04:35:10 Author: felixonmars Revision: 940162 upgpkg: haskell-tamarin-prover-utils 1.6.0-69: rebuild with hashable 1.3.2.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-05-19 Thread Felix Yan via arch-commits

Date: Wednesday, May 19, 2021 @ 21:54:42 Author: felixonmars Revision: 936990 upgpkg: haskell-tamarin-prover-utils 1.6.0-68: rebuild with hspec 2.8.1, hspec-core 2.8.1, hspec-discover 2.8.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2021-05-13 Thread Felix Yan via arch-commits

Date: Thursday, May 13, 2021 @ 17:33:44 Author: felixonmars Revision: 933373 upgpkg: haskell-tamarin-prover-utils 1.6.0-67: rebuild with hspec 2.8.0, hspec-core 2.8.0, hspec-discover 2.8.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2021-05-11 Thread Felix Yan via arch-commits

Date: Wednesday, May 12, 2021 @ 00:44:29 Author: felixonmars Revision: 931113 upgpkg: haskell-tamarin-prover-utils 1.6.0-66: rebuild with unliftio 0.2.15 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-04-22 Thread Felix Yan via arch-commits

Date: Thursday, April 22, 2021 @ 17:05:34 Author: felixonmars Revision: 921296 upgpkg: haskell-tamarin-prover-utils 1.6.0-65: rebuild with hspec 2.7.10, hspec-core 2.7.10, hspec-discover 2.7.10 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1

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

2021-04-13 Thread Felix Yan via arch-commits

Date: Tuesday, April 13, 2021 @ 08:38:06 Author: felixonmars Revision: 916757 upgpkg: haskell-tamarin-prover-utils 1.6.0-64: rebuild with quickcheck-classes-base 0.6.2.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

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

2021-04-07 Thread Felix Yan via arch-commits

Date: Wednesday, April 7, 2021 @ 23:37:35 Author: felixonmars Revision: 913055 upgpkg: haskell-tamarin-prover-utils 1.6.0-63: rebuild with vector 0.12.3.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-03-29 Thread Felix Yan via arch-commits

Date: Monday, March 29, 2021 @ 06:25:44 Author: felixonmars Revision: 908567 upgpkg: haskell-tamarin-prover-utils 1.6.0-62: rebuild with math-functions 0.3.4.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-03-28 Thread Felix Yan via arch-commits

Date: Sunday, March 28, 2021 @ 03:31:07 Author: felixonmars Revision: 906133 upgpkg: haskell-tamarin-prover-utils 1.6.0-61: rebuild with tasty 1.4.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-03-25 Thread Felix Yan via arch-commits

Date: Thursday, March 25, 2021 @ 15:54:45 Author: felixonmars Revision: 903186 upgpkg: haskell-tamarin-prover-utils 1.6.0-60: rebuild with tasty 1.4.0.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-03-22 Thread Felix Yan via arch-commits

Date: Tuesday, March 23, 2021 @ 02:59:20 Author: felixonmars Revision: 899736 upgpkg: haskell-tamarin-prover-utils 1.6.0-59: rebuild with hspec 2.7.9, hspec-core 2.7.9, hspec-discover 2.7.9 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2021-03-20 Thread Felix Yan via arch-commits

Date: Sunday, March 21, 2021 @ 04:33:50 Author: felixonmars Revision: 896827 upgpkg: haskell-tamarin-prover-utils 1.6.0-58: rebuild with tasty 1.4.0.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-03-16 Thread Felix Yan via arch-commits

Date: Tuesday, March 16, 2021 @ 21:05:39 Author: felixonmars Revision: 892294 upgpkg: haskell-tamarin-prover-utils 1.6.0-57: rebuild with doctest 0.18.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-03-11 Thread Felix Yan via arch-commits

Date: Friday, March 12, 2021 @ 03:15:10 Author: felixonmars Revision: 887949 upgpkg: haskell-tamarin-prover-utils 1.6.0-56: rebuild with tasty 1.4.0.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-03-06 Thread Felix Yan via arch-commits

Date: Sunday, March 7, 2021 @ 03:39:56 Author: felixonmars Revision: 885302 upgpkg: haskell-tamarin-prover-utils 1.6.0-55: rebuild with vector-th-unbox 0.2.1.9 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-03-05 Thread Felix Yan via arch-commits

Date: Friday, March 5, 2021 @ 23:28:46 Author: felixonmars Revision: 882748 upgpkg: haskell-tamarin-prover-utils 1.6.0-54: rebuild with hspec 2.7.8, hspec-core 2.7.8, hspec-discover 2.7.8 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2021-03-03 Thread Felix Yan via arch-commits

Date: Wednesday, March 3, 2021 @ 22:46:03 Author: felixonmars Revision: 879666 upgpkg: haskell-tamarin-prover-utils 1.6.0-53: rebuild with tasty 1.4, tasty-silver 3.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2021-03-01 Thread Felix Yan via arch-commits

Date: Monday, March 1, 2021 @ 20:20:39 Author: felixonmars Revision: 876759 upgpkg: haskell-tamarin-prover-utils 1.6.0-52: rebuild with vector-th-unbox 0.2.1.8 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-02-24 Thread Felix Yan via arch-commits

Date: Thursday, February 25, 2021 @ 03:03:55 Author: felixonmars Revision: 872636 upgpkg: haskell-tamarin-prover-utils 1.6.0-51: rebuild with regex-base 0.94.0.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-02-22 Thread Felix Yan via arch-commits

Date: Monday, February 22, 2021 @ 21:32:13 Author: felixonmars Revision: 869020 upgpkg: haskell-tamarin-prover-utils 1.6.0-50: rebuild with hashable 1.3.1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-02-17 Thread Felix Yan via arch-commits

Date: Thursday, February 18, 2021 @ 01:22:25 Author: felixonmars Revision: 863263 upgpkg: haskell-tamarin-prover-utils 1.6.0-49: rebuild with async 2.2.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-02-15 Thread Felix Yan via arch-commits

Date: Monday, February 15, 2021 @ 09:45:46 Author: felixonmars Revision: 860893 upgpkg: haskell-tamarin-prover-utils 1.6.0-48: rebuild with doctest 0.18 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2021-02-12 Thread Felix Yan via arch-commits

Date: Saturday, February 13, 2021 @ 03:18:22 Author: felixonmars Revision: 857654 upgpkg: haskell-tamarin-prover-utils 1.6.0-47: rebuild with logict 0.7.1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2021-02-10 Thread Felix Yan via arch-commits

Date: Thursday, February 11, 2021 @ 04:14:53 Author: felixonmars Revision: 855293 upgpkg: haskell-tamarin-prover-utils 1.6.0-46: rebuild with hspec-meta 2.7.8 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

1 2 >

1 - 100 of 119 matches

Mail list logo