Date: Monday, March 2, 2020 @ 19:14:41
Author: felixonmars
Revision: 588696
upgpkg: cryptol 2.8.0-65: rebuild with primitive 0.7.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 29, 2020 @ 22:14:54
Author: felixonmars
Revision: 587205
upgpkg: cryptol 2.8.0-64: rebuild with logict 0.7.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 29, 2020 @ 11:31:39
Author: felixonmars
Revision: 586834
upgpkg: cryptol 2.8.0-63: rebuild with filepattern 0.1.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, February 28, 2020 @ 21:05:44
Author: felixonmars
Revision: 586693
upgpkg: cryptol 2.8.0-62: rebuild with file-embed 0.0.11.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, February 28, 2020 @ 13:58:42
Author: felixonmars
Revision: 585850
upgpkg: cryptol 2.8.0-61: rebuild with ghc-lib-parser-ex 8.8.5.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, February 28, 2020 @ 08:05:50
Author: felixonmars
Revision: 584954
upgpkg: cryptol 2.8.0-60: rebuild with ghc 8.8.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 26, 2020 @ 18:38:56
Author: felixonmars
Revision: 583068
upgpkg: cryptol 2.8.0-59: rebuild with cpphs 1.20.9
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 26, 2020 @ 15:52:26
Author: felixonmars
Revision: 582982
upgpkg: cryptol 2.8.0-58: rebuild with ghc-lib-parser-ex 8.8.5.0, hlint 2.2.11
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Wednesday, February 26, 2020 @ 12:49:08
Author: felixonmars
Revision: 582407
upgpkg: cryptol 2.8.0-57: rebuild with splitmix 0.0.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, February 25, 2020 @ 10:24:19
Author: felixonmars
Revision: 580976
upgpkg: cryptol 2.8.0-56: rebuild with haskell-src-exts 1.22.0,
haskell-src-meta 0.8.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, February 23, 2020 @ 22:40:26
Author: felixonmars
Revision: 580122
upgpkg: cryptol 2.8.0-55: rebuild with split 0.2.3.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, February 23, 2020 @ 11:13:26
Author: felixonmars
Revision: 579687
upgpkg: cryptol 2.8.0-54: rebuild with ghc-lib-parser-ex 8.8.4.0, hlint 2.2.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Sunday, February 23, 2020 @ 09:24:52
Author: felixonmars
Revision: 579512
upgpkg: cryptol 2.8.0-53: rebuild with logict 0.7.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 22, 2020 @ 13:15:53
Author: felixonmars
Revision: 578506
upgpkg: cryptol 2.8.0-52: rebuild with pretty-show 1.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 22, 2020 @ 06:52:33
Author: felixonmars
Revision: 578194
upgpkg: cryptol 2.8.0-51: rebuild with ghc-lib-parser-ex 8.8.3.0, hlint 2.2.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Saturday, February 22, 2020 @ 03:47:14
Author: felixonmars
Revision: 577948
upgpkg: cryptol 2.8.0-50: rebuild with tasty-golden 2.3.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, February 21, 2020 @ 13:47:24
Author: felixonmars
Revision: 577538
upgpkg: cryptol 2.8.0-49: rebuild with hlint 2.2.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Thursday, February 20, 2020 @ 18:40:44
Author: felixonmars
Revision: 577305
upgpkg: cryptol 2.8.0-48: rebuild with hlint 2.2.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, February 20, 2020 @ 11:29:16
Author: felixonmars
Revision: 577094
upgpkg: cryptol 2.8.0-47: rebuild with logict 0.7.0.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 19, 2020 @ 10:11:39
Author: felixonmars
Revision: 576415
upgpkg: cryptol 2.8.0-46: rebuild with hlint 2.2.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, February 18, 2020 @ 00:13:46
Author: felixonmars
Revision: 575632
upgpkg: cryptol 2.8.0-45: rebuild with extra 1.6.20
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, February 17, 2020 @ 22:36:15
Author: felixonmars
Revision: 574824
upgpkg: cryptol 2.8.0-44: rebuild with hlint 2.2.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, February 17, 2020 @ 20:47:18
Author: felixonmars
Revision: 574615
upgpkg: cryptol 2.8.0-43: rebuild with tasty-golden 2.3.2.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, February 17, 2020 @ 12:32:33
Author: felixonmars
Revision: 574039
upgpkg: cryptol 2.8.0-42: rebuild with profunctors 5.5.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, February 16, 2020 @ 19:12:48
Author: felixonmars
Revision: 572779
upgpkg: cryptol 2.8.0-41: rebuild with ghc 8.8.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, February 14, 2020 @ 14:35:44
Author: felixonmars
Revision: 571066
upgpkg: cryptol 2.8.0-40: rebuild with hlint 2.2.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, February 14, 2020 @ 12:56:53
Author: felixonmars
Revision: 571006
upgpkg: cryptol 2.8.0-39: rebuild with sbv 8.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, February 13, 2020 @ 12:05:05
Author: felixonmars
Revision: 570140
upgpkg: cryptol 2.8.0-38: rebuild with doctest 0.16.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 12, 2020 @ 18:06:31
Author: felixonmars
Revision: 569571
upgpkg: cryptol 2.8.0-37: rebuild with extra 1.6.19
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 12, 2020 @ 06:14:17
Author: felixonmars
Revision: 568308
upgpkg: cryptol 2.8.0-36: rebuild with hlint 2.2.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, February 11, 2020 @ 21:57:47
Author: felixonmars
Revision: 568132
upgpkg: cryptol 2.8.0-35: rebuild with haskell-lexer 1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, February 11, 2020 @ 14:15:20
Author: felixonmars
Revision: 567218
upgpkg: cryptol 2.8.0-34: rebuild with ansi-terminal 0.10.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, February 10, 2020 @ 12:34:49
Author: felixonmars
Revision: 565868
upgpkg: cryptol 2.8.0-33: rebuild with tasty-quickcheck 0.10.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 8, 2020 @ 21:18:18
Author: felixonmars
Revision: 565008
upgpkg: cryptol 2.8.0-32: rebuild with th-abstraction 0.3.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 8, 2020 @ 14:52:00
Author: felixonmars
Revision: 564614
upgpkg: cryptol 2.8.0-31: rebuild with libyaml 0.1.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 8, 2020 @ 12:26:03
Author: felixonmars
Revision: 564076
upgpkg: cryptol 2.8.0-30: rebuild with vector 0.12.1.2, store 0.7.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, February 2, 2020 @ 17:45:15
Author: felixonmars
Revision: 561754
upgpkg: cryptol 2.8.0-29: rebuild with math-functions 0.3.3.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, February 2, 2020 @ 07:55:00
Author: felixonmars
Revision: 561380
upgpkg: cryptol 2.8.0-28: rebuild with bifunctors 5.5.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, January 31, 2020 @ 01:14:40
Author: felixonmars
Revision: 560535
upgpkg: cryptol 2.8.0-27: rebuild with cabal-doctest 1.0.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, January 30, 2020 @ 01:37:54
Author: felixonmars
Revision: 559442
upgpkg: cryptol 2.8.0-26: rebuild with base-compat 0.11.1,
base-compat-batteries 0.11.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, January 28, 2020 @ 12:11:33
Author: felixonmars
Revision: 557729
upgpkg: cryptol 2.8.0-25: rebuild with base-orphans 0.8.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, January 27, 2020 @ 18:18:58
Author: felixonmars
Revision: 556261
upgpkg: cryptol 2.8.0-24: rebuild with doctest 0.16.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, January 14, 2020 @ 05:57:09
Author: felixonmars
Revision: 552470
upgpkg: cryptol 2.8.0-23: rebuild with ghc 8.8.1, cabal-doctest 1.0.7,
polyparse 1.13, primitive 0.7.0.0, regex-base 0.94.0.0, regex-pcre 0.95.0.0,
regex-posix 0.96.0.0, regex-tdfa 1.3.1.0, easytest 0.3,
Date: Sunday, January 5, 2020 @ 04:07:56
Author: felixonmars
Revision: 548809
upgpkg: cryptol 2.8.0-22: rebuild with ansi-terminal 0.10.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, January 3, 2020 @ 09:10:58
Author: felixonmars
Revision: 547090
upgpkg: cryptol 2.8.0-21: rebuild with ansi-terminal 0.10.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, December 30, 2019 @ 20:20:12
Author: felixonmars
Revision: 544967
upgpkg: cryptol 2.8.0-20: rebuild with exceptions 0.10.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 27, 2019 @ 23:39:12
Author: felixonmars
Revision: 543452
upgpkg: cryptol 2.8.0-19: rebuild with mono-traversable 1.0.15.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 26, 2019 @ 18:21:10
Author: felixonmars
Revision: 542792
upgpkg: cryptol 2.8.0-18: rebuild with semigroupoids 5.3.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 26, 2019 @ 13:00:08
Author: felixonmars
Revision: 542464
upgpkg: cryptol 2.8.0-17: rebuild with mono-traversable 1.0.15.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 26, 2019 @ 01:01:18
Author: felixonmars
Revision: 541712
upgpkg: cryptol 2.8.0-16: rebuild with tasty-hunit 0.10.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, December 24, 2019 @ 17:52:16
Author: felixonmars
Revision: 539988
upgpkg: cryptol 2.8.0-15: rebuild with pandoc 2.8, pandoc-types 1.20,
doctemplates 0.7.1, HsYAML 0.2.1.0, haddock-library 1.8.0, texmath 0.12,
base-compat 0.11.0, base-compat-batteries 0.11.0,
Date: Wednesday, December 18, 2019 @ 22:02:42
Author: felixonmars
Revision: 538239
upgpkg: cryptol 2.8.0-14
rebuild with conduit 1.3.1.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 12, 2019 @ 19:35:35
Author: felixonmars
Revision: 537434
upgpkg: cryptol 2.8.0-13
rebuild with sbv 8.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 12, 2019 @ 04:18:53
Author: felixonmars
Revision: 537185
upgpkg: cryptol 2.8.0-12
rebuild with profunctors 5.5.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 6, 2019 @ 20:36:19
Author: felixonmars
Revision: 536081
upgpkg: cryptol 2.8.0-11
rebuild with safe 0.3.18
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 5, 2019 @ 12:31:39
Author: felixonmars
Revision: 535582
upgpkg: cryptol 2.8.0-10
rebuild with vector-algorithms 0.8.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, December 2, 2019 @ 22:27:12
Author: felixonmars
Revision: 534891
upgpkg: cryptol 2.8.0-9
rebuild with comonad 5.0.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 27, 2019 @ 09:09:36
Author: felixonmars
Revision: 533980
upgpkg: cryptol 2.8.0-8
rebuild with bifunctors 5.5.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, November 25, 2019 @ 04:50:59
Author: felixonmars
Revision: 533174
upgpkg: cryptol 2.8.0-7
rebuild with sbv 8.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, November 24, 2019 @ 13:28:22
Author: felixonmars
Revision: 533006
upgpkg: cryptol 2.8.0-6
rebuild with libyaml 0.1.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, November 24, 2019 @ 07:31:05
Author: felixonmars
Revision: 532639
upgpkg: cryptol 2.8.0-5
rebuild ChasingBottoms 1.3.1.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, November 21, 2019 @ 23:55:16
Author: felixonmars
Revision: 531511
upgpkg: cryptol 2.8.0-4
rebuild with pcre-light 0.4.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 20, 2019 @ 08:15:16
Author: felixonmars
Revision: 530716
upgpkg: cryptol 2.8.0-3
rebuild with Diff 0.4.0, aeson 1.4.6.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, November 17, 2019 @ 16:47:42
Author: felixonmars
Revision: 530052
upgpkg: cryptol 2.8.0-2
rebuild with blaze-markup 0.8.2.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, November 16, 2019 @ 15:52:15
Author: felixonmars
Revision: 529530
upgpkg: cryptol 2.8.0-1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Friday, November 15, 2019 @ 10:41:12
Author: felixonmars
Revision: 529122
upgpkg: cryptol 2.7.0-47
rebuild with yaml 0.11.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, November 15, 2019 @ 08:27:28
Author: felixonmars
Revision: 528956
upgpkg: cryptol 2.7.0-46
rebuild with vector-builder 0.3.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, October 20, 2019 @ 08:52:23
Author: felixonmars
Revision: 517668
upgpkg: cryptol 2.7.0-45
rebuild with blaze-html 0.9.1.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, October 20, 2019 @ 06:03:34
Author: felixonmars
Revision: 517623
upgpkg: cryptol 2.7.0-44
rebuild with monadLib 3.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, October 18, 2019 @ 22:39:01
Author: felixonmars
Revision: 517231
upgpkg: cryptol 2.7.0-43
rebuild with distributive 0.6.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, October 14, 2019 @ 05:24:13
Author: felixonmars
Revision: 515534
upgpkg: cryptol 2.7.0-42
rebuild with vector-th-unbox 0.2.1.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, October 11, 2019 @ 20:49:26
Author: jelle
Revision: 515185
upgpkg: cryptol 2.7.0-41
Enable PIE for cryptol binary
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Friday, October 11, 2019 @ 15:14:27
Author: felixonmars
Revision: 514913
upgpkg: cryptol 2.7.0-40
rebuild with mono-traversable 1.0.13.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, October 7, 2019 @ 17:34:51
Author: felixonmars
Revision: 513943
upgpkg: cryptol 2.7.0-39
rebuild with haskell-src-exts 1.21.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, October 6, 2019 @ 14:40:49
Author: felixonmars
Revision: 513410
upgpkg: cryptol 2.7.0-38
rebuild with happy 1.19.12
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 12, 2019 @ 23:35:57
Author: felixonmars
Revision: 510022
upgpkg: cryptol 2.7.0-37
rebuild with math-functions 0.3.2.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, September 8, 2019 @ 07:30:02
Author: felixonmars
Revision: 508835
upgpkg: cryptol 2.7.0-36
rebuild with profunctors 5.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 3, 2019 @ 09:38:16
Author: felixonmars
Revision: 507351
upgpkg: cryptol 2.7.0-35
rebuild with exceptions 0.10.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, September 1, 2019 @ 12:00:53
Author: felixonmars
Revision: 506106
upgpkg: cryptol 2.7.0-34
rebuild with attoparsec 0.13.2.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 29, 2019 @ 19:17:28
Author: felixonmars
Revision: 505024
upgpkg: cryptol 2.7.0-33
rebuild with yaml 0.11.1.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 29, 2019 @ 10:25:05
Author: felixonmars
Revision: 504742
upgpkg: cryptol 2.7.0-32
rebuild with semigroupoids 5.3.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 28, 2019 @ 16:46:31
Author: felixonmars
Revision: 504319
upgpkg: cryptol 2.7.0-31
rebuild with spdx 1.0.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 28, 2019 @ 11:28:46
Author: felixonmars
Revision: 503848
upgpkg: cryptol 2.7.0-30
rebuild with bifunctors 5.5.5, th-abstraction 0.3.1.0, th-lift 0.8.0.1,
th-lift-instances 0.1.14, hedgehog 1.0, tasty-hedgehog 1.0.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
Date: Tuesday, August 27, 2019 @ 13:10:47
Author: felixonmars
Revision: 502804
upgpkg: cryptol 2.7.0-29
rebuild with call-stack 0.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 23, 2019 @ 18:26:48
Author: felixonmars
Revision: 501377
upgpkg: cryptol 2.7.0-28
rebuild with extra 1.6.18
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 23, 2019 @ 09:50:33
Author: felixonmars
Revision: 501279
upgpkg: cryptol 2.7.0-27
rebuild with yaml 0.11.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 23, 2019 @ 06:23:14
Author: felixonmars
Revision: 500981
upgpkg: cryptol 2.7.0-26
rebuild with ghc-paths 0.1.0.12
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 15, 2019 @ 05:39:50
Author: felixonmars
Revision: 499414
upgpkg: cryptol 2.7.0-25
rebuild with mono-traversable 1.0.12.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, August 6, 2019 @ 16:59:19
Author: felixonmars
Revision: 497892
upgpkg: cryptol 2.7.0-24
rebuild with dlist 0.8.0.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 2, 2019 @ 04:48:34
Author: felixonmars
Revision: 496487
upgpkg: cryptol 2.7.0-23
rebuild with splitmix 0.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, July 30, 2019 @ 03:16:46
Author: felixonmars
Revision: 494881
upgpkg: cryptol 2.7.0-22
rebuild with quickcheck-instances 0.3.22
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, July 28, 2019 @ 18:40:15
Author: felixonmars
Revision: 493905
upgpkg: cryptol 2.7.0-21
rebuild with silently 1.2.5.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, July 18, 2019 @ 20:08:56
Author: felixonmars
Revision: 491919
upgpkg: cryptol 2.7.0-20
rebuild with ChasingBottoms 1.3.1.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, July 18, 2019 @ 06:41:39
Author: felixonmars
Revision: 491001
upgpkg: cryptol 2.7.0-19
rebuild with QuickCheck 2.13.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, July 12, 2019 @ 11:34:48
Author: felixonmars
Revision: 489098
upgpkg: cryptol 2.7.0-18
rebuild with unliftio 0.2.12
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, July 1, 2019 @ 15:52:02
Author: felixonmars
Revision: 487131
upgpkg: cryptol 2.7.0-17
rebuild with tasty 1.2.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, June 30, 2019 @ 02:57:37
Author: felixonmars
Revision: 485989
upgpkg: cryptol 2.7.0-16
rebuild with yaml 0.11.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, June 28, 2019 @ 05:14:52
Author: felixonmars
Revision: 485328
upgpkg: cryptol 2.7.0-15
rebuild with syb 0.7.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, June 26, 2019 @ 11:29:09
Author: felixonmars
Revision: 48
upgpkg: cryptol 2.7.0-14
rebuild with aeson 1.4.4.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, June 23, 2019 @ 05:17:29
Author: felixonmars
Revision: 482993
upgpkg: cryptol 2.7.0-13
rebuild with happy 1.19.11
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
201 - 300 of 537 matches
Mail list logo