Date: Monday, September 10, 2018 @ 21:01:06
Author: felixonmars
Revision: 379359
upgpkg: cryptol 2.6.0-21
rebuild with integer-logarithms 1.0.2.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 6, 2018 @ 23:11:08
Author: felixonmars
Revision: 378394
upgpkg: cryptol 2.6.0-20
rebuild with unliftio 0.2.8.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, September 6, 2018 @ 18:34:25
Author: felixonmars
Revision: 377864
upgpkg: cryptol 2.6.0-19
rebuild with test-framework-quickcheck2 0.3.0.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, September 4, 2018 @ 15:17:43
Author: felixonmars
Revision: 376759
upgpkg: cryptol 2.6.0-18
rebuild with foldl 1.4.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, September 3, 2018 @ 00:53:47
Author: felixonmars
Revision: 376266
upgpkg: cryptol 2.6.0-17
rebuild with math-functions 0.3.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, September 2, 2018 @ 10:23:49
Author: felixonmars
Revision: 376029
upgpkg: cryptol 2.6.0-16
rebuild with crackNum 2.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 30, 2018 @ 18:18:45
Author: felixonmars
Revision: 375643
upgpkg: cryptol 2.6.0-15
rebuild with unliftio 0.2.7.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 29, 2018 @ 23:56:14
Author: felixonmars
Revision: 375423
upgpkg: cryptol 2.6.0-14
rebuild with yaml 0.10.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 29, 2018 @ 20:08:38
Author: felixonmars
Revision: 375256
upgpkg: cryptol 2.6.0-13
rebuild with unliftio-core 0.1.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, August 28, 2018 @ 23:45:42
Author: felixonmars
Revision: 375044
upgpkg: cryptol 2.6.0-12
rebuild with yaml 0.10.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 27, 2018 @ 06:58:34
Author: felixonmars
Revision: 374705
upgpkg: cryptol 2.6.0-11
rebuild with vector-algorithms 0.7.0.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 26, 2018 @ 17:20:29
Author: felixonmars
Revision: 374443
upgpkg: cryptol 2.6.0-10
rebuild with time-locale-compat 0.1.1.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 24, 2018 @ 10:33:48
Author: felixonmars
Revision: 373666
upgpkg: cryptol 2.6.0-9
rebuild with vector-algorithms 0.7.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 23, 2018 @ 12:43:45
Author: felixonmars
Revision: 373416
upgpkg: cryptol 2.6.0-8
rebuild with yaml 0.10.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 23, 2018 @ 07:39:13
Author: felixonmars
Revision: 373342
upgpkg: cryptol 2.6.0-7
rebuild with hlint 2.1.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 17, 2018 @ 08:59:49
Author: felixonmars
Revision: 372301
upgpkg: cryptol 2.6.0-6
rebuild with StateVar 1.1.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 11, 2018 @ 17:02:55
Author: felixonmars
Revision: 371155
upgpkg: cryptol 2.6.0-5
rebuild with hlint 2.1.9
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 11, 2018 @ 09:42:19
Author: felixonmars
Revision: 371047
upgpkg: cryptol 2.6.0-4
rebuild with pretty-show 1.8.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 8, 2018 @ 03:36:51
Author: felixonmars
Revision: 370257
upgpkg: cryptol 2.6.0-3
rebuild with aeson 1.4.0.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 5, 2018 @ 06:50:23
Author: felixonmars
Revision: 368275
upgpkg: cryptol 2.6.0-2
rebuild with foldl 1.4.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 5, 2018 @ 03:17:27
Author: felixonmars
Revision: 368151
upgpkg: cryptol 2.6.0-1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD | 15 ++-
1 file changed, 6 insertions(+), 9 deletions(-)
Modified: PKGBUILD
Date: Saturday, August 4, 2018 @ 03:50:02
Author: felixonmars
Revision: 367800
upgpkg: cryptol 2.5.0.20180515-60
rebuild with vector-builder 0.3.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, August 2, 2018 @ 15:54:20
Author: felixonmars
Revision: 367369
upgpkg: cryptol 2.5.0.20180515-59
rebuild with mono-traversable 1.0.9.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, July 29, 2018 @ 11:45:15
Author: felixonmars
Revision: 364460
upgpkg: cryptol 2.5.0.20180515-58
rebuild with tasty 1.1.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, July 21, 2018 @ 08:05:04
Author: felixonmars
Revision: 362684
upgpkg: cryptol 2.5.0.20180515-57
rebuild with sbv 7.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, July 21, 2018 @ 05:51:45
Author: felixonmars
Revision: 362651
upgpkg: cryptol 2.5.0.20180515-56
rebuild with crackNum 2.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, July 18, 2018 @ 14:49:00
Author: felixonmars
Revision: 362022
upgpkg: cryptol 2.5.0.20180515-55
rebuild with doctest 0.16.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, July 17, 2018 @ 17:43:21
Author: felixonmars
Revision: 361075
upgpkg: cryptol 2.5.0.20180515-54
rebuild with hspec 2.5.5, hspec-core 2.5.5, hspec-discover 2.5.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, July 16, 2018 @ 21:04:01
Author: felixonmars
Revision: 360259
upgpkg: cryptol 2.5.0.20180515-53
rebuild with math-functions 0.3.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, July 16, 2018 @ 17:45:38
Author: felixonmars
Revision: 360011
upgpkg: cryptol 2.5.0.20180515-52
rebuild with mwc-random 0.14.0.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, July 14, 2018 @ 21:53:55
Author: felixonmars
Revision: 359486
upgpkg: cryptol 2.5.0.20180515-51
rebuild with simple-smt 0.9.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, July 14, 2018 @ 14:34:57
Author: felixonmars
Revision: 359138
upgpkg: cryptol 2.5.0.20180515-50
rebuild with contravariant 1.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, July 14, 2018 @ 03:40:27
Author: felixonmars
Revision: 358874
upgpkg: cryptol 2.5.0.20180515-49
rebuild with extra 1.6.9
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, July 13, 2018 @ 18:52:27
Author: felixonmars
Revision: 358747
upgpkg: cryptol 2.5.0.20180515-48
rebuild with yaml 0.9.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, July 12, 2018 @ 20:13:38
Author: felixonmars
Revision: 358154
upgpkg: cryptol 2.5.0.20180515-47
rebuild with distributive 0.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, July 12, 2018 @ 08:56:42
Author: felixonmars
Revision: 357612
upgpkg: cryptol 2.5.0.20180515-46
rebuild with hspec 2.5.4, hspec-core 2.5.4, hspec-discover 2.5.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Tuesday, July 10, 2018 @ 23:35:45
Author: felixonmars
Revision: 356620
upgpkg: cryptol 2.5.0.20180515-45
rebuild with base-compat 0.10.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, July 10, 2018 @ 02:51:58
Author: felixonmars
Revision: 355964
upgpkg: cryptol 2.5.0.20180515-44
rebuild with yaml 0.8.32
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, July 9, 2018 @ 16:32:30
Author: felixonmars
Revision: 355930
upgpkg: cryptol 2.5.0.20180515-43
rebuild with hlint 2.1.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, July 8, 2018 @ 23:38:17
Author: felixonmars
Revision: 355497
upgpkg: cryptol 2.5.0.20180515-42
rebuild with bifunctors 5.5.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, July 8, 2018 @ 17:36:41
Author: felixonmars
Revision: 355137
upgpkg: cryptol 2.5.0.20180515-41
rebuild with yaml 0.8.31.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, July 7, 2018 @ 22:05:49
Author: felixonmars
Revision: 354226
upgpkg: cryptol 2.5.0.20180515-40
rebuild with hspec 2.5.3, hspec-core 2.5.3, hspec-discover 2.5.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Friday, July 6, 2018 @ 08:40:51
Author: felixonmars
Revision: 353454
upgpkg: cryptol 2.5.0.20180515-39
rebuild with foldl 1.4.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, July 5, 2018 @ 22:57:26
Author: felixonmars
Revision: 353260
upgpkg: cryptol 2.5.0.20180515-38
rebuild with smallcheck 1.1.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, July 5, 2018 @ 18:05:54
Author: felixonmars
Revision: 353035
upgpkg: cryptol 2.5.0.20180515-37
rebuild with profunctors 5.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, July 4, 2018 @ 21:23:11
Author: felixonmars
Revision: 352218
upgpkg: cryptol 2.5.0.20180515-36
rebuild with semigroupoids 5.3.1, base-orphans 0.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Wednesday, July 4, 2018 @ 10:34:13
Author: felixonmars
Revision: 351645
upgpkg: cryptol 2.5.0.20180515-35
rebuild with hlint 2.1.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, July 3, 2018 @ 13:50:22
Author: felixonmars
Revision: 351003
upgpkg: cryptol 2.5.0.20180515-34
rebuild with tagged 0.8.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, July 2, 2018 @ 15:51:25
Author: felixonmars
Revision: 349897
upgpkg: cryptol 2.5.0.20180515-33
rebuild with comonad 5.0.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, July 2, 2018 @ 09:31:35
Author: felixonmars
Revision: 349454
upgpkg: cryptol 2.5.0.20180515-32
rebuild with th-abstraction 0.2.8.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 30, 2018 @ 16:02:46
Author: felixonmars
Revision: 348377
upgpkg: cryptol 2.5.0.20180515-31
rebuild with foldl 1.4.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, June 28, 2018 @ 21:23:07
Author: felixonmars
Revision: 347697
upgpkg: cryptol 2.5.0.20180515-30
rebuild with generic-deriving 1.12.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, June 28, 2018 @ 18:41:18
Author: felixonmars
Revision: 347472
upgpkg: cryptol 2.5.0.20180515-29
rebuild with yaml 0.8.31
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, June 28, 2018 @ 17:40:21
Author: felixonmars
Revision: 347151
upgpkg: cryptol 2.5.0.20180515-28
rebuild with hspec 2.5.2, hspec-core 2.5.2, hspec-discover 2.5.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, June 25, 2018 @ 07:05:11
Author: felixonmars
Revision: 345506
upgpkg: cryptol 2.5.0.20180515-27
rebuild with tasty 1.1.0.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 23, 2018 @ 05:48:00
Author: felixonmars
Revision: 344779
upgpkg: cryptol 2.5.0.20180515-26
rebuild with tasty-golden 2.3.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, June 22, 2018 @ 11:42:53
Author: felixonmars
Revision: 344483
upgpkg: cryptol 2.5.0.20180515-25
rebuild with conduit 1.3.0.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, June 18, 2018 @ 09:37:50
Author: felixonmars
Revision: 343810
upgpkg: cryptol 2.5.0.20180515-24
rebuild with th-abstraction 0.2.7.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 16, 2018 @ 23:58:49
Author: felixonmars
Revision: 343423
upgpkg: cryptol 2.5.0.20180515-23
rebuild with hlint 2.1.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 16, 2018 @ 03:18:00
Author: felixonmars
Revision: 343346
upgpkg: cryptol 2.5.0.20180515-22
rebuild with sbv 7.9
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, June 14, 2018 @ 16:45:50
Author: felixonmars
Revision: 343085
upgpkg: cryptol 2.5.0.20180515-21
rebuild with blaze-html 0.9.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, June 12, 2018 @ 14:44:27
Author: felixonmars
Revision: 342532
upgpkg: cryptol 2.5.0.20180515-20
rebuild with blaze-html 0.9.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, June 6, 2018 @ 16:52:41
Author: felixonmars
Revision: 341365
upgpkg: cryptol 2.5.0.20180515-19
rebuild with base-prelude 1.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, June 3, 2018 @ 11:28:54
Author: felixonmars
Revision: 339098
upgpkg: cryptol 2.5.0.20180515-18
rebuild with tasty 1.1.0.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, June 2, 2018 @ 18:44:38
Author: felixonmars
Revision: 338048
upgpkg: cryptol 2.5.0.20180515-17
rebuild with primitive 0.6.4.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, June 1, 2018 @ 17:50:58
Author: felixonmars
Revision: 336356
upgpkg: cryptol 2.5.0.20180515-16
rebuild with ghc 8.4.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 31, 2018 @ 07:57:37
Author: felixonmars
Revision: 334313
upgpkg: cryptol 2.5.0.20180515-15
rebuild with temporary 1.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, May 28, 2018 @ 17:23:57
Author: felixonmars
Revision: 332792
upgpkg: cryptol 2.5.0.20180515-14
rebuild with exceptions 0.10.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 27, 2018 @ 18:23:49
Author: felixonmars
Revision: 331979
upgpkg: cryptol 2.5.0.20180515-13
rebuild with extra 1.6.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 27, 2018 @ 09:24:32
Author: felixonmars
Revision: 331508
upgpkg: cryptol 2.5.0.20180515-12
rebuild with transformers-base 0.4.5.2 transformers-compat 0.6.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, May 26, 2018 @ 07:29:57
Author: felixonmars
Revision: 329754
upgpkg: cryptol 2.5.0.20180515-11
rebuild with hspec,2.5.1 hspec-core,2.5.1 hspec-discover,2.5.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, May 24, 2018 @ 19:41:26
Author: felixonmars
Revision: 329059
upgpkg: cryptol 2.5.0.20180515-10
rebuild with extra,1.6.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 24, 2018 @ 17:27:01
Author: felixonmars
Revision: 328863
upgpkg: cryptol 2.5.0.20180515-9
rebuild with base-orphans,0.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 23, 2018 @ 14:07:03
Author: felixonmars
Revision: 328218
upgpkg: cryptol 2.5.0.20180515-8
rebuild with safe,0.3.17
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, May 22, 2018 @ 04:29:42
Author: felixonmars
Revision: 326847
upgpkg: cryptol 2.5.0.20180515-7
rebuild with ansi-terminal,0.8.0.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, May 21, 2018 @ 12:33:49
Author: felixonmars
Revision: 326126
upgpkg: cryptol 2.5.0.20180515-6
rebuild with async,2.2.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 20, 2018 @ 05:48:27
Author: felixonmars
Revision: 325048
upgpkg: cryptol 2.5.0.20180515-5
rebuild with sbv,7.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, May 20, 2018 @ 05:26:15
Author: felixonmars
Revision: 325030
upgpkg: cryptol 2.5.0.20180515-4
rebuild with haskell-src-exts-util,0.2.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, May 19, 2018 @ 20:37:25
Author: felixonmars
Revision: 324883
upgpkg: cryptol 2.5.0.20180515-3
rebuild with html-conduit,1.3.0 conduit,1.3.0.2 resourcet,1.2.1
xml-conduit,1.8.0 aws,0.20 http-conduit,2.3.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
Date: Saturday, May 19, 2018 @ 17:31:43
Author: felixonmars
Revision: 324737
upgpkg: cryptol 2.5.0.20180515-2
rebuild with base-compat,0.10.1 aeson,1.3.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |5 -
1 file changed, 4 insertions(+), 1 deletion(-)
Modified:
Date: Friday, May 18, 2018 @ 07:22:38
Author: felixonmars
Revision: 324253
upgpkg: cryptol 2.5.0.20180515-1
rebuild with ghc 8.4.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD | 20
1 file changed, 12 insertions(+), 8 deletions(-)
Modified: PKGBUILD
Date: Sunday, May 13, 2018 @ 06:49:28
Author: felixonmars
Revision: 321478
upgpkg: cryptol 2.5.0-57
rebuild with time-locale-compat,0.1.1.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, May 12, 2018 @ 19:23:15
Author: felixonmars
Revision: 321223
upgpkg: cryptol 2.5.0-56
rebuild with smallcheck,1.1.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, May 12, 2018 @ 16:10:56
Author: felixonmars
Revision: 321096
upgpkg: cryptol 2.5.0-55
rebuild with simple-smt,0.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 11, 2018 @ 14:04:14
Author: felixonmars
Revision: 320760
upgpkg: cryptol 2.5.0-54
rebuild with yaml,0.8.30
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 11, 2018 @ 08:38:41
Author: felixonmars
Revision: 320634
upgpkg: cryptol 2.5.0-53
rebuild with hlint,2.1.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, May 11, 2018 @ 02:14:51
Author: felixonmars
Revision: 320493
upgpkg: cryptol 2.5.0-52
rebuild with sbv,7.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 10, 2018 @ 11:47:05
Author: felixonmars
Revision: 320240
upgpkg: cryptol 2.5.0-51
rebuild with scientific,0.3.6.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 9, 2018 @ 05:23:19
Author: felixonmars
Revision: 319775
upgpkg: cryptol 2.5.0-50
rebuild with smtLib,1.0.9
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, May 7, 2018 @ 21:55:16
Author: felixonmars
Revision: 319474
upgpkg: cryptol 2.5.0-49
rebuild with scientific,0.3.6.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, April 27, 2018 @ 05:20:56
Author: felixonmars
Revision: 318240
upgpkg: cryptol 2.5.0-48
rebuild with extra,1.6.6 hlint,2.1.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, April 8, 2018 @ 22:14:10
Author: felixonmars
Revision: 315354
upgpkg: cryptol 2.5.0-47
rebuild with extra,1.6.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, April 8, 2018 @ 19:23:56
Author: felixonmars
Revision: 315197
upgpkg: cryptol 2.5.0-46
rebuild with pretty-show,1.7
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, April 4, 2018 @ 14:42:50
Author: felixonmars
Revision: 314138
upgpkg: cryptol 2.5.0-45
rebuild with hlint,2.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, April 2, 2018 @ 10:47:30
Author: felixonmars
Revision: 313850
upgpkg: cryptol 2.5.0-44
rebuild with yaml,0.8.29
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, March 25, 2018 @ 08:09:29
Author: felixonmars
Revision: 312317
upgpkg: cryptol 2.5.0-43
rebuild with hspec,2.5.0 hspec-core,2.5.0 hspec-discover,2.5.0
hspec-contrib,0.5.0 hspec-smallcheck,0.5.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Friday, March 23, 2018 @ 17:46:37
Author: felixonmars
Revision: 311525
upgpkg: cryptol 2.5.0-42
rebuild with lifted-base,0.2.3.12
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, March 23, 2018 @ 00:21:39
Author: felixonmars
Revision: 311125
upgpkg: cryptol 2.5.0-41
rebuild with haskell-src-exts,1.20.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 22, 2018 @ 22:31:25
Author: felixonmars
Revision: 310923
upgpkg: cryptol 2.5.0-40
rebuild with mmorph,1.1.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, March 19, 2018 @ 07:12:25
Author: felixonmars
Revision: 309136
upgpkg: cryptol 2.5.0-39
rebuild with sbv,7.6
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
401 - 500 of 537 matches
Mail list logo