Date: Monday, December 28, 2020 @ 13:52:24
Author: felixonmars
Revision: 794946
upgpkg: cryptol 2.10.0-25: rebuild with indexed-traversable 0.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, December 26, 2020 @ 23:19:21
Author: felixonmars
Revision: 793216
upgpkg: cryptol 2.10.0-24: rebuild with hedgehog 1.0.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, December 26, 2020 @ 05:19:58
Author: felixonmars
Revision: 791981
upgpkg: cryptol 2.10.0-23: rebuild with tasty-quickcheck 0.10.1.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 25, 2020 @ 10:31:00
Author: felixonmars
Revision: 790025
upgpkg: cryptol 2.10.0-22: rebuild with comonad 5.0.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 24, 2020 @ 15:03:32
Author: felixonmars
Revision: 788214
upgpkg: cryptol 2.10.0-21: rebuild with base16-bytestring 1.0.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 24, 2020 @ 12:31:07
Author: felixonmars
Revision: 787162
upgpkg: cryptol 2.10.0-20: rebuild with ghc 8.10.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, December 23, 2020 @ 19:34:43
Author: felixonmars
Revision: 785149
upgpkg: cryptol 2.10.0-19: rebuild with ghc-lib-parser-ex 8.10.0.17
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, December 23, 2020 @ 18:46:50
Author: felixonmars
Revision: 785079
upgpkg: cryptol 2.10.0-18: rebuild with extra 1.7.9
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, December 23, 2020 @ 12:28:33
Author: felixonmars
Revision: 784191
upgpkg: cryptol 2.10.0-17: rebuild with tasty-smallcheck 0.8.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, December 22, 2020 @ 18:06:31
Author: felixonmars
Revision: 782704
upgpkg: cryptol 2.10.0-16: rebuild with megaparsec 9.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, December 22, 2020 @ 12:11:48
Author: felixonmars
Revision: 781953
upgpkg: cryptol 2.10.0-15: rebuild with tasty-hunit 0.10.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 18, 2020 @ 20:18:02
Author: felixonmars
Revision: 779542
upgpkg: cryptol 2.10.0-14: rebuild with free 5.1.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 18, 2020 @ 15:07:18
Author: felixonmars
Revision: 778703
upgpkg: cryptol 2.10.0-13: rebuild with th-abstraction 0.4.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, December 16, 2020 @ 12:32:41
Author: felixonmars
Revision: 776658
upgpkg: cryptol 2.10.0-12: rebuild with megaparsec 9.0.0, hspec-megaparsec 2.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Tuesday, December 15, 2020 @ 20:34:04
Author: felixonmars
Revision: 776178
upgpkg: cryptol 2.10.0-11: rebuild with base16-bytestring 1.0.0.0, casa-types
0.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, December 14, 2020 @ 12:20:37
Author: felixonmars
Revision: 774939
upgpkg: cryptol 2.10.0-10: rebuild with base-orphans 0.8.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, December 9, 2020 @ 09:54:56
Author: felixonmars
Revision: 772389
upgpkg: cryptol 2.10.0-9: rebuild with vector-algorithms 0.8.0.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, December 8, 2020 @ 19:22:41
Author: felixonmars
Revision: 772024
upgpkg: cryptol 2.10.0-8: rebuild with strict 0.4.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, December 5, 2020 @ 00:56:18
Author: felixonmars
Revision: 770339
upgpkg: cryptol 2.10.0-7: rebuild with time-compat 1.9.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 4, 2020 @ 08:39:57
Author: felixonmars
Revision: 769894
upgpkg: cryptol 2.10.0-6: rebuild with hlint 3.2.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, November 30, 2020 @ 21:49:11
Author: felixonmars
Revision: 766773
upgpkg: cryptol 2.10.0-5: rebuild with network 3.1.2.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, November 28, 2020 @ 09:58:52
Author: felixonmars
Revision: 765062
upgpkg: cryptol 2.10.0-4: rebuild with unbounded-delays 0.1.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, November 26, 2020 @ 04:17:41
Author: felixonmars
Revision: 761421
upgpkg: cryptol 2.10.0-3: rebuild with conduit 1.3.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, November 23, 2020 @ 17:36:10
Author: felixonmars
Revision: 760040
upgpkg: cryptol 2.10.0-2: rebuild with optparse-applicative 0.16.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, November 21, 2020 @ 12:36:31
Author: felixonmars
Revision: 758479
upgpkg: cryptol 2.10.0-1
Added:
cryptol/trunk/sbv-8.8.patch
Modified:
cryptol/trunk/PKGBUILD
---+
PKGBUILD | 22 +++-
sbv-8.8.patch | 101
Date: Tuesday, November 17, 2020 @ 13:28:02
Author: felixonmars
Revision: 756767
upgpkg: cryptol 2.9.1-44: rebuild with hlint 3.2.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, November 17, 2020 @ 06:44:59
Author: felixonmars
Revision: 756015
upgpkg: cryptol 2.9.1-43: rebuild with QuickCheck 2.14.2, quickcheck-instances
0.3.25.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, November 8, 2020 @ 11:41:13
Author: felixonmars
Revision: 746507
upgpkg: cryptol 2.9.1-42: rebuild with uniplate 1.6.13
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, November 7, 2020 @ 14:47:20
Author: felixonmars
Revision: 745820
upgpkg: cryptol 2.9.1-41: rebuild with integer-logarithms 1.0.3.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, November 6, 2020 @ 19:15:32
Author: felixonmars
Revision: 744525
upgpkg: cryptol 2.9.1-40: rebuild with splitmix 0.1.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 4, 2020 @ 17:44:08
Author: felixonmars
Revision: 742452
upgpkg: cryptol 2.9.1-39: rebuild with quickcheck-instances 0.3.25
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 4, 2020 @ 14:20:09
Author: felixonmars
Revision: 742046
upgpkg: cryptol 2.9.1-38: rebuild with time-compat 1.9.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, November 3, 2020 @ 19:28:24
Author: felixonmars
Revision: 741263
upgpkg: cryptol 2.9.1-37: rebuild with foldl 1.4.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, November 3, 2020 @ 10:08:54
Author: felixonmars
Revision: 740525
upgpkg: cryptol 2.9.1-36: rebuild with HUnit 1.6.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, November 1, 2020 @ 02:31:34
Author: felixonmars
Revision: 738133
upgpkg: cryptol 2.9.1-35: rebuild with unliftio 0.2.13.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 28, 2020 @ 11:11:40
Author: felixonmars
Revision: 735425
upgpkg: cryptol 2.9.1-34: rebuild with optparse-applicative 0.16.0.0,
optparse-generic 1.4.3, turtle 1.5.21
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1
Date: Sunday, October 25, 2020 @ 23:54:18
Author: felixonmars
Revision: 733736
upgpkg: cryptol 2.9.1-33: rebuild with free 5.1.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, October 25, 2020 @ 14:35:16
Author: felixonmars
Revision: 732683
upgpkg: cryptol 2.9.1-32: rebuild with bifunctors 5.5.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, October 24, 2020 @ 09:48:33
Author: felixonmars
Revision: 731142
upgpkg: cryptol 2.9.1-31: rebuild with generic-deriving 1.14
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, October 23, 2020 @ 09:47:21
Author: felixonmars
Revision: 730645
upgpkg: cryptol 2.9.1-30: rebuild with deriving-compat 0.5.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 22, 2020 @ 23:54:35
Author: felixonmars
Revision: 730369
upgpkg: cryptol 2.9.1-29: rebuild with profunctors 5.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 22, 2020 @ 18:29:17
Author: felixonmars
Revision: 729375
upgpkg: cryptol 2.9.1-28: rebuild with splitmix 0.1.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, October 19, 2020 @ 21:28:43
Author: felixonmars
Revision: 727349
upgpkg: cryptol 2.9.1-27: rebuild with conduit 1.3.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, October 18, 2020 @ 23:28:23
Author: felixonmars
Revision: 726934
upgpkg: cryptol 2.9.1-26: rebuild with invariant 0.5.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, October 18, 2020 @ 13:19:33
Author: felixonmars
Revision: 726009
upgpkg: cryptol 2.9.1-25: rebuild with th-abstraction 0.4.0.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 15, 2020 @ 17:43:53
Author: felixonmars
Revision: 724214
upgpkg: cryptol 2.9.1-24: rebuild with hlint 3.2.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 14, 2020 @ 21:19:45
Author: felixonmars
Revision: 724001
upgpkg: cryptol 2.9.1-23: rebuild with tasty-ant-xml 1.1.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, October 10, 2020 @ 09:38:30
Author: felixonmars
Revision: 723024
upgpkg: cryptol 2.9.1-22: rebuild with unordered-containers 0.2.13.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 7, 2020 @ 19:31:10
Author: felixonmars
Revision: 720899
upgpkg: cryptol 2.9.1-21: rebuild with base-compat 0.11.2,
base-compat-batteries 0.11.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, October 5, 2020 @ 22:13:18
Author: felixonmars
Revision: 719192
upgpkg: cryptol 2.9.1-20: rebuild with kan-extensions 5.2.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, October 5, 2020 @ 19:01:32
Author: felixonmars
Revision: 718920
upgpkg: cryptol 2.9.1-19: rebuild with aeson 1.5.4.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, October 4, 2020 @ 18:14:14
Author: felixonmars
Revision: 717828
upgpkg: cryptol 2.9.1-18: rebuild with transformers-compat 0.6.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, October 2, 2020 @ 21:11:07
Author: felixonmars
Revision: 715702
upgpkg: cryptol 2.9.1-17: rebuild with base-orphans 0.8.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 29, 2020 @ 20:12:22
Author: felixonmars
Revision: 713813
upgpkg: cryptol 2.9.1-16: rebuild with th-lift 0.8.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, September 28, 2020 @ 21:13:31
Author: felixonmars
Revision: 713380
upgpkg: cryptol 2.9.1-15: rebuild with foldl 1.4.9
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 24, 2020 @ 14:38:38
Author: felixonmars
Revision: 711829
upgpkg: cryptol 2.9.1-14: rebuild with parameterized-utils 2.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 24, 2020 @ 14:22:06
Author: felixonmars
Revision: 711816
upgpkg: cryptol 2.9.1-13: rebuild with FloatingHex 0.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 24, 2020 @ 13:32:58
Author: felixonmars
Revision: 711750
upgpkg: cryptol 2.9.1-12: rebuild with file-embed 0.0.13.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, September 19, 2020 @ 01:34:03
Author: felixonmars
Revision: 710835
upgpkg: cryptol 2.9.1-11: rebuild with hashtables 1.2.4.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, September 18, 2020 @ 12:09:34
Author: felixonmars
Revision: 710016
upgpkg: cryptol 2.9.1-10: rebuild with hspec 2.7.4, hspec-core 2.7.4,
hspec-discover 2.7.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, September 16, 2020 @ 16:03:49
Author: felixonmars
Revision: 708135
upgpkg: cryptol 2.9.1-9: rebuild with extra 1.7.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, September 16, 2020 @ 14:15:53
Author: felixonmars
Revision: 708039
upgpkg: cryptol 2.9.1-8: rebuild with crackNum 2.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, September 16, 2020 @ 11:03:37
Author: felixonmars
Revision: 707390
upgpkg: cryptol 2.9.1-7: rebuild with quickcheck-classes-base 0.6.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, September 14, 2020 @ 12:27:13
Author: felixonmars
Revision: 705978
upgpkg: cryptol 2.9.1-6: switch to sbv8.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Sunday, September 13, 2020 @ 20:15:59
Author: felixonmars
Revision: 705241
upgpkg: cryptol 2.9.1-5: rebuild with ansi-terminal 0.11
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, September 12, 2020 @ 02:05:35
Author: felixonmars
Revision: 703078
upgpkg: cryptol 2.9.1-4: rebuild with mwc-random 0.15.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 8, 2020 @ 23:29:47
Author: felixonmars
Revision: 701434
upgpkg: cryptol 2.9.1-3: rebuild with hashtables 1.2.4.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 8, 2020 @ 22:26:51
Author: felixonmars
Revision: 701396
upgpkg: cryptol 2.9.1-2: rebuild with FloatingHex 0.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 8, 2020 @ 21:14:53
Author: felixonmars
Revision: 701330
upgpkg: cryptol 2.9.1-1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Tuesday, September 8, 2020 @ 15:40:09
Author: felixonmars
Revision: 701261
upgpkg: cryptol 2.9.0-40: rebuild with io-streams 1.5.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 8, 2020 @ 00:59:14
Author: felixonmars
Revision: 700588
upgpkg: cryptol 2.9.0-39: rebuild with hspec 2.7.3, hspec-core 2.7.3,
hspec-discover 2.7.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, September 5, 2020 @ 01:55:39
Author: felixonmars
Revision: 698821
upgpkg: cryptol 2.9.0-38: rebuild with tasty-expected-failure 0.12.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, September 4, 2020 @ 00:38:06
Author: felixonmars
Revision: 697832
upgpkg: cryptol 2.9.0-37: rebuild with mwc-random 0.15.0.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 1, 2020 @ 22:19:46
Author: felixonmars
Revision: 696051
upgpkg: cryptol 2.9.0-36: rebuild with aeson 1.5.4.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 1, 2020 @ 15:24:10
Author: felixonmars
Revision: 695589
upgpkg: cryptol 2.9.0-35: rebuild with conduit 1.3.2.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 1, 2020 @ 10:32:32
Author: felixonmars
Revision: 695352
upgpkg: cryptol 2.9.0-34: rebuild with bv-sized 1.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 31, 2020 @ 20:32:20
Author: felixonmars
Revision: 694403
upgpkg: cryptol 2.9.0-33: rebuild with happy 1.20.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 29, 2020 @ 22:12:55
Author: felixonmars
Revision: 692287
upgpkg: cryptol 2.9.0-32: rebuild with extra 1.7.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 29, 2020 @ 03:55:55
Author: felixonmars
Revision: 691526
upgpkg: cryptol 2.9.0-31: rebuild with logict 0.7.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 27, 2020 @ 00:06:17
Author: felixonmars
Revision: 689208
upgpkg: cryptol 2.9.0-30: rebuild with random 1.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 22, 2020 @ 20:57:31
Author: felixonmars
Revision: 686848
upgpkg: cryptol 2.9.0-29: rebuild with extra 1.7.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 21, 2020 @ 14:28:20
Author: felixonmars
Revision: 686063
upgpkg: cryptol 2.9.0-28: rebuild with dlist 1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 20, 2020 @ 16:37:42
Author: felixonmars
Revision: 685574
upgpkg: cryptol 2.9.0-27: rebuild with yaml 0.11.5.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 20, 2020 @ 08:12:20
Author: felixonmars
Revision: 685290
upgpkg: cryptol 2.9.0-26: rebuild with tasty-expected-failure 0.12
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, August 18, 2020 @ 14:34:58
Author: felixonmars
Revision: 683954
upgpkg: cryptol 2.9.0-25: rebuild with ghc 8.10.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 16, 2020 @ 20:40:47
Author: felixonmars
Revision: 681903
upgpkg: cryptol 2.9.0-24: rebuild with lifted-async 0.10.1.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 16, 2020 @ 09:44:35
Author: felixonmars
Revision: 680899
upgpkg: cryptol 2.9.0-23: rebuild with math-functions 0.3.4.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 15, 2020 @ 09:43:03
Author: felixonmars
Revision: 679668
upgpkg: cryptol 2.9.0-22: rebuild with ghc-lib-parser-ex 8.10.0.16
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 15, 2020 @ 07:51:30
Author: felixonmars
Revision: 679486
upgpkg: cryptol 2.9.0-21: rebuild with aeson 1.5.3.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 14, 2020 @ 08:25:33
Author: felixonmars
Revision: 678514
upgpkg: cryptol 2.9.0-20: rebuild with hspec 2.7.2, hspec-core 2.7.2,
hspec-discover 2.7.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, August 13, 2020 @ 07:49:18
Author: felixonmars
Revision: 676978
upgpkg: cryptol 2.9.0-19: rebuild with quickcheck-instances 0.3.24
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 12, 2020 @ 15:24:35
Author: felixonmars
Revision: 676417
upgpkg: cryptol 2.9.0-18: rebuild with extra 1.7.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 12, 2020 @ 09:36:13
Author: felixonmars
Revision: 675715
upgpkg: cryptol 2.9.0-17: rebuild with splitmix 0.1.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 10, 2020 @ 20:42:41
Author: felixonmars
Revision: 674155
upgpkg: cryptol 2.9.0-16: rebuild with optics-th 0.3.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 10, 2020 @ 03:57:52
Author: felixonmars
Revision: 673327
upgpkg: cryptol 2.9.0-15: rebuild with strict 0.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Sunday, August 9, 2020 @ 04:54:44
Author: felixonmars
Revision: 673024
upgpkg: cryptol 2.9.0-14: rebuild with network 3.1.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 8, 2020 @ 17:53:25
Author: felixonmars
Revision: 672574
upgpkg: cryptol 2.9.0-13: rebuild with these 1.1.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 8, 2020 @ 09:36:05
Author: felixonmars
Revision: 672040
upgpkg: cryptol 2.9.0-12: rebuild with lifted-async 0.10.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 7, 2020 @ 21:28:18
Author: felixonmars
Revision: 671777
upgpkg: cryptol 2.9.0-11: rebuild with extra 1.7.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 7, 2020 @ 10:50:08
Author: felixonmars
Revision: 671486
upgpkg: cryptol 2.9.0-10: rebuild with foldl 1.4.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
1 - 100 of 537 matches
Mail list logo