Date: Saturday, September 10, 2022 @ 15:54:39
Author: felixonmars
Revision: 1299554
upgpkg: agda 2.6.2.2-24: rebuild with generic-deriving 1.14.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, September 9, 2022 @ 22:55:37
Author: felixonmars
Revision: 1297931
upgpkg: agda 2.6.2.2-23: rebuild with hedgehog 1.1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, September 8, 2022 @ 09:47:48
Author: felixonmars
Revision: 1296433
upgpkg: agda 2.6.2.2-22: rebuild with extra 1.7.12
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, September 6, 2022 @ 19:25:23
Author: felixonmars
Revision: 1294670
upgpkg: agda 2.6.2.2-21: rebuild with hspec 2.10.0, hspec-core 2.10.0,
hspec-discover 2.10.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Saturday, September 3, 2022 @ 10:02:09
Author: felixonmars
Revision: 1291467
upgpkg: agda 2.6.2.2-20: rebuild with tasty-hedgehog 1.3.0.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, August 31, 2022 @ 20:19:45
Author: felixonmars
Revision: 1289346
upgpkg: agda 2.6.2.2-19: rebuild with th-compat 0.1.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, August 30, 2022 @ 00:12:42
Author: felixonmars
Revision: 1287140
upgpkg: agda 2.6.2.2-18: rebuild with base-compat 0.12.2, base-compat-batteries
0.12.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Monday, August 29, 2022 @ 14:35:17
Author: felixonmars
Revision: 1285260
upgpkg: agda 2.6.2.2-17: rebuild with regex-tdfa 1.3.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, August 26, 2022 @ 16:51:40
Author: felixonmars
Revision: 1283223
upgpkg: agda 2.6.2.2-16: rebuild with silently 1.2.5.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, August 26, 2022 @ 07:18:15
Author: felixonmars
Revision: 1280984
upgpkg: agda 2.6.2.2-15: rebuild with extra 1.7.11
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, August 25, 2022 @ 18:39:41
Author: felixonmars
Revision: 1279894
upgpkg: agda 2.6.2.2-14: rebuild with quickcheck-instances 0.3.28
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 25, 2022 @ 00:16:39
Author: felixonmars
Revision: 1278120
upgpkg: agda 2.6.2.2-13: rebuild with hashable 1.4.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Sunday, August 21, 2022 @ 17:22:44
Author: felixonmars
Revision: 1273056
upgpkg: agda 2.6.2.2-12: rebuild with split 0.2.3.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 21, 2022 @ 07:15:24
Author: felixonmars
Revision: 1271596
upgpkg: agda 2.6.2.2-11: rebuild with ChasingBottoms 1.3.1.12
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, August 19, 2022 @ 07:52:52
Author: felixonmars
Revision: 1269561
upgpkg: agda 2.6.2.2-10: rebuild with base-orphans 0.8.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Thursday, August 18, 2022 @ 12:59:17
Author: felixonmars
Revision: 1267310
upgpkg: agda 2.6.2.2-9: rebuild with lifted-async 0.10.2.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, August 16, 2022 @ 09:25:07
Author: felixonmars
Revision: 1266614
upgpkg: agda 2.6.2.2-8: rebuild with equivalence 0.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 12, 2022 @ 17:48:37
Author: felixonmars
Revision: 1265615
upgpkg: agda 2.6.2.2-7: rebuild with regex-tdfa 1.3.1.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, August 9, 2022 @ 17:13:03
Author: felixonmars
Revision: 1264098
upgpkg: agda 2.6.2.2-6: rebuild with th-abstraction 0.4.4.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 8, 2022 @ 19:07:01
Author: felixonmars
Revision: 1262044
upgpkg: agda 2.6.2.2-5: rebuild with tasty 1.4.2.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, July 31, 2022 @ 18:45:33
Author: felixonmars
Revision: 1259425
upgpkg: agda 2.6.2.2-4: rebuild with regex-tdfa 1.3.1.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Monday, July 25, 2022 @ 10:34:05
Author: felixonmars
Revision: 1257436
upgpkg: agda 2.6.2.2-3: rebuild with inspection-testing 0.5,
tasty-inspection-testing 0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Saturday, July 23, 2022 @ 07:36:10
Author: felixonmars
Revision: 1255505
upgpkg: agda 2.6.2.2-2: rebuild with hashtables 1.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, July 23, 2022 @ 05:13:57
Author: felixonmars
Revision: 1255371
upgpkg: agda 2.6.2.2-1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |9 -
1 file changed, 4 insertions(+), 5 deletions(-)
Modified: PKGBUILD
Date: Tuesday, July 19, 2022 @ 09:53:35
Author: felixonmars
Revision: 1254574
upgpkg: agda 2.6.2.1-4: rebuild with regex-tdfa 1.3.1.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Saturday, July 16, 2022 @ 03:34:31
Author: felixonmars
Revision: 1253415
upgpkg: agda 2.6.2.1-3: rebuild with constraints 0.13.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, July 12, 2022 @ 20:13:23
Author: felixonmars
Revision: 1251266
upgpkg: agda 2.6.2.1-2: rebuild with tasty 1.4.2.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, July 7, 2022 @ 22:16:55
Author: felixonmars
Revision: 1248367
upgpkg: agda 2.6.2.1-1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |8
1 file changed, 4 insertions(+), 4 deletions(-)
Modified: PKGBUILD
==
Date: Wednesday, July 6, 2022 @ 23:25:03
Author: felixonmars
Revision: 1247152
upgpkg: agda 2.6.2-103: rebuild with resourcet 1.2.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, July 5, 2022 @ 20:25:14
Author: felixonmars
Revision: 1245534
upgpkg: agda 2.6.2-102: rebuild with ansi-terminal 0.11.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, June 29, 2022 @ 22:59:46
Author: felixonmars
Revision: 1241742
upgpkg: agda 2.6.2-101: rebuild with transformers-compat 0.7.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 11, 2022 @ 23:41:56
Author: felixonmars
Revision: 1235722
upgpkg: agda 2.6.2-100: rebuild with inspection-testing 0.4.6.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 11, 2022 @ 12:59:39
Author: felixonmars
Revision: 1233458
upgpkg: agda 2.6.2-99: rebuild with typed-process 0.2.10.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, June 10, 2022 @ 22:24:19
Author: felixonmars
Revision: 1231758
upgpkg: agda 2.6.2-98: rebuild with ansi-terminal 0.11.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, June 9, 2022 @ 20:38:04
Author: felixonmars
Revision: 1229799
upgpkg: agda 2.6.2-97: rebuild with unix-compat 0.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, June 7, 2022 @ 06:12:22
Author: felixonmars
Revision: 1227534
upgpkg: agda 2.6.2-96: rebuild with concurrent-output 1.10.16
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, June 6, 2022 @ 10:47:44
Author: felixonmars
Revision: 1225862
upgpkg: agda 2.6.2-95: rebuild with typed-process 0.2.10.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, June 5, 2022 @ 19:28:54
Author: felixonmars
Revision: 1224135
upgpkg: agda 2.6.2-94: rebuild with hspec 2.9.7, hspec-core 2.9.7,
hspec-discover 2.9.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKG
Date: Saturday, June 4, 2022 @ 16:13:06
Author: felixonmars
Revision: 1221893
upgpkg: agda 2.6.2-93: rebuild with typed-process 0.2.9.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, June 3, 2022 @ 10:24:34
Author: felixonmars
Revision: 1220189
upgpkg: agda 2.6.2-92: rebuild with primitive 0.7.4.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, May 30, 2022 @ 11:22:15
Author: felixonmars
Revision: 1216041
upgpkg: agda 2.6.2-91: rebuild with tasty-inspection-testing 0.1.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, May 29, 2022 @ 04:54:17
Author: felixonmars
Revision: 1213821
upgpkg: agda 2.6.2-90: rebuild with equivalence 0.4.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Saturday, May 28, 2022 @ 16:51:41
Author: felixonmars
Revision: 1212349
upgpkg: agda 2.6.2-89: rebuild with doctest 0.20.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Wednesday, May 18, 2022 @ 13:52:10
Author: felixonmars
Revision: 1208210
upgpkg: agda 2.6.2-88: rebuild with resourcet 1.2.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 15, 2022 @ 01:56:33
Author: felixonmars
Revision: 1205710
upgpkg: agda 2.6.2-87: rebuild with hashable 1.4.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, May 14, 2022 @ 14:30:11
Author: felixonmars
Revision: 1204862
upgpkg: agda 2.6.2-86: rebuild with hashable 1.4.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 13, 2022 @ 14:49:50
Author: felixonmars
Revision: 1202080
upgpkg: agda 2.6.2-85: rebuild with random 1.2.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 13, 2022 @ 10:26:10
Author: felixonmars
Revision: 1201416
upgpkg: agda 2.6.2-84: rebuild with random 1.2.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 12, 2022 @ 09:08:57
Author: felixonmars
Revision: 1198647
upgpkg: agda 2.6.2-83: rebuild with unordered-containers 0.2.19.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, May 10, 2022 @ 12:57:37
Author: felixonmars
Revision: 1197841
upgpkg: agda 2.6.2-82: rebuild with zlib 0.6.3.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, May 10, 2022 @ 07:54:51
Author: felixonmars
Revision: 1196987
upgpkg: agda 2.6.2-81: rebuild with bifunctors 5.5.12
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, April 23, 2022 @ 22:30:27
Author: felixonmars
Revision: 1188976
upgpkg: agda 2.6.2-79: rebuild with hashable 1.4.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, April 10, 2022 @ 11:29:35
Author: felixonmars
Revision: 1184450
upgpkg: agda 2.6.2-78: rebuild with hspec 2.9.5, hspec-core 2.9.5,
hspec-discover 2.9.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: P
Date: Wednesday, April 6, 2022 @ 21:00:51
Author: felixonmars
Revision: 1181891
upgpkg: agda 2.6.2-77: rebuild with unordered-containers 0.2.18.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, April 1, 2022 @ 06:06:05
Author: felixonmars
Revision: 1179285
upgpkg: agda 2.6.2-76: rebuild with hspec 2.9.4, hspec-core 2.9.4,
hspec-discover 2.9.4, hspec-meta 2.9.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletio
Date: Thursday, March 24, 2022 @ 20:11:34
Author: felixonmars
Revision: 1175166
upgpkg: agda 2.6.2-75: rebuild with quickcheck-instances 0.3.27
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Thursday, March 24, 2022 @ 02:24:30
Author: felixonmars
Revision: 1173416
upgpkg: agda 2.6.2-74: rebuild with hspec 2.9.3, hspec-core 2.9.3,
hspec-discover 2.9.3, hspec-meta 2.9.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 dele
Date: Sunday, March 20, 2022 @ 19:01:29
Author: felixonmars
Revision: 1164959
upgpkg: agda 2.6.2-72: rebuild with ghc-bignum-orphans 0.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 19, 2022 @ 16:15:36
Author: felixonmars
Revision: 1161661
upgpkg: agda 2.6.2-71: rebuild with base-compat 0.12.1, base-compat-batteries
0.12.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PK
Date: Friday, March 18, 2022 @ 17:25:55
Author: felixonmars
Revision: 1158735
upgpkg: agda 2.6.2-70: rebuild with clock 0.8.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, March 15, 2022 @ 10:50:40
Author: felixonmars
Revision: 1154171
upgpkg: agda 2.6.2-69: rebuild with unordered-containers 0.2.17.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Monday, March 14, 2022 @ 13:04:25
Author: felixonmars
Revision: 1152681
upgpkg: agda 2.6.2-68: rebuild with hspec 2.9.1, hspec-core 2.9.1,
hspec-discover 2.9.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: P
Date: Friday, March 11, 2022 @ 12:55:17
Author: felixonmars
Revision: 1148256
upgpkg: agda 2.6.2-67: rebuild with ansi-terminal 0.11.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, March 8, 2022 @ 08:22:02
Author: felixonmars
Revision: 1145401
upgpkg: agda 2.6.2-66: rebuild with doctest 0.19.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, March 3, 2022 @ 23:49:23
Author: felixonmars
Revision: 1141469
upgpkg: agda 2.6.2-65: rebuild with hspec 2.9.0, hspec-core 2.9.0,
hspec-discover 2.9.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Monday, February 28, 2022 @ 08:04:23
Author: felixonmars
Revision: 1138217
upgpkg: agda 2.6.2-64: rebuild with regex-tdfa 1.3.1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, February 21, 2022 @ 00:12:26
Author: felixonmars
Revision: 1135504
upgpkg: agda 2.6.2-63: rebuild with hashable 1.4.0.0, quickcheck-instances
0.3.26.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified
Date: Saturday, February 12, 2022 @ 14:57:54
Author: felixonmars
Revision: 1132816
upgpkg: agda 2.6.2-62: rebuild against stable glibc 2.33
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, February 11, 2022 @ 04:17:20
Author: felixonmars
Revision: 1131704
upgpkg: agda 2.6.2-61: rebuild with unordered-containers 0.2.16.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, February 10, 2022 @ 20:17:22
Author: felixonmars
Revision: 1131364
upgpkg: agda 2.6.2-60: rebuild with equivalence 0.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===
Date: Wednesday, February 9, 2022 @ 23:47:21
Author: felixonmars
Revision: 1130509
upgpkg: agda 2.6.2-59: rebuild with attoparsec 0.14.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Monday, February 7, 2022 @ 22:49:02
Author: felixonmars
Revision: 1128849
upgpkg: agda 2.6.2-58: rebuild with base-compat 0.12.0, base-compat-batteries
0.12.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PK
Date: Friday, February 4, 2022 @ 20:59:10
Author: felixonmars
Revision: 1126010
upgpkg: agda 2.6.2-57: rebuild with quickcheck-instances 0.3.26
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, February 4, 2022 @ 00:07:12
Author: felixonmars
Revision: 1125035
upgpkg: agda 2.6.2-56: rebuild with Diff 0.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 2, 2022 @ 23:14:32
Author: felixonmars
Revision: 1123537
upgpkg: agda 2.6.2-55: rebuild with base-orphans 0.8.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, January 28, 2022 @ 18:54:51
Author: felixonmars
Revision: 1118429
upgpkg: agda 2.6.2-54: rebuild with async 2.2.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, January 25, 2022 @ 09:01:23
Author: felixonmars
Revision: 1115428
upgpkg: agda 2.6.2-53: rebuild with hspec 2.8.5, hspec-core 2.8.5,
hspec-discover 2.8.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Friday, January 21, 2022 @ 19:50:37
Author: felixonmars
Revision: 1112511
upgpkg: agda 2.6.2-52: rebuild with ChasingBottoms 1.3.1.11
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, January 18, 2022 @ 13:54:47
Author: felixonmars
Revision: 1108891
upgpkg: agda 2.6.2-51: rebuild with hashable 1.3.5.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Sunday, January 16, 2022 @ 22:31:10
Author: felixonmars
Revision: 1106579
upgpkg: agda 2.6.2-50: rebuild with attoparsec 0.14.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Saturday, January 15, 2022 @ 15:08:10
Author: felixonmars
Revision: 1104248
upgpkg: agda 2.6.2-49: rebuild with tasty-golden 2.3.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, January 14, 2022 @ 14:15:55
Author: felixonmars
Revision: 1103254
upgpkg: agda 2.6.2-48: rebuild with unix-compat 0.5.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, January 11, 2022 @ 23:01:33
Author: felixonmars
Revision: 1101227
upgpkg: agda 2.6.2-47: rebuild with ghc 9.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, January 10, 2022 @ 16:26:59
Author: felixonmars
Revision: 1099403
add an upstream bug link
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |1 +
1 file changed, 1 insertion(+)
Modified: PKGBUILD
===
--
Date: Sunday, January 9, 2022 @ 21:52:40
Author: felixonmars
Revision: 1098623
upgpkg: agda 2.6.2-46: rebuild with base16-bytestring 1.0.2.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, January 8, 2022 @ 02:29:16
Author: felixonmars
Revision: 1096893
upgpkg: agda 2.6.2-45: rebuild with hspec 2.8.4, hspec-core 2.8.4,
hspec-discover 2.8.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Thursday, January 6, 2022 @ 04:29:47
Author: felixonmars
Revision: 1094341
upgpkg: agda 2.6.2-44: rebuild with primitive 0.7.3.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 31, 2021 @ 10:31:11
Author: felixonmars
Revision: 1090003
upgpkg: agda 2.6.2-43: rebuild with logging-facade 0.3.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Wednesday, December 29, 2021 @ 11:56:00
Author: felixonmars
Revision: 1087014
upgpkg: agda 2.6.2-42: rebuild with unordered-containers 0.2.15.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, December 28, 2021 @ 05:20:05
Author: felixonmars
Revision: 1085117
upgpkg: agda 2.6.2-41: rebuild with tasty 1.4.2.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, December 21, 2021 @ 01:29:34
Author: felixonmars
Revision: 1081307
upgpkg: agda 2.6.2-40: rebuild with silently 1.2.5.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, December 20, 2021 @ 03:00:28
Author: felixonmars
Revision: 1079332
upgpkg: agda 2.6.2-39: rebuild with attoparsec 0.14.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, December 18, 2021 @ 21:47:55
Author: felixonmars
Revision: 1077819
upgpkg: agda 2.6.2-38: rebuild with tasty-quickcheck 0.10.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 16, 2021 @ 08:32:38
Author: felixonmars
Revision: 1074048
upgpkg: agda 2.6.2-37: rebuild with hashable 1.3.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, December 13, 2021 @ 13:38:19
Author: felixonmars
Revision: 1071685
upgpkg: agda 2.6.2-36: rebuild with indexed-traversable 0.1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, November 29, 2021 @ 03:32:45
Author: felixonmars
Revision: 1056284
upgpkg: agda 2.6.2-35: rebuild with regex-base 0.94.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, November 18, 2021 @ 14:15:57
Author: felixonmars
Revision: 1052324
upgpkg: agda 2.6.2-34: rebuild with hashable 1.3.4.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, November 17, 2021 @ 10:56:29
Author: felixonmars
Revision: 1049830
upgpkg: agda 2.6.2-33: rebuild with splitmix 0.1.0.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, November 13, 2021 @ 19:24:22
Author: felixonmars
Revision: 1045922
upgpkg: agda 2.6.2-32: rebuild with vector-th-unbox 0.2.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, November 12, 2021 @ 08:25:47
Author: felixonmars
Revision: 1043371
upgpkg: agda 2.6.2-31: rebuild with doctest 0.18.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
1 - 100 of 206 matches
Mail list logo