Date: Thursday, August 6, 2020 @ 07:08:39
Author: felixonmars
Revision: 670571
upgpkg: cryptol 2.9.0-9: rebuild with hedgehog 1.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 5, 2020 @ 16:23:36
Author: felixonmars
Revision: 669647
upgpkg: cryptol 2.9.0-8: rebuild with unordered-containers 0.2.12.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, August 4, 2020 @ 07:01:37
Author: felixonmars
Revision: 668699
upgpkg: cryptol 2.9.0-7: rebuild with zlib 0.6.2.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 3, 2020 @ 14:39:39
Author: felixonmars
Revision: 668396
upgpkg: cryptol 2.9.0-6: rebuild with these 1.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 3, 2020 @ 06:52:56
Author: felixonmars
Revision: 668011
upgpkg: cryptol 2.9.0-5: rebuild with ghc-lib-parser-ex 8.10.0.15
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 2, 2020 @ 21:17:44
Author: felixonmars
Revision: 667883
upgpkg: cryptol 2.9.0-4: rebuild with blaze-markup 0.8.2.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 2, 2020 @ 14:05:01
Author: felixonmars
Revision: 667709
upgpkg: cryptol 2.9.0-3: rebuild with Glob 0.10.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 1, 2020 @ 15:43:30
Author: felixonmars
Revision: 667502
upgpkg: cryptol 2.9.0-2: rebuild with QuickCheck 2.14.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, July 30, 2020 @ 20:28:51
Author: felixonmars
Revision: 665980
upgpkg: cryptol 2.9.0-1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD | 27 ++-
1 file changed, 10 insertions(+), 17 deletions(-)
Modified: PKGBUILD
Date: Wednesday, July 15, 2020 @ 08:32:19
Author: felixonmars
Revision: 663848
upgpkg: cryptol 2.8.0-157: rebuild with simple-smt 0.9.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, July 1, 2020 @ 17:31:22
Author: felixonmars
Revision: 657387
upgpkg: cryptol 2.8.0-156: rebuild with sbv 8.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, June 29, 2020 @ 18:55:24
Author: felixonmars
Revision: 656433
upgpkg: cryptol 2.8.0-155: rebuild with primitive 0.7.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 27, 2020 @ 07:40:42
Author: felixonmars
Revision: 654640
upgpkg: cryptol 2.8.0-154: rebuild with ChasingBottoms 1.3.1.9
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, June 26, 2020 @ 11:32:27
Author: felixonmars
Revision: 653898
upgpkg: cryptol 2.8.0-152: rebuild with resourcet 1.2.4.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, June 25, 2020 @ 00:07:35
Author: felixonmars
Revision: 652624
upgpkg: cryptol 2.8.0-151: rebuild with splitmix 0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 20, 2020 @ 14:14:39
Author: felixonmars
Revision: 648581
upgpkg: cryptol 2.8.0-150: rebuild with hlint 3.1.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 20, 2020 @ 12:50:33
Author: felixonmars
Revision: 648402
upgpkg: cryptol 2.8.0-149: rebuild with base16-bytestring 0.1.1.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, June 19, 2020 @ 21:48:47
Author: felixonmars
Revision: 647952
upgpkg: cryptol 2.8.0-148: rebuild with foldl 1.4.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, June 18, 2020 @ 10:35:56
Author: felixonmars
Revision: 646965
upgpkg: cryptol 2.8.0-147: rebuild with unordered-containers 0.2.11.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, June 16, 2020 @ 08:06:37
Author: felixonmars
Revision: 646000
upgpkg: cryptol 2.8.0-146: rebuild with base-prelude 1.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, June 15, 2020 @ 13:15:08
Author: felixonmars
Revision: 645111
upgpkg: cryptol 2.8.0-145: rebuild with aeson 1.5.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, June 15, 2020 @ 07:09:36
Author: felixonmars
Revision: 644808
upgpkg: cryptol 2.8.0-144: rebuild with ghc-lib-parser-ex 8.10.0.14
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, June 14, 2020 @ 13:00:07
Author: felixonmars
Revision: 644131
upgpkg: cryptol 2.8.0-143: rebuild with splitmix 0.0.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 13, 2020 @ 18:37:20
Author: felixonmars
Revision: 642930
upgpkg: cryptol 2.8.0-142: rebuild with ghc-lib-parser-ex 8.10.0.13
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, June 10, 2020 @ 17:16:33
Author: felixonmars
Revision: 641820
upgpkg: cryptol 2.8.0-141: rebuild with hlint 3.1.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, June 10, 2020 @ 14:26:53
Author: felixonmars
Revision: 641500
upgpkg: cryptol 2.8.0-140: rebuild with doctest 0.17
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, June 9, 2020 @ 19:52:18
Author: felixonmars
Revision: 640901
upgpkg: cryptol 2.8.0-139: rebuild with ghc-lib-parser-ex 8.10.0.12
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, June 9, 2020 @ 05:06:52
Author: felixonmars
Revision: 640665
upgpkg: cryptol 2.8.0-138: rebuild with hlint 3.1.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, June 8, 2020 @ 11:43:40
Author: felixonmars
Revision: 640559
upgpkg: cryptol 2.8.0-137: rebuild with hlint 3.1.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, June 8, 2020 @ 07:46:16
Author: felixonmars
Revision: 640365
upgpkg: cryptol 2.8.0-136: rebuild with resourcet 1.2.4.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, June 7, 2020 @ 10:36:13
Author: felixonmars
Revision: 639925
upgpkg: cryptol 2.8.0-135: rebuild with ghc-lib-parser-ex 8.10.0.11
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, June 7, 2020 @ 07:40:36
Author: felixonmars
Revision: 639711
upgpkg: cryptol 2.8.0-134: rebuild with tasty-golden 2.3.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 6, 2020 @ 04:00:56
Author: felixonmars
Revision: 639256
upgpkg: cryptol 2.8.0-133: rebuild with ghc-lib-parser-ex 8.10.0.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, June 4, 2020 @ 08:47:59
Author: felixonmars
Revision: 638866
upgpkg: cryptol 2.8.0-132: rebuild with ghc-lib-parser-ex 8.10.0.9
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, June 3, 2020 @ 16:48:16
Author: felixonmars
Revision: 638332
upgpkg: cryptol 2.8.0-131: rebuild with ghc-lib-parser-ex 8.10.0.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, June 2, 2020 @ 13:30:13
Author: felixonmars
Revision: 638060
upgpkg: cryptol 2.8.0-130: rebuild with ghc-lib-parser-ex 8.10.0.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, June 1, 2020 @ 16:35:11
Author: felixonmars
Revision: 637861
upgpkg: cryptol 2.8.0-129: rebuild with hlint 3.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 31, 2020 @ 12:49:29
Author: felixonmars
Revision: 637674
upgpkg: cryptol 2.8.0-128: rebuild with hlint 3.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 31, 2020 @ 07:21:44
Author: felixonmars
Revision: 637610
upgpkg: cryptol 2.8.0-127: rebuild with extra 1.7.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, May 30, 2020 @ 16:31:08
Author: felixonmars
Revision: 637461
upgpkg: cryptol 2.8.0-126: rebuild with ghc-lib-parser-ex 8.10.0.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 28, 2020 @ 21:20:36
Author: felixonmars
Revision: 636752
upgpkg: cryptol 2.8.0-125: rebuild with aeson 1.5.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 27, 2020 @ 09:51:36
Author: felixonmars
Revision: 635863
upgpkg: cryptol 2.8.0-124: rebuild with hlint 3.0.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 27, 2020 @ 00:56:40
Author: felixonmars
Revision: 635613
upgpkg: cryptol 2.8.0-123: rebuild with quickcheck-instances 0.3.23
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, May 26, 2020 @ 19:35:21
Author: felixonmars
Revision: 635242
upgpkg: cryptol 2.8.0-122: rebuild with hlint 3.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, May 25, 2020 @ 19:15:10
Author: felixonmars
Revision: 634927
upgpkg: cryptol 2.8.0-121: rebuild with extra 1.7.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, May 25, 2020 @ 16:11:36
Author: felixonmars
Revision: 634632
upgpkg: cryptol 2.8.0-120: rebuild with aeson 1.5.0.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, May 25, 2020 @ 06:48:20
Author: felixonmars
Revision: 633894
upgpkg: cryptol 2.8.0-119: rebuild with safe 0.3.19
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 24, 2020 @ 18:12:43
Author: felixonmars
Revision: 633578
upgpkg: cryptol 2.8.0-118: rebuild with hlint 3.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 24, 2020 @ 16:23:46
Author: felixonmars
Revision: 632980
upgpkg: cryptol 2.8.0-117: rebuild with tasty 1.3.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 22, 2020 @ 19:04:15
Author: felixonmars
Revision: 631653
upgpkg: cryptol 2.8.0-116: rebuild with hlint 3.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 21, 2020 @ 16:57:17
Author: felixonmars
Revision: 631333
upgpkg: cryptol 2.8.0-115: rebuild with unliftio 0.2.13
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 21, 2020 @ 07:25:17
Author: felixonmars
Revision: 631060
upgpkg: cryptol 2.8.0-114: rebuild with hlint 3.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 20, 2020 @ 17:44:36
Author: felixonmars
Revision: 630909
upgpkg: cryptol 2.8.0-113: rebuild with ghc-lib-parser-ex 8.10.0.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, May 19, 2020 @ 23:07:51
Author: felixonmars
Revision: 630332
upgpkg: cryptol 2.8.0-112: rebuild with tasty-golden 2.3.3.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Monday, May 18, 2020 @ 18:49:42
Author: felixonmars
Revision: 629630
upgpkg: cryptol 2.8.0-111: rebuild with file-embed 0.0.12.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 17, 2020 @ 22:53:35
Author: felixonmars
Revision: 629112
upgpkg: cryptol 2.8.0-110: rebuild with math-functions 0.3.4.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 13, 2020 @ 13:11:51
Author: felixonmars
Revision: 627670
upgpkg: cryptol 2.8.0-109: rebuild with tasty 1.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 7, 2020 @ 14:15:49
Author: felixonmars
Revision: 625401
upgpkg: cryptol 2.8.0-108: rebuild with yaml 0.11.4.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 7, 2020 @ 06:18:51
Author: felixonmars
Revision: 625276
upgpkg: cryptol 2.8.0-107: rebuild with ghc-lib-parser-ex 8.10.0.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 3, 2020 @ 02:34:55
Author: felixonmars
Revision: 624547
upgpkg: cryptol 2.8.0-106: rebuild with ghc-lib-parser-ex 8.10.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 1, 2020 @ 18:57:03
Author: felixonmars
Revision: 624184
upgpkg: cryptol 2.8.0-105: rebuild with ghc-lib-parser-ex 8.10.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 1, 2020 @ 04:18:11
Author: felixonmars
Revision: 623675
upgpkg: cryptol 2.8.0-104: rebuild with tasty-golden 2.3.3.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, April 25, 2020 @ 08:44:22
Author: felixonmars
Revision: 619841
upgpkg: cryptol 2.8.0-103: rebuild with ghc 8.10.1, protolude 0.3.0, repline
0.3.0.0, ghc-lib-parser-ex 8.10.0.1, th-desugar 1.11, singletons 2.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |7
Date: Tuesday, April 21, 2020 @ 00:22:27
Author: felixonmars
Revision: 617124
upgpkg: cryptol 2.8.0-102: rebuild with blaze-markup 0.8.2.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, April 20, 2020 @ 00:27:59
Author: felixonmars
Revision: 616815
upgpkg: cryptol 2.8.0-101: rebuild with resourcet 1.2.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, April 17, 2020 @ 19:50:18
Author: felixonmars
Revision: 615770
upgpkg: cryptol 2.8.0-100: rebuild with distributive 0.6.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, April 15, 2020 @ 11:38:48
Author: felixonmars
Revision: 614669
upgpkg: cryptol 2.8.0-99: rebuild with warp tasty-golden 2.3.3.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, April 8, 2020 @ 22:51:29
Author: foutrelis
Revision: 612802
libffi 3.3 rebuild
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, April 4, 2020 @ 19:46:50
Author: felixonmars
Revision: 611694
upgpkg: cryptol 2.8.0-97: rebuild with ghc-lib-parser-ex 8.8.6.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, April 3, 2020 @ 20:27:20
Author: felixonmars
Revision: 611219
upgpkg: cryptol 2.8.0-96: rebuild with cpphs 1.20.9.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, April 3, 2020 @ 17:35:54
Author: felixonmars
Revision: 610967
upgpkg: cryptol 2.8.0-95: rebuild with dlist 0.8.0.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, April 2, 2020 @ 12:10:09
Author: felixonmars
Revision: 609555
upgpkg: cryptol 2.8.0-94: rebuild with QuickCheck 2.14
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, March 31, 2020 @ 06:05:08
Author: felixonmars
Revision: 607654
upgpkg: cryptol 2.8.0-93: rebuild with doctest 0.16.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, March 29, 2020 @ 23:25:49
Author: felixonmars
Revision: 606644
upgpkg: cryptol 2.8.0-92: rebuild with ChasingBottoms 1.3.1.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, March 29, 2020 @ 13:00:20
Author: felixonmars
Revision: 605909
upgpkg: cryptol 2.8.0-91: rebuild with blaze-markup 0.8.2.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 28, 2020 @ 22:11:12
Author: felixonmars
Revision: 605599
upgpkg: cryptol 2.8.0-90: rebuild with attoparsec 0.13.2.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 26, 2020 @ 21:53:28
Author: felixonmars
Revision: 604756
upgpkg: cryptol 2.8.0-89: rebuild with aeson 1.4.7.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 21, 2020 @ 12:49:08
Author: felixonmars
Revision: 602567
upgpkg: cryptol 2.8.0-88: rebuild with haskell-src-exts 1.23.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, March 20, 2020 @ 14:50:32
Author: felixonmars
Revision: 601725
upgpkg: cryptol 2.8.0-87: rebuild with aeson 1.4.7.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 19, 2020 @ 21:50:05
Author: felixonmars
Revision: 601250
upgpkg: cryptol 2.8.0-86: rebuild with conduit 1.3.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 19, 2020 @ 11:12:04
Author: felixonmars
Revision: 600821
upgpkg: cryptol 2.8.0-85: rebuild with ghc-lib-parser-ex 8.8.5.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, March 18, 2020 @ 18:57:01
Author: felixonmars
Revision: 600648
upgpkg: cryptol 2.8.0-84: rebuild with ghc-lib-parser-ex 8.8.5.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, March 16, 2020 @ 14:28:07
Author: felixonmars
Revision: 599751
upgpkg: cryptol 2.8.0-83: rebuild with ghc-lib-parser-ex 8.8.5.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, March 16, 2020 @ 02:57:17
Author: felixonmars
Revision: 599049
upgpkg: cryptol 2.8.0-82: rebuild with hashable 1.3.0.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, March 15, 2020 @ 00:46:29
Author: felixonmars
Revision: 597528
upgpkg: cryptol 2.8.0-81: rebuild with StateVar 1.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 14, 2020 @ 20:08:58
Author: felixonmars
Revision: 597151
upgpkg: cryptol 2.8.0-80: rebuild with extra 1.7.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 14, 2020 @ 13:54:16
Author: felixonmars
Revision: 596969
upgpkg: cryptol 2.8.0-79: rebuild with ghc-lib-parser-ex 8.8.5.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 14, 2020 @ 12:11:04
Author: felixonmars
Revision: 596711
upgpkg: cryptol 2.8.0-78: rebuild with time-compat 1.9.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, March 13, 2020 @ 10:10:15
Author: felixonmars
Revision: 595740
upgpkg: cryptol 2.8.0-77: rebuild with extra 1.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 12, 2020 @ 19:27:55
Author: felixonmars
Revision: 595522
upgpkg: cryptol 2.8.0-76: rebuild with ghc-lib-parser-ex 8.8.5.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 12, 2020 @ 03:55:31
Author: felixonmars
Revision: 595038
upgpkg: cryptol 2.8.0-75: rebuild with generic-deriving 1.13.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, March 10, 2020 @ 20:49:17
Author: felixonmars
Revision: 593929
upgpkg: cryptol 2.8.0-74: rebuild with yaml 0.11.3.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, March 10, 2020 @ 15:42:30
Author: felixonmars
Revision: 593659
upgpkg: cryptol 2.8.0-73: rebuild with unliftio-core 0.2.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, March 8, 2020 @ 23:40:04
Author: felixonmars
Revision: 592693
upgpkg: cryptol 2.8.0-72: rebuild with generic-deriving 1.13
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, March 8, 2020 @ 09:55:10
Author: felixonmars
Revision: 591617
upgpkg: cryptol 2.8.0-71: rebuild with unliftio-core 0.2.0.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, March 6, 2020 @ 13:37:49
Author: felixonmars
Revision: 590979
upgpkg: cryptol 2.8.0-70: rebuild with ghc-lib-parser-ex 8.8.5.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 5, 2020 @ 15:19:47
Author: felixonmars
Revision: 590750
upgpkg: cryptol 2.8.0-69: rebuild with extra 1.6.21
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, March 4, 2020 @ 20:59:19
Author: felixonmars
Revision: 590523
upgpkg: cryptol 2.8.0-68: rebuild with unliftio 0.2.12.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, March 3, 2020 @ 20:36:09
Author: felixonmars
Revision: 589839
upgpkg: cryptol 2.8.0-67: rebuild with ghc-lib-parser-ex 8.8.5.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, March 3, 2020 @ 11:00:26
Author: felixonmars
Revision: 589599
upgpkg: cryptol 2.8.0-66: rebuild with resourcet 1.2.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
101 - 200 of 537 matches
Mail list logo