Date: Tuesday, December 29, 2020 @ 13:40:48
Author: felixonmars
Revision: 797098
upgpkg: idris 1.3.3-138: rebuild with tagged 0.8.6.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, December 28, 2020 @ 14:34:13
Author: felixonmars
Revision: 794998
upgpkg: idris 1.3.3-137: rebuild with indexed-traversable 0.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, December 27, 2020 @ 01:06:10
Author: felixonmars
Revision: 793297
upgpkg: idris 1.3.3-136: rebuild with hedgehog 1.0.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, December 26, 2020 @ 09:25:57
Author: felixonmars
Revision: 792317
upgpkg: idris 1.3.3-135: rebuild with tasty-quickcheck 0.10.1.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 25, 2020 @ 11:04:23
Author: felixonmars
Revision: 790071
upgpkg: idris 1.3.3-134: rebuild with comonad 5.0.7
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 24, 2020 @ 17:11:41
Author: felixonmars
Revision: 788354
upgpkg: idris 1.3.3-133: rebuild with base16-bytestring 1.0.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 24, 2020 @ 11:25:43
Author: felixonmars
Revision: 787062
upgpkg: idris 1.3.3-132: rebuild with ghc 8.10.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, December 23, 2020 @ 11:59:09
Author: felixonmars
Revision: 784163
upgpkg: idris 1.3.3-131: rebuild with tasty-smallcheck 0.8.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, December 22, 2020 @ 17:53:54
Author: felixonmars
Revision: 782698
upgpkg: idris 1.3.3-130: rebuild with megaparsec 9.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, December 22, 2020 @ 12:46:38
Author: felixonmars
Revision: 781963
upgpkg: idris 1.3.3-129: rebuild with tasty-hunit 0.10.0.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 18, 2020 @ 11:30:37
Author: felixonmars
Revision: 778502
upgpkg: idris 1.3.3-128: rebuild with th-abstraction 0.4.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, December 16, 2020 @ 19:13:01
Author: felixonmars
Revision: 776899
upgpkg: idris 1.3.3-127: rebuild with microstache 1.0.1.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, December 16, 2020 @ 12:16:41
Author: felixonmars
Revision: 776652
upgpkg: idris 1.3.3-126: rebuild with megaparsec 9.0.0, hspec-megaparsec 2.2.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
Modified:
Date: Tuesday, December 15, 2020 @ 22:35:09
Author: felixonmars
Revision: 776281
upgpkg: idris 1.3.3-125: rebuild with base16-bytestring 1.0.0.0, casa-types
0.0.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Tuesday, December 15, 2020 @ 10:33:03
Author: felixonmars
Revision: 775930
upgpkg: idris 1.3.3-124: rebuild with wai-extra 3.1.4.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, December 14, 2020 @ 14:37:56
Author: felixonmars
Revision: 775037
upgpkg: idris 1.3.3-123: rebuild with base-orphans 0.8.5
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, December 9, 2020 @ 13:48:59
Author: felixonmars
Revision: 772662
upgpkg: idris 1.3.3-122: rebuild with vector-algorithms 0.8.0.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, December 7, 2020 @ 23:22:53
Author: felixonmars
Revision: 771724
upgpkg: idris 1.3.3-121: rebuild with strict 0.4.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, December 6, 2020 @ 19:53:24
Author: felixonmars
Revision: 771151
upgpkg: idris 1.3.3-120: rebuild with wai-extra 3.1.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, December 5, 2020 @ 13:46:03
Author: felixonmars
Revision: 770583
upgpkg: idris 1.3.3-119: rebuild with time-compat 1.9.5
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 3, 2020 @ 12:03:59
Author: felixonmars
Revision: 769451
upgpkg: idris 1.3.3-118: rebuild with criterion 1.5.9.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 3, 2020 @ 00:44:44
Author: felixonmars
Revision: 769397
upgpkg: idris 1.3.3-117: rebuild with criterion 1.5.9.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, December 1, 2020 @ 00:04:37
Author: felixonmars
Revision: 766887
upgpkg: idris 1.3.3-116: rebuild with network 3.1.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, November 28, 2020 @ 21:39:17
Author: felixonmars
Revision: 766111
upgpkg: idris 1.3.3-115: rebuild with wai-extra 3.1.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, November 28, 2020 @ 14:00:03
Author: felixonmars
Revision: 765248
upgpkg: idris 1.3.3-114: rebuild with unbounded-delays 0.1.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, November 26, 2020 @ 15:22:59
Author: felixonmars
Revision: 763574
upgpkg: idris 1.3.3-113: rebuild with criterion 1.5.8.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 25, 2020 @ 18:31:21
Author: felixonmars
Revision: 761187
upgpkg: idris 1.3.3-112: rebuild with conduit 1.3.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, November 23, 2020 @ 13:11:26
Author: felixonmars
Revision: 759914
upgpkg: idris 1.3.3-111: rebuild with optparse-applicative 0.16.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, November 20, 2020 @ 20:38:09
Author: felixonmars
Revision: 758092
upgpkg: idris 1.3.3-110: rebuild with base64-bytestring 1.2.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 18, 2020 @ 23:58:34
Author: felixonmars
Revision: 757318
upgpkg: idris 1.3.3-109: rebuild with http-client 0.7.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, November 17, 2020 @ 19:35:26
Author: felixonmars
Revision: 756859
upgpkg: idris 1.3.3-108: rebuild with iproute 1.7.10
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, November 17, 2020 @ 05:57:45
Author: felixonmars
Revision: 755977
upgpkg: idris 1.3.3-107: rebuild with QuickCheck 2.14.2, quickcheck-instances
0.3.25.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, November 10, 2020 @ 16:28:24
Author: felixonmars
Revision: 749624
upgpkg: idris 1.3.3-106: rebuild with cryptonite +tests enabled
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, November 8, 2020 @ 16:42:06
Author: felixonmars
Revision: 746679
upgpkg: idris 1.3.3-105: rebuild with wai-extra 3.1.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, November 8, 2020 @ 11:23:59
Author: felixonmars
Revision: 746491
upgpkg: idris 1.3.3-104: rebuild with uniplate 1.6.13
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, November 8, 2020 @ 00:22:05
Author: felixonmars
Revision: 746427
upgpkg: idris 1.3.3-103: rebuild with tasty-rerun 1.1.18
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, November 7, 2020 @ 18:59:23
Author: felixonmars
Revision: 745929
upgpkg: idris 1.3.3-102: rebuild with integer-logarithms 1.0.3.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, November 6, 2020 @ 20:56:48
Author: felixonmars
Revision: 744573
upgpkg: idris 1.3.3-101: rebuild with splitmix 0.1.0.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 4, 2020 @ 19:41:05
Author: felixonmars
Revision: 742566
upgpkg: idris 1.3.3-100: rebuild with quickcheck-instances 0.3.25
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 4, 2020 @ 11:29:52
Author: felixonmars
Revision: 741908
upgpkg: idris 1.3.3-99: rebuild with time-compat 1.9.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, November 3, 2020 @ 20:46:36
Author: felixonmars
Revision: 741352
upgpkg: idris 1.3.3-98: rebuild with foldl 1.4.10
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, November 3, 2020 @ 08:54:22
Author: felixonmars
Revision: 740443
upgpkg: idris 1.3.3-97: rebuild with HUnit 1.6.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, November 1, 2020 @ 10:51:15
Author: felixonmars
Revision: 738826
upgpkg: idris 1.3.3-96: rebuild with hinotify 0.4.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, November 1, 2020 @ 01:55:26
Author: felixonmars
Revision: 738083
upgpkg: idris 1.3.3-95: rebuild with unliftio 0.2.13.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 28, 2020 @ 23:38:49
Author: felixonmars
Revision: 736441
upgpkg: idris 1.3.3-94: rebuild with shelly 1.9.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 28, 2020 @ 20:09:28
Author: felixonmars
Revision: 735669
upgpkg: idris 1.3.3-93: rebuild with optparse-applicative 0.16.0.0,
optparse-generic 1.4.3, turtle 1.5.21
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3
Date: Sunday, October 25, 2020 @ 21:14:20
Author: felixonmars
Revision: 733003
upgpkg: idris 1.3.3-92: rebuild with bifunctors 5.5.8
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, October 23, 2020 @ 21:50:13
Author: felixonmars
Revision: 730919
upgpkg: idris 1.3.3-91: rebuild with generic-deriving 1.14
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 22, 2020 @ 21:25:21
Author: felixonmars
Revision: 730159
upgpkg: idris 1.3.3-90: rebuild with profunctors 5.6
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 22, 2020 @ 18:44:47
Author: felixonmars
Revision: 729382
upgpkg: idris 1.3.3-89: rebuild with splitmix 0.1.0.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, October 19, 2020 @ 21:48:12
Author: felixonmars
Revision: 727359
upgpkg: idris 1.3.3-88: rebuild with conduit 1.3.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, October 18, 2020 @ 13:38:54
Author: felixonmars
Revision: 726015
upgpkg: idris 1.3.3-87: rebuild with th-abstraction 0.4.0.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, October 10, 2020 @ 09:54:18
Author: felixonmars
Revision: 723044
upgpkg: idris 1.3.3-86: rebuild with unordered-containers 0.2.13.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, October 9, 2020 @ 09:56:55
Author: felixonmars
Revision: 722328
upgpkg: idris 1.3.3-85: rebuild with http-date 0.0.10
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 8, 2020 @ 21:01:35
Author: felixonmars
Revision: 722000
upgpkg: idris 1.3.3-84: rebuild with criterion 1.5.7.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 7, 2020 @ 19:46:23
Author: felixonmars
Revision: 720907
upgpkg: idris 1.3.3-83: rebuild with base-compat 0.11.2, base-compat-batteries
0.11.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, October 6, 2020 @ 18:07:56
Author: felixonmars
Revision: 719427
upgpkg: idris 1.3.3-82: rebuild with wai-extra 3.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, October 5, 2020 @ 19:17:25
Author: felixonmars
Revision: 718930
upgpkg: idris 1.3.3-81: rebuild with aeson 1.5.4.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, October 4, 2020 @ 18:30:21
Author: felixonmars
Revision: 717834
upgpkg: idris 1.3.3-80: rebuild with transformers-compat 0.6.6
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, October 2, 2020 @ 21:26:35
Author: felixonmars
Revision: 715714
upgpkg: idris 1.3.3-79: rebuild with base-orphans 0.8.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 29, 2020 @ 01:15:43
Author: felixonmars
Revision: 713646
upgpkg: idris 1.3.3-78: rebuild with fast-logger 3.0.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, September 28, 2020 @ 21:29:23
Author: felixonmars
Revision: 713388
upgpkg: idris 1.3.3-77: rebuild with foldl 1.4.9
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, September 28, 2020 @ 13:20:29
Author: felixonmars
Revision: 712998
upgpkg: idris 1.3.3-76: rebuild with network-byte-order 0.1.6
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, September 27, 2020 @ 15:32:53
Author: felixonmars
Revision: 712696
upgpkg: idris 1.3.3-75: rebuild with wai-extra 3.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, September 25, 2020 @ 18:43:04
Author: felixonmars
Revision: 712196
upgpkg: idris 1.3.3-74: rebuild with http-date 0.0.9
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, September 21, 2020 @ 20:20:38
Author: felixonmars
Revision: 711312
upgpkg: idris 1.3.3-73: rebuild with wai-extra 3.0.32
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, September 20, 2020 @ 10:46:12
Author: felixonmars
Revision: 711015
upgpkg: idris 1.3.3-72: rebuild with wai-extra 3.0.31
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, September 18, 2020 @ 12:26:02
Author: felixonmars
Revision: 710022
upgpkg: idris 1.3.3-71: rebuild with hspec 2.7.4, hspec-core 2.7.4,
hspec-discover 2.7.4
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, September 17, 2020 @ 10:36:21
Author: felixonmars
Revision: 708622
upgpkg: idris 1.3.3-70: rebuild with wai-extra 3.0.30
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, September 16, 2020 @ 21:53:17
Author: felixonmars
Revision: 708382
upgpkg: idris 1.3.3-69: rebuild with HTTP 4000.3.15
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, September 16, 2020 @ 11:19:21
Author: felixonmars
Revision: 707398
upgpkg: idris 1.3.3-68: rebuild with quickcheck-classes-base 0.6.1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, September 13, 2020 @ 20:34:41
Author: felixonmars
Revision: 705256
upgpkg: idris 1.3.3-67: rebuild with ansi-terminal 0.11
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Saturday, September 12, 2020 @ 02:28:17
Author: felixonmars
Revision: 703084
upgpkg: idris 1.3.3-66: rebuild with mwc-random 0.15.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 8, 2020 @ 01:20:54
Author: felixonmars
Revision: 700594
upgpkg: idris 1.3.3-65: rebuild with hspec 2.7.3, hspec-core 2.7.3,
hspec-discover 2.7.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, September 5, 2020 @ 02:50:14
Author: felixonmars
Revision: 698857
upgpkg: idris 1.3.3-64: rebuild with tasty-expected-failure 0.12.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, September 4, 2020 @ 00:58:40
Author: felixonmars
Revision: 697838
upgpkg: idris 1.3.3-63: rebuild with mwc-random 0.15.0.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 1, 2020 @ 22:40:06
Author: felixonmars
Revision: 696057
upgpkg: idris 1.3.3-62: rebuild with aeson 1.5.4.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 1, 2020 @ 15:45:18
Author: felixonmars
Revision: 695595
upgpkg: idris 1.3.3-61: rebuild with conduit 1.3.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 31, 2020 @ 20:53:20
Author: felixonmars
Revision: 694411
upgpkg: idris 1.3.3-60: rebuild with happy 1.20.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 29, 2020 @ 04:17:35
Author: felixonmars
Revision: 691532
upgpkg: idris 1.3.3-59: rebuild with logict 0.7.0.3
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 27, 2020 @ 00:25:19
Author: felixonmars
Revision: 689214
upgpkg: idris 1.3.3-58: rebuild with random 1.2.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 24, 2020 @ 02:41:42
Author: felixonmars
Revision: 687497
upgpkg: idris 1.3.3-57: rebuild with http-client 0.7.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 23, 2020 @ 19:53:46
Author: felixonmars
Revision: 687203
upgpkg: idris 1.3.3-56: rebuild with base64-bytestring 1.2.0.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Friday, August 21, 2020 @ 22:11:16
Author: felixonmars
Revision: 686517
upgpkg: idris 1.3.3-55: rebuild with http-client 0.7.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 21, 2020 @ 14:49:23
Author: felixonmars
Revision: 686071
upgpkg: idris 1.3.3-54: rebuild with dlist 1.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 20, 2020 @ 09:14:11
Author: felixonmars
Revision: 685336
upgpkg: idris 1.3.3-53: rebuild with tasty-expected-failure 0.12
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, August 18, 2020 @ 14:59:58
Author: felixonmars
Revision: 683962
upgpkg: idris 1.3.3-52: rebuild with ghc 8.10.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 16, 2020 @ 21:29:41
Author: felixonmars
Revision: 681943
upgpkg: idris 1.3.3-51: rebuild with lifted-async 0.10.1.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 16, 2020 @ 10:06:42
Author: felixonmars
Revision: 680905
upgpkg: idris 1.3.3-50: rebuild with math-functions 0.3.4.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 15, 2020 @ 08:15:21
Author: felixonmars
Revision: 679492
upgpkg: idris 1.3.3-49: rebuild with aeson 1.5.3.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 14, 2020 @ 08:44:22
Author: felixonmars
Revision: 678520
upgpkg: idris 1.3.3-48: rebuild with hspec 2.7.2, hspec-core 2.7.2,
hspec-discover 2.7.2
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, August 13, 2020 @ 08:08:01
Author: felixonmars
Revision: 676984
upgpkg: idris 1.3.3-47: rebuild with quickcheck-instances 0.3.24
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 12, 2020 @ 10:08:29
Author: felixonmars
Revision: 675727
upgpkg: idris 1.3.3-46: rebuild with splitmix 0.1.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 10, 2020 @ 21:04:18
Author: felixonmars
Revision: 674165
upgpkg: idris 1.3.3-45: rebuild with optics-th 0.3.0.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 10, 2020 @ 11:44:19
Author: felixonmars
Revision: 673627
upgpkg: idris 1.3.3-44: rebuild with streaming-commons 0.2.2.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 9, 2020 @ 10:34:48
Author: felixonmars
Revision: 673106
upgpkg: idris 1.3.3-43: rebuild with network 3.1.2.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Saturday, August 8, 2020 @ 18:14:02
Author: felixonmars
Revision: 672580
upgpkg: idris 1.3.3-42: rebuild with these 1.1.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 8, 2020 @ 10:30:18
Author: felixonmars
Revision: 672078
upgpkg: idris 1.3.3-41: rebuild with lifted-async 0.10.1.1
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 7, 2020 @ 11:17:08
Author: felixonmars
Revision: 671494
upgpkg: idris 1.3.3-40: rebuild with foldl 1.4.8
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 6, 2020 @ 15:39:07
Author: felixonmars
Revision: 671039
upgpkg: idris 1.3.3-39: rebuild with streaming-commons 0.2.2.0
Modified:
idris/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
1 - 100 of 700 matches
Mail list logo