Date: Saturday, September 10, 2022 @ 16:12:51
Author: felixonmars
Revision: 1299687
upgpkg: idris 1.3.4-31: rebuild with generic-deriving 1.14.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Saturday, September 10, 2022 @ 02:40:32
Author: felixonmars
Revision: 1298031
upgpkg: idris 1.3.4-30: rebuild with hedgehog 1.1.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, September 9, 2022 @ 17:55:21
Author: felixonmars
Revision: 1297327
upgpkg: idris 1.3.4-29: rebuild with megaparsec 9.2.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, September 9, 2022 @ 09:37:21
Author: felixonmars
Revision: 1297081
upgpkg: idris 1.3.4-28: rebuild with unix-time 0.4.8
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 8, 2022 @ 11:47:18
Author: felixonmars
Revision: 1296559
upgpkg: idris 1.3.4-27: rebuild with extra 1.7.12
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, September 6, 2022 @ 19:54:42
Author: felixonmars
Revision: 1294794
upgpkg: idris 1.3.4-26: rebuild with hspec 2.10.0, hspec-core 2.10.0,
hspec-discover 2.10.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Saturday, September 3, 2022 @ 11:07:48
Author: felixonmars
Revision: 1291639
upgpkg: idris 1.3.4-25: rebuild with tasty-hedgehog 1.3.0.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, September 2, 2022 @ 07:43:04
Author: felixonmars
Revision: 1290642
upgpkg: idris 1.3.4-24: rebuild with retry 0.9.3.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Wednesday, August 31, 2022 @ 20:41:44
Author: felixonmars
Revision: 1289442
upgpkg: idris 1.3.4-23: rebuild with th-compat 0.1.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, August 30, 2022 @ 00:42:21
Author: felixonmars
Revision: 1287304
upgpkg: idris 1.3.4-22: rebuild with base-compat 0.12.2, base-compat-batteries
0.12.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Monday, August 29, 2022 @ 14:33:53
Author: felixonmars
Revision: 1285258
upgpkg: idris 1.3.4-21: rebuild with regex-tdfa 1.3.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, August 26, 2022 @ 17:12:10
Author: felixonmars
Revision: 1283313
upgpkg: idris 1.3.4-20: rebuild with silently 1.2.5.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, August 26, 2022 @ 07:32:40
Author: felixonmars
Revision: 1281044
upgpkg: idris 1.3.4-19: rebuild with extra 1.7.11
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, August 25, 2022 @ 19:12:30
Author: felixonmars
Revision: 1280056
upgpkg: idris 1.3.4-18: rebuild with quickcheck-instances 0.3.28
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 25, 2022 @ 07:33:23
Author: felixonmars
Revision: 1278271
upgpkg: idris 1.3.4-17: rebuild with hashable 1.4.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, August 23, 2022 @ 11:30:56
Author: felixonmars
Revision: 1275142
upgpkg: idris 1.3.4-16: rebuild with basement 0.0.15, foundation 0.0.29
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Tuesday, August 23, 2022 @ 10:27:31
Author: felixonmars
Revision: 1274959
upgpkg: idris 1.3.4-15: rebuild with libffi 0.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
==
Date: Sunday, August 21, 2022 @ 17:50:47
Author: felixonmars
Revision: 1273192
upgpkg: idris 1.3.4-14: rebuild with split 0.2.3.5
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 21, 2022 @ 07:48:28
Author: felixonmars
Revision: 1271757
upgpkg: idris 1.3.4-13: rebuild with ChasingBottoms 1.3.1.12
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, August 19, 2022 @ 12:49:58
Author: felixonmars
Revision: 1270052
upgpkg: idris 1.3.4-12: rebuild with base-orphans 0.8.7
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, August 19, 2022 @ 08:42:36
Author: felixonmars
Revision: 1269666
upgpkg: idris 1.3.4-11: rebuild with base-orphans 0.8.7
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Thursday, August 18, 2022 @ 15:56:34
Author: felixonmars
Revision: 1267520
upgpkg: idris 1.3.4-10: rebuild with lifted-async 0.10.2.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, August 12, 2022 @ 17:39:18
Author: felixonmars
Revision: 1265599
upgpkg: idris 1.3.4-9: rebuild with regex-tdfa 1.3.1.5
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, August 9, 2022 @ 17:42:46
Author: felixonmars
Revision: 1264254
upgpkg: idris 1.3.4-8: rebuild with th-abstraction 0.4.4.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 8, 2022 @ 19:28:31
Author: felixonmars
Revision: 1262167
upgpkg: idris 1.3.4-7: rebuild with tasty 1.4.2.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Sunday, July 31, 2022 @ 18:34:09
Author: felixonmars
Revision: 1259401
upgpkg: idris 1.3.4-6: rebuild with regex-tdfa 1.3.1.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Monday, July 25, 2022 @ 10:57:13
Author: felixonmars
Revision: 1257572
upgpkg: idris 1.3.4-5: rebuild with inspection-testing 0.5,
tasty-inspection-testing 0.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Tuesday, July 19, 2022 @ 10:26:35
Author: felixonmars
Revision: 1254600
upgpkg: idris 1.3.4-4: rebuild with regex-tdfa 1.3.1.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Saturday, July 16, 2022 @ 04:17:37
Author: felixonmars
Revision: 1253629
upgpkg: idris 1.3.4-3: rebuild with constraints 0.13.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, July 12, 2022 @ 20:35:46
Author: felixonmars
Revision: 1251386
upgpkg: idris 1.3.4-2: rebuild with tasty 1.4.2.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Saturday, July 9, 2022 @ 18:13:52
Author: felixonmars
Revision: 1249224
upgpkg: idris 1.3.4-1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD | 14 +-
1 file changed, 5 insertions(+), 9 deletions(-)
Modified: PKGBUILD
Date: Wednesday, July 6, 2022 @ 23:56:36
Author: felixonmars
Revision: 1247310
upgpkg: idris 1.3.3-394: rebuild with resourcet 1.2.6
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, July 5, 2022 @ 21:12:10
Author: felixonmars
Revision: 1245728
upgpkg: idris 1.3.3-393: rebuild with ansi-terminal 0.11.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, June 30, 2022 @ 00:20:58
Author: felixonmars
Revision: 1241896
upgpkg: idris 1.3.3-392: rebuild with transformers-compat 0.7.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Sunday, June 12, 2022 @ 17:22:51
Author: felixonmars
Revision: 1237112
upgpkg: idris 1.3.3-391: rebuild with retry 0.9.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Sunday, June 12, 2022 @ 05:40:20
Author: felixonmars
Revision: 1235872
upgpkg: idris 1.3.3-390: rebuild with inspection-testing 0.4.6.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 11, 2022 @ 13:29:18
Author: felixonmars
Revision: 1233632
upgpkg: idris 1.3.3-389: rebuild with typed-process 0.2.10.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, June 10, 2022 @ 23:40:21
Author: felixonmars
Revision: 1231908
upgpkg: idris 1.3.3-388: rebuild with ansi-terminal 0.11.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, June 9, 2022 @ 21:20:35
Author: felixonmars
Revision: 1229907
upgpkg: idris 1.3.3-387: rebuild with unix-compat 0.6
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, June 9, 2022 @ 13:18:13
Author: felixonmars
Revision: 1229645
upgpkg: idris 1.3.3-386: rebuild with wai-extra 3.1.12.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, June 7, 2022 @ 07:23:41
Author: felixonmars
Revision: 1227846
upgpkg: idris 1.3.3-385: rebuild with concurrent-output 1.10.16
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, June 6, 2022 @ 06:00:47
Author: felixonmars
Revision: 1224466
upgpkg: idris 1.3.3-383: rebuild with hspec 2.9.7, hspec-core 2.9.7,
hspec-discover 2.9.7
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Saturday, June 4, 2022 @ 19:38:06
Author: felixonmars
Revision: 123
upgpkg: idris 1.3.3-382: rebuild with typed-process 0.2.9.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 4, 2022 @ 09:48:51
Author: felixonmars
Revision: 1220785
upgpkg: idris 1.3.3-381: rebuild with primitive 0.7.4.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, June 3, 2022 @ 12:18:37
Author: felixonmars
Revision: 1220496
upgpkg: idris 1.3.3-380: rebuild with primitive 0.7.4.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Monday, May 30, 2022 @ 12:20:53
Author: felixonmars
Revision: 1216391
upgpkg: idris 1.3.3-379: rebuild with tasty-inspection-testing 0.1.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Saturday, May 28, 2022 @ 17:38:13
Author: felixonmars
Revision: 1212631
upgpkg: idris 1.3.3-378: rebuild with doctest 0.20.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Friday, May 27, 2022 @ 16:53:49
Author: felixonmars
Revision: 1210804
upgpkg: idris 1.3.3-377: rebuild with wai-extra 3.1.12
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, May 18, 2022 @ 12:46:48
Author: felixonmars
Revision: 1207862
upgpkg: idris 1.3.3-375: rebuild with megaparsec 9.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 15, 2022 @ 03:17:39
Author: felixonmars
Revision: 1205950
upgpkg: idris 1.3.3-374: rebuild with hashable 1.4.0.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Saturday, May 14, 2022 @ 15:21:19
Author: felixonmars
Revision: 1205132
upgpkg: idris 1.3.3-373: rebuild with hashable 1.4.0.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Saturday, May 14, 2022 @ 02:12:02
Author: felixonmars
Revision: 1203106
upgpkg: idris 1.3.3-372: rebuild with wai-extra 3.1.11
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, May 13, 2022 @ 14:51:26
Author: felixonmars
Revision: 1202084
upgpkg: idris 1.3.3-371: rebuild with random 1.2.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, May 13, 2022 @ 11:11:02
Author: felixonmars
Revision: 1201667
upgpkg: idris 1.3.3-370: rebuild with random 1.2.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, May 12, 2022 @ 09:57:40
Author: felixonmars
Revision: 1198917
upgpkg: idris 1.3.3-369: rebuild with unordered-containers 0.2.19.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, May 10, 2022 @ 13:12:48
Author: felixonmars
Revision: 1197935
upgpkg: idris 1.3.3-368: rebuild with zlib 0.6.3.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Tuesday, May 10, 2022 @ 08:47:54
Author: felixonmars
Revision: 1197341
upgpkg: idris 1.3.3-367: rebuild with bifunctors 5.5.12
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Wednesday, May 4, 2022 @ 20:52:20
Author: felixonmars
Revision: 1194495
upgpkg: idris 1.3.3-366: rebuild with hspec 2.9.6, hspec-core 2.9.6,
hspec-discover 2.9.6
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Wednesday, May 4, 2022 @ 08:56:10
Author: arojas
Revision: 1192752
-ffat-lto-objects
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, April 28, 2022 @ 01:01:43
Author: felixonmars
Revision: 1191415
upgpkg: idris 1.3.3-364: rebuild with wai-extra 3.1.10
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Saturday, April 23, 2022 @ 23:10:41
Author: felixonmars
Revision: 1189258
upgpkg: idris 1.3.3-363: rebuild with hashable 1.4.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Sunday, April 10, 2022 @ 12:13:50
Author: felixonmars
Revision: 1184754
upgpkg: idris 1.3.3-362: rebuild with hspec 2.9.5, hspec-core 2.9.5,
hspec-discover 2.9.5
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Wednesday, April 6, 2022 @ 22:27:55
Author: felixonmars
Revision: 1182311
upgpkg: idris 1.3.3-361: rebuild with unordered-containers 0.2.18.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, April 1, 2022 @ 12:28:09
Author: felixonmars
Revision: 1179689
upgpkg: idris 1.3.3-360: rebuild with hspec 2.9.4, hspec-core 2.9.4,
hspec-discover 2.9.4, hspec-meta 2.9.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 dele
Date: Friday, March 25, 2022 @ 00:26:25
Author: felixonmars
Revision: 1176118
upgpkg: idris 1.3.3-359: rebuild with tasty-hedgehog 1.2.0.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Thursday, March 24, 2022 @ 21:20:28
Author: felixonmars
Revision: 1175498
upgpkg: idris 1.3.3-358: rebuild with quickcheck-instances 0.3.27
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 24, 2022 @ 14:47:56
Author: felixonmars
Revision: 1174728
upgpkg: idris 1.3.3-357: rebuild with shelly 1.10.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, March 24, 2022 @ 03:31:14
Author: felixonmars
Revision: 1173774
upgpkg: idris 1.3.3-356: rebuild with hspec 2.9.3, hspec-core 2.9.3,
hspec-discover 2.9.3, hspec-meta 2.9.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 d
Date: Wednesday, March 23, 2022 @ 18:19:39
Author: felixonmars
Revision: 1171797
upgpkg: idris 1.3.3-355: rebuild with hedgehog 1.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, March 23, 2022 @ 00:09:51
Author: felixonmars
Revision: 1170970
upgpkg: idris 1.3.3-354: rebuild with terminal-size 0.3.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, March 22, 2022 @ 22:15:39
Author: felixonmars
Revision: 1170658
upgpkg: idris 1.3.3-353: rebuild with fast-logger 3.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, March 21, 2022 @ 21:51:21
Author: felixonmars
Revision: 1168568
upgpkg: idris 1.3.3-351: rebuild with hspec 2.9.2, hspec-core 2.9.2,
hspec-discover 2.9.2, hspec-meta 2.9.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 d
Date: Tuesday, March 22, 2022 @ 01:51:33
Author: felixonmars
Revision: 1169748
upgpkg: idris 1.3.3-352: rebuild with hedgehog 1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, March 21, 2022 @ 02:53:05
Author: felixonmars
Revision: 1166567
upgpkg: idris 1.3.3-350: rebuil with memory 0.17.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
=
Date: Sunday, March 20, 2022 @ 13:15:23
Author: felixonmars
Revision: 1163566
upgpkg: idris 1.3.3-348: rebuild with wai-logger 2.4.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Sunday, March 20, 2022 @ 01:17:45
Author: felixonmars
Revision: 1163220
upgpkg: idris 1.3.3-347: rebuild with retry 0.9.2.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 19, 2022 @ 22:03:35
Author: felixonmars
Revision: 1162051
upgpkg: idris 1.3.3-346: rebuild with base-compat 0.12.1, base-compat-batteries
0.12.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Friday, March 18, 2022 @ 20:53:05
Author: felixonmars
Revision: 1159136
upgpkg: idris 1.3.3-345: rebuild with clock 0.8.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Thursday, March 17, 2022 @ 21:56:07
Author: felixonmars
Revision: 1157173
upgpkg: idris 1.3.3-344: rebuild with constraints 0.13.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, March 17, 2022 @ 18:55:49
Author: felixonmars
Revision: 1156822
upgpkg: idris 1.3.3-343: rebuild with fingertree 0.1.5.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, March 17, 2022 @ 04:44:52
Author: felixonmars
Revision: 1156449
upgpkg: idris 1.3.3-342: rebuild with concurrent-output 1.10.15
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Wednesday, March 16, 2022 @ 21:12:33
Author: felixonmars
Revision: 1155960
upgpkg: idris 1.3.3-341: rebuild with cryptonite 0.30
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Wednesday, March 16, 2022 @ 17:32:16
Author: felixonmars
Revision: 1155539
upgpkg: idris 1.3.3-340: rebuild with basement 0.0.14, foundation 0.0.28
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, March 15, 2022 @ 20:57:44
Author: felixonmars
Revision: 1155169
upgpkg: idris 1.3.3-339: rebuild with zip-archive 0.4.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Tuesday, March 15, 2022 @ 13:35:58
Author: felixonmars
Revision: 1154451
upgpkg: idris 1.3.3-338: rebuild with unordered-containers 0.2.17.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Monday, March 14, 2022 @ 16:18:24
Author: felixonmars
Revision: 1153033
upgpkg: idris 1.3.3-337: rebuild with hspec 2.9.1, hspec-core 2.9.1,
hspec-discover 2.9.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Sunday, March 13, 2022 @ 10:46:42
Author: felixonmars
Revision: 1150739
upgpkg: idris 1.3.3-336: rebuild with fast-logger 3.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 12, 2022 @ 02:05:41
Author: felixonmars
Revision: 1149748
upgpkg: idris 1.3.3-335: rebuild with zip-archive 0.4.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, March 11, 2022 @ 21:33:24
Author: felixonmars
Revision: 1148775
upgpkg: idris 1.3.3-334: rebuild with ansi-terminal 0.11.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, March 10, 2022 @ 19:02:15
Author: felixonmars
Revision: 1146088
upgpkg: idris 1.3.3-333: rebuild with doctest 0.19.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Friday, March 4, 2022 @ 22:29:23
Author: felixonmars
Revision: 1141973
upgpkg: idris 1.3.3-332: rebuild with hspec 2.9.0, hspec-core 2.9.0,
hspec-discover 2.9.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Tuesday, March 1, 2022 @ 21:25:51
Author: felixonmars
Revision: 1139139
upgpkg: idris 1.3.3-331: rebuild with streaming-commons 0.2.2.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, February 28, 2022 @ 18:49:22
Author: felixonmars
Revision: 1138599
upgpkg: idris 1.3.3-330: rebuild with basement 0.0.13, foundation 0.0.27
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, February 28, 2022 @ 08:30:39
Author: felixonmars
Revision: 1138233
upgpkg: idris 1.3.3-329: rebuild with regex-tdfa 1.3.1.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, February 22, 2022 @ 18:27:28
Author: felixonmars
Revision: 1135998
upgpkg: idris 1.3.3-328: rebuild with hashable 1.4.0.0, quickcheck-instances
0.3.26.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Saturday, February 12, 2022 @ 15:17:35
Author: felixonmars
Revision: 1132865
upgpkg: idris 1.3.3-327: rebuild against stable glibc 2.33
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, February 11, 2022 @ 15:14:55
Author: felixonmars
Revision: 1131984
upgpkg: idris 1.3.3-326: rebuild with unordered-containers 0.2.16.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Thursday, February 10, 2022 @ 02:50:26
Author: felixonmars
Revision: 1130832
upgpkg: idris 1.3.3-325: rebuild with attoparsec 0.14.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
Date: Tuesday, February 8, 2022 @ 19:40:45
Author: felixonmars
Revision: 1129346
upgpkg: idris 1.3.3-324: rebuild with base-compat 0.12.0, base-compat-batteries
0.12.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Friday, February 4, 2022 @ 23:54:13
Author: felixonmars
Revision: 1126336
upgpkg: idris 1.3.3-323: rebuild with quickcheck-instances 0.3.26
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
1 - 100 of 284 matches
Mail list logo