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(+),
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(-)
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
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
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
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(-)
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(+),
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
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
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
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
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
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
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
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
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(
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
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(-)
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(
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
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
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
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(
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
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
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
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
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(-)
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(+),
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
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(-)
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
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(-)
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
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(+),
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
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(-
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
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(+)
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 |
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(+),
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 |
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 |
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
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
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
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(+),
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
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
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(-)
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
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
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(+
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
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
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(+),
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
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
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(-)
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
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
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(
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(
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
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(
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
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
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
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
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
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
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(-)
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
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
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
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
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
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
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
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
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
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(-)
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(+),
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
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
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
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
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(-
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(-
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
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
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
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(-)
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
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
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
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
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
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(-)
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 - 100 of 173 matches
Mail list logo