Date: Friday, June 14, 2019 @ 11:01:53
Author: felixonmars
Revision: 481420
upgpkg: cryptol 2.7.0-12
rebuild with sbv 8.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, June 12, 2019 @ 12:37:49
Author: felixonmars
Revision: 480789
upgpkg: cryptol 2.7.0-11
rebuild with unliftio 0.2.11
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, June 10, 2019 @ 07:46:31
Author: felixonmars
Revision: 479239
upgpkg: cryptol 2.7.0-10
rebuild with async 2.2.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, June 5, 2019 @ 16:52:14
Author: felixonmars
Revision: 477211
upgpkg: cryptol 2.7.0-9
rebuild with contravariant 1.5.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 1, 2019 @ 08:10:00
Author: felixonmars
Revision: 476286
upgpkg: cryptol 2.7.0-8
rebuild with extra 1.6.17
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 30, 2019 @ 22:31:54
Author: felixonmars
Revision: 475368
upgpkg: cryptol 2.7.0-7
rebuild with ansi-terminal 0.9.1, ansi-wl-pprint 0.6.9, concurrent-output
1.10.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Wednesday, May 29, 2019 @ 08:55:17
Author: felixonmars
Revision: 473869
upgpkg: cryptol 2.7.0-6
rebuild with clock 0.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, May 28, 2019 @ 08:31:35
Author: felixonmars
Revision: 472282
upgpkg: cryptol 2.7.0-5
rebuild with QuickCheck 2.13.1, hspec-core 2.7.1, hspec-discover 2.7.1, hspec
2.7.1, time-compat 1.9.2.2, quickcheck-instances 0.3.21, http-api-data 0.4.1
Modified:
Date: Monday, May 27, 2019 @ 20:57:56
Author: arojas
Revision: 472052
https
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
---
Date: Monday, May 27, 2019 @ 04:28:03
Author: felixonmars
Revision: 470913
upgpkg: cryptol 2.7.0-4
rebuild with extra 1.6.16
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 24, 2019 @ 13:13:34
Author: felixonmars
Revision: 469610
upgpkg: cryptol 2.7.0-3
rebuild with haskell-src-exts-util 0.2.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 22, 2019 @ 23:27:32
Author: felixonmars
Revision: 468887
upgpkg: cryptol 2.7.0-2
rebuild with tasty-quickcheck 0.10.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 22, 2019 @ 08:14:12
Author: felixonmars
Revision: 468314
upgpkg: cryptol 2.7.0-1
rebuild with cryptol 2.7.0, sbv 8.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD | 21 -
1 file changed, 8 insertions(+), 13 deletions(-)
Modified:
Date: Sunday, May 12, 2019 @ 16:04:12
Author: felixonmars
Revision: 466643
upgpkg: cryptol 2.6.0-108
rebuild with transformers-compat 0.6.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, May 11, 2019 @ 22:26:14
Author: felixonmars
Revision: 465674
upgpkg: cryptol 2.6.0-107
rebuild with profunctors 5.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 10, 2019 @ 21:12:07
Author: felixonmars
Revision: 465017
upgpkg: cryptol 2.6.0-106
rebuild with happy 1.19.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 9, 2019 @ 08:04:00
Author: felixonmars
Revision: 463982
upgpkg: cryptol 2.6.0-105
rebuild with exceptions 0.10.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 8, 2019 @ 14:39:40
Author: felixonmars
Revision: 463017
upgpkg: cryptol 2.6.0-104
rebuild with case-insensitive 1.2.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, May 7, 2019 @ 19:52:18
Author: felixonmars
Revision: 462462
upgpkg: cryptol 2.6.0-103
rebuild with contravariant 1.5.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, May 6, 2019 @ 19:34:46
Author: felixonmars
Revision: 461414
upgpkg: cryptol 2.6.0-102
rebuild with colour 2.3.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, May 6, 2019 @ 06:49:12
Author: felixonmars
Revision: 460474
upgpkg: cryptol 2.6.0-101
rebuild with logict 0.6.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, May 4, 2019 @ 18:22:59
Author: felixonmars
Revision: 459119
upgpkg: cryptol 2.6.0-100
rebuild with comonad 5.0.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 3, 2019 @ 06:58:44
Author: felixonmars
Revision: 458349
upgpkg: cryptol 2.6.0-99
rebuild with vector 0.12.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 1, 2019 @ 20:23:45
Author: felixonmars
Revision: 457477
upgpkg: cryptol 2.6.0-98
rebuild with aeson 1.4.3.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, April 30, 2019 @ 19:18:49
Author: felixonmars
Revision: 457050
upgpkg: cryptol 2.6.0-97
rebuild with bifunctors 5.5.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, April 29, 2019 @ 15:58:00
Author: felixonmars
Revision: 456294
upgpkg: cryptol 2.6.0-96
rebuild with generic-deriving 1.12.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, April 29, 2019 @ 08:34:27
Author: felixonmars
Revision: 455307
upgpkg: cryptol 2.6.0-95
rebuild with ghc 8.6.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, April 24, 2019 @ 13:13:14
Author: felixonmars
Revision: 453332
upgpkg: cryptol 2.6.0-94
rebuild with extra 1.6.15
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, April 21, 2019 @ 10:00:00
Author: felixonmars
Revision: 452616
upgpkg: cryptol 2.6.0-93
rebuild with integer-logarithms 1.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, April 4, 2019 @ 13:18:29
Author: felixonmars
Revision: 449189
upgpkg: cryptol 2.6.0-92
rebuild with transformers-compat 0.6.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, April 2, 2019 @ 17:34:08
Author: felixonmars
Revision: 447831
upgpkg: cryptol 2.6.0-91
rebuild with transformers-compat 0.6.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, March 31, 2019 @ 09:18:39
Author: felixonmars
Revision: 446594
upgpkg: cryptol 2.6.0-90
rebuild with dlist 0.8.0.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 28, 2019 @ 19:44:59
Author: felixonmars
Revision: 445604
upgpkg: cryptol 2.6.0-89
rebuild with base-orphans 0.8.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, March 27, 2019 @ 15:39:37
Author: felixonmars
Revision: 444501
upgpkg: cryptol 2.6.0-88
rebuild with exceptions 0.10.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, March 15, 2019 @ 18:29:28
Author: felixonmars
Revision: 442009
upgpkg: cryptol 2.6.0-87
rebuild with conduit 1.3.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, March 11, 2019 @ 19:14:24
Author: felixonmars
Revision: 439840
upgpkg: cryptol 2.6.0-86
rebuild with ghc 8.6.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 27, 2019 @ 18:10:38
Author: felixonmars
Revision: 436575
upgpkg: cryptol 2.6.0-85
rebuild with th-abstraction 0.2.11.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 16, 2019 @ 20:58:53
Author: felixonmars
Revision: 433833
upgpkg: cryptol 2.6.0-84
rebuild with hashable-time 0.2.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 16, 2019 @ 15:30:58
Author: felixonmars
Revision: 433494
upgpkg: cryptol 2.6.0-83
rebuild with simple-smt 0.9.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, February 15, 2019 @ 20:39:13
Author: felixonmars
Revision: 433030
upgpkg: cryptol 2.6.0-82
rebuild with tasty 1.2, tasty-rerun 1.1.14
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, February 12, 2019 @ 11:22:24
Author: felixonmars
Revision: 431900
upgpkg: cryptol 2.6.0-81
rebuild with libyaml 0.1.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, February 10, 2019 @ 12:41:15
Author: felixonmars
Revision: 431422
upgpkg: cryptol 2.6.0-80
rebuild with generic-deriving 1.12.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, February 7, 2019 @ 19:45:57
Author: felixonmars
Revision: 430332
upgpkg: cryptol 2.6.0-79
rebuild with vector-builder 0.3.7.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, February 3, 2019 @ 08:45:10
Author: felixonmars
Revision: 429366
upgpkg: cryptol 2.6.0-78
rebuild with mono-traversable 1.0.11.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, January 31, 2019 @ 23:51:46
Author: felixonmars
Revision: 428953
upgpkg: cryptol 2.6.0-77
rebuild with haskell-src-exts 1.21.0, hlint 2.1.14
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Thursday, January 24, 2019 @ 10:36:36
Author: felixonmars
Revision: 427481
upgpkg: cryptol 2.6.0-76
rebuild with monadLib 3.9
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, January 21, 2019 @ 16:42:28
Author: felixonmars
Revision: 426220
upgpkg: cryptol 2.6.0-75
rebuild with QuickCheck 2.12.6.1, servant 0.15, servant-server 0.15,
servant-swagger 1.1.7, hspec-discover 2.7.0, hspec-meta 2.6.0, hspec-core
2.7.0, hspec 2.7.0, hspec-contrib 0.5.1
Date: Sunday, January 20, 2019 @ 14:44:58
Author: felixonmars
Revision: 425233
upgpkg: cryptol 2.6.0-74
rebuild with pretty-show 1.9.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, January 20, 2019 @ 10:21:40
Author: felixonmars
Revision: 425026
upgpkg: cryptol 2.6.0-73
rebuild with monadLib 3.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, January 19, 2019 @ 12:57:28
Author: felixonmars
Revision: 424609
upgpkg: cryptol 2.6.0-72
rebuild with unordered-containers 0.2.10.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, January 10, 2019 @ 18:13:43
Author: felixonmars
Revision: 422012
upgpkg: cryptol 2.6.0-71
rebuild with semigroupoids 5.3.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, December 30, 2018 @ 23:10:57
Author: felixonmars
Revision: 419901
upgpkg: cryptol 2.6.0-70
rebuild with unliftio 0.2.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, December 30, 2018 @ 18:55:34
Author: felixonmars
Revision: 419605
upgpkg: cryptol 2.6.0-69
rebuild with Glob 0.10.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, December 30, 2018 @ 16:37:12
Author: felixonmars
Revision: 419366
upgpkg: cryptol 2.6.0-68
rebuild with th-abstraction 0.2.10.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 21, 2018 @ 13:44:13
Author: felixonmars
Revision: 417294
upgpkg: cryptol 2.6.0-67
rebuild with mono-traversable 1.0.10.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, December 17, 2018 @ 04:46:53
Author: felixonmars
Revision: 416497
upgpkg: cryptol 2.6.0-66
rebuild with sbv 7.13
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, December 12, 2018 @ 19:06:53
Author: felixonmars
Revision: 415746
upgpkg: cryptol 2.6.0-65
rebuild with unliftio 0.2.9.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, December 11, 2018 @ 07:18:59
Author: felixonmars
Revision: 415260
upgpkg: cryptol 2.6.0-64
rebuild with extra 1.6.14
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, December 10, 2018 @ 20:01:54
Author: felixonmars
Revision: 414474
upgpkg: cryptol 2.6.0-63
rebuild with ghc 8.6.3, cmark-gfm 0.1.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, December 8, 2018 @ 22:28:34
Author: felixonmars
Revision: 412742
upgpkg: cryptol 2.6.0-62
rebuild with vector 0.12.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Sunday, December 2, 2018 @ 16:39:27
Author: felixonmars
Revision: 410779
upgpkg: cryptol 2.6.0-61
rebuild with hlint 2.1.11
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, November 27, 2018 @ 22:10:28
Author: felixonmars
Revision: 410200
upgpkg: cryptol 2.6.0-60
rebuild with aeson 1.4.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, November 20, 2018 @ 09:29:59
Author: felixonmars
Revision: 409006
upgpkg: cryptol 2.6.0-59
rebuild with haskell-src-exts-util 0.2.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, November 18, 2018 @ 11:27:26
Author: felixonmars
Revision: 408680
upgpkg: cryptol 2.6.0-58
rebuild with crackNum 2.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, November 16, 2018 @ 13:32:16
Author: felixonmars
Revision: 408232
upgpkg: cryptol 2.6.0-57
rebuild with code-page 0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 14, 2018 @ 11:37:36
Author: felixonmars
Revision: 407351
upgpkg: cryptol 2.6.0-56
rebuild with math-functions 0.3.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, November 7, 2018 @ 19:57:28
Author: felixonmars
Revision: 403160
upgpkg: cryptol 2.6.0-55
rebuild with ghc 8.6.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, November 1, 2018 @ 11:40:54
Author: felixonmars
Revision: 401081
upgpkg: cryptol 2.6.0-54
rebuild with polyparse 1.12.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 31, 2018 @ 22:36:22
Author: felixonmars
Revision: 400878
upgpkg: cryptol 2.6.0-53
rebuild with simple-smt 0.9.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 31, 2018 @ 20:09:51
Author: felixonmars
Revision: 400484
upgpkg: cryptol 2.6.0-52
rebuild with ansi-terminal 0.8.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, October 19, 2018 @ 13:41:26
Author: felixonmars
Revision: 397564
upgpkg: cryptol 2.6.0-51
rebuild with base-compat 0.10.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, October 19, 2018 @ 02:32:59
Author: felixonmars
Revision: 396880
upgpkg: cryptol 2.6.0-50
rebuild with yaml 0.11.0.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 18, 2018 @ 13:49:58
Author: felixonmars
Revision: 396006
upgpkg: cryptol 2.6.0-49
rebuild with extra 1.6.13
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 17, 2018 @ 09:49:49
Author: felixonmars
Revision: 395031
upgpkg: cryptol 2.6.0-48
rebuild with ghc 8.6.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 11, 2018 @ 21:00:53
Author: felixonmars
Revision: 392799
upgpkg: cryptol 2.6.0-47
rebuild with tasty 1.1.0.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 10, 2018 @ 05:47:44
Author: felixonmars
Revision: 392058
upgpkg: cryptol 2.6.0-46
rebuild with yaml 0.10.4.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, October 9, 2018 @ 23:13:45
Author: felixonmars
Revision: 391907
upgpkg: cryptol 2.6.0-45
rebuild with resourcet 1.2.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, October 9, 2018 @ 13:27:14
Author: felixonmars
Revision: 391534
upgpkg: cryptol 2.6.0-44
rebuild with vector-algorithms 0.8.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, October 9, 2018 @ 09:11:25
Author: felixonmars
Revision: 391374
upgpkg: cryptol 2.6.0-43
rebuild with yaml 0.10.3.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, October 8, 2018 @ 22:19:39
Author: felixonmars
Revision: 391233
upgpkg: cryptol 2.6.0-42
rebuild with conduit 1.3.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, October 5, 2018 @ 21:11:03
Author: felixonmars
Revision: 390413
upgpkg: cryptol 2.6.0-41
rebuild with optparse-applicative 0.14.3.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, October 4, 2018 @ 14:40:54
Author: felixonmars
Revision: 389514
upgpkg: cryptol 2.6.0-40
rebuild with foldl 1.4.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, September 30, 2018 @ 06:49:32
Author: felixonmars
Revision: 388215
upgpkg: cryptol 2.6.0-39
rebuild with doctest 0.16.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, September 28, 2018 @ 19:08:18
Author: felixonmars
Revision: 387515
upgpkg: cryptol 2.6.0-38
rebuild with Glob 0.9.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, September 28, 2018 @ 08:17:57
Author: felixonmars
Revision: 386943
upgpkg: cryptol 2.6.0-37
rebuild with quickcheck-instances 0.3.19
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 27, 2018 @ 16:40:28
Author: felixonmars
Revision: 386541
upgpkg: cryptol 2.6.0-36
rebuild with haskell-lexer 1.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 27, 2018 @ 13:39:06
Author: felixonmars
Revision: 386272
upgpkg: cryptol 2.6.0-35
rebuild with aeson 1.4.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 27, 2018 @ 05:46:10
Author: felixonmars
Revision: 385807
upgpkg: cryptol 2.6.0-34
rebuild with blaze-markup 0.8.2.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, September 26, 2018 @ 18:24:32
Author: felixonmars
Revision: 385562
upgpkg: cryptol 2.6.0-33
rebuild with ChasingBottoms 1.3.1.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 25, 2018 @ 16:54:03
Author: felixonmars
Revision: 384932
upgpkg: cryptol 2.6.0-32
rebuild with unliftio 0.2.8.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 25, 2018 @ 02:03:53
Author: felixonmars
Revision: 384765
upgpkg: cryptol 2.6.0-31
rebuild with extra 1.6.12
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 25, 2018 @ 00:43:14
Author: felixonmars
Revision: 384713
upgpkg: cryptol 2.6.0-30
rebuild with sbv 7.12
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 20, 2018 @ 19:31:13
Author: felixonmars
Revision: 383784
upgpkg: cryptol 2.6.0-29
rebuild with sbv 7.11
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 20, 2018 @ 13:25:40
Author: felixonmars
Revision: 383655
upgpkg: cryptol 2.6.0-28
rebuild with haskell-src-exts 1.20.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 18, 2018 @ 18:21:12
Author: felixonmars
Revision: 383154
upgpkg: cryptol 2.6.0-27
rebuild with extra 1.6.11
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 18, 2018 @ 09:43:10
Author: felixonmars
Revision: 382994
upgpkg: cryptol 2.6.0-26
rebuild with yaml 0.10.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, September 17, 2018 @ 15:07:54
Author: felixonmars
Revision: 382506
upgpkg: cryptol 2.6.0-25
rebuild with vector-algorithms 0.8.0.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, September 15, 2018 @ 16:57:01
Author: felixonmars
Revision: 381735
upgpkg: cryptol 2.6.0-24
rebuild with ansi-terminal 0.8.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 13, 2018 @ 17:37:32
Author: felixonmars
Revision: 380444
upgpkg: cryptol 2.6.0-23
rebuild with dlist 0.8.0.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, September 12, 2018 @ 21:36:40
Author: felixonmars
Revision: 380039
upgpkg: cryptol 2.6.0-22
rebuild with pretty-show 1.8.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
301 - 400 of 537 matches
Mail list logo