Date: Sunday, March 18, 2018 @ 07:13:20
Author: felixonmars
Revision: 309016
upgpkg: cryptol 2.5.0-38
rebuild with crackNum,2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 15, 2018 @ 07:30:09
Author: felixonmars
Revision: 308223
upgpkg: cryptol 2.5.0-37
rebuild with scientific,0.3.5.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, March 13, 2018 @ 11:54:46
Author: felixonmars
Revision: 307114
upgpkg: cryptol 2.5.0-36
rebuild with ChasingBottoms,1.3.1.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 10, 2018 @ 09:32:18
Author: felixonmars
Revision: 305832
upgpkg: cryptol 2.5.0-35
rebuild with tasty,1.0.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 8, 2018 @ 12:53:46
Author: felixonmars
Revision: 304751
upgpkg: cryptol 2.5.0-34
rebuild with hashable,1.2.7.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, March 7, 2018 @ 14:56:30
Author: felixonmars
Revision: 303921
upgpkg: cryptol 2.5.0-33
rebuild with integer-logarithms,1.0.2.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, March 7, 2018 @ 08:05:20
Author: felixonmars
Revision: 303510
upgpkg: cryptol 2.5.0-32
rebuild with extra,1.6.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, March 6, 2018 @ 05:54:41
Author: felixonmars
Revision: 302887
upgpkg: cryptol 2.5.0-31
rebuild with text-short,0.1.2 tasty-quickcheck,0.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 3, 2018 @ 18:01:34
Author: felixonmars
Revision: 302251
upgpkg: cryptol 2.5.0-30
rebuild with Glob,0.9.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, March 2, 2018 @ 21:26:45
Author: felixonmars
Revision: 301630
upgpkg: cryptol 2.5.0-29
rebuild with monad-control,1.0.2.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, March 1, 2018 @ 02:40:21
Author: felixonmars
Revision: 300693
upgpkg: cryptol 2.5.0-28
rebuild with optparse-applicative,0.14.2.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, February 27, 2018 @ 20:20:14
Author: felixonmars
Revision: 299449
upgpkg: cryptol 2.5.0-27
rebuild with mtl,2.2.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, February 26, 2018 @ 17:03:55
Author: felixonmars
Revision: 298480
upgpkg: cryptol 2.5.0-26
rebuild with mmorph,1.1.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 24, 2018 @ 10:45:51
Author: felixonmars
Revision: 297695
upgpkg: cryptol 2.5.0-25
rebuild with optparse-applicative,0.14.1.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 17, 2018 @ 08:07:00
Author: felixonmars
Revision: 295856
upgpkg: cryptol 2.5.0-24
rebuild with hspec,2.4.8 hspec-core,2.4.8 hspec-discover,2.4.8
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Friday, February 16, 2018 @ 21:42:15
Author: felixonmars
Revision: 295253
upgpkg: cryptol 2.5.0-23
rebuild with tasty-golden,2.3.1.3 tasty,1.0.1 tasty-rerun,1.1.10
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, February 14, 2018 @ 18:17:58
Author: felixonmars
Revision: 294456
upgpkg: cryptol 2.5.0-22
rebuild with haskell-src-exts,1.20.1 hlint,2.1 hoogle,5.0.16
stylish-haskell,0.9.0.2 hindent,5.2.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Wednesday, February 14, 2018 @ 07:06:50
Author: felixonmars
Revision: 294051
upgpkg: cryptol 2.5.0-21
rebuild with haskell-src-exts-util,0.2.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, February 12, 2018 @ 17:07:07
Author: felixonmars
Revision: 293375
upgpkg: cryptol 2.5.0-20
rebuild with stringbuilder,0.5.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, February 12, 2018 @ 10:29:14
Author: felixonmars
Revision: 292920
upgpkg: cryptol 2.5.0-19
rebuild with aeson,1.2.4.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, February 11, 2018 @ 11:32:07
Author: felixonmars
Revision: 292179
upgpkg: cryptol 2.5.0-18
rebuild with parsec,3.1.13.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, February 10, 2018 @ 11:51:48
Author: felixonmars
Revision: 291055
upgpkg: cryptol 2.5.0-17
rebuild with unordered-containers,0.2.9.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, February 6, 2018 @ 20:00:17
Author: felixonmars
Revision: 289508
upgpkg: cryptol 2.5.0-16
rebuild with stm,2.4.5.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, January 23, 2018 @ 14:48:10
Author: felixonmars
Revision: 285654
upgpkg: cryptol 2.5.0-15
rebuild with primitive,0.6.3.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, January 16, 2018 @ 09:17:38
Author: felixonmars
Revision: 283158
upgpkg: cryptol 2.5.0-14
rebuild with sbv,7.5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, January 13, 2018 @ 02:42:18
Author: felixonmars
Revision: 281770
upgpkg: cryptol 2.5.0-13
rebuild with generic-deriving,1.12.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 28, 2017 @ 14:27:48
Author: felixonmars
Revision: 276434
upgpkg: cryptol 2.5.0-12
rebuild with text,1.2.3.0
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, December 8, 2017 @ 18:14:27
Author: felixonmars
Revision: 273366
upgpkg: cryptol 2.5.0-11
rebuild with generic-deriving,1.12
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, December 7, 2017 @ 12:33:21
Author: felixonmars
Revision: 273011
upgpkg: cryptol 2.5.0-10
rebuild with ansi-terminal,0.7.1.1 stack,1.6.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, November 27, 2017 @ 12:11:09
Author: felixonmars
Revision: 269746
upgpkg: cryptol 2.5.0-9
rebuild with ghc 8.2.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, November 9, 2017 @ 17:00:09
Author: felixonmars
Revision: 266032
upgpkg: cryptol 2.5.0-8
rebuild with sbv,7.4
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Friday, October 6, 2017 @ 17:23:39
Author: felixonmars
Revision: 261999
upgpkg: cryptol 2.5.0-7
rebuild with QuickCheck,2.10.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Tuesday, October 3, 2017 @ 03:00:07
Author: felixonmars
Revision: 261352
upgpkg: cryptol 2.5.0-6
rebuild with simple-smt,0.7.1
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, September 23, 2017 @ 15:07:40
Author: felixonmars
Revision: 259986
upgpkg: cryptol 2.5.0-5
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |7 ++-
1 file changed, 2 insertions(+), 5 deletions(-)
Modified: PKGBUILD
Date: Saturday, September 16, 2017 @ 18:03:55
Author: felixonmars
Revision: 258561
upgpkg: cryptol 2.5.0-4
rebuild with sbv,7.3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, August 30, 2017 @ 08:00:56
Author: felixonmars
Revision: 254748
upgpkg: cryptol 2.5.0-3
rebuild with sbv,7.2
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 25, 2017 @ 15:13:30
Author: felixonmars
Revision: 253383
upgpkg: cryptol 2.5.0-2
fix dependency on z3
Modified:
cryptol/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
501 - 537 of 537 matches
Mail list logo