[arch-commits] Commit in cryptol/trunk (PKGBUILD)
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 === --- PKGBUILD2020-12-28 13:49:46 UTC (rev 794945) +++ PKGBUILD2020-12-28 13:52:24 UTC (rev 794946) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=24 +pkgrel=25 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-26 23:16:46 UTC (rev 793215) +++ PKGBUILD2020-12-26 23:19:21 UTC (rev 793216) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=23 +pkgrel=24 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-26 05:17:27 UTC (rev 791980) +++ PKGBUILD2020-12-26 05:19:58 UTC (rev 791981) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=22 +pkgrel=23 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-25 10:30:47 UTC (rev 790024) +++ PKGBUILD2020-12-25 10:31:00 UTC (rev 790025) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=21 +pkgrel=22 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-24 15:01:03 UTC (rev 788213) +++ PKGBUILD2020-12-24 15:03:32 UTC (rev 788214) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=20 +pkgrel=21 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-24 12:28:32 UTC (rev 787161) +++ PKGBUILD2020-12-24 12:31:07 UTC (rev 787162) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=19 +pkgrel=20 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-23 19:32:20 UTC (rev 785148) +++ PKGBUILD2020-12-23 19:34:43 UTC (rev 785149) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=18 +pkgrel=19 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-23 18:43:04 UTC (rev 785078) +++ PKGBUILD2020-12-23 18:46:50 UTC (rev 785079) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=17 +pkgrel=18 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-23 12:25:07 UTC (rev 784190) +++ PKGBUILD2020-12-23 12:28:33 UTC (rev 784191) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=16 +pkgrel=17 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-22 18:03:09 UTC (rev 782703) +++ PKGBUILD2020-12-22 18:06:31 UTC (rev 782704) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=15 +pkgrel=16 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-22 12:11:18 UTC (rev 781952) +++ PKGBUILD2020-12-22 12:11:48 UTC (rev 781953) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=14 +pkgrel=15 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-18 20:14:42 UTC (rev 779541) +++ PKGBUILD2020-12-18 20:18:02 UTC (rev 779542) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=13 +pkgrel=14 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-18 15:03:59 UTC (rev 778702) +++ PKGBUILD2020-12-18 15:07:18 UTC (rev 778703) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=12 +pkgrel=13 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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: PKGBUILD === --- PKGBUILD2020-12-16 12:27:25 UTC (rev 776657) +++ PKGBUILD2020-12-16 12:32:41 UTC (rev 776658) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=11 +pkgrel=12 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (PKGBUILD)
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(-) Modified: PKGBUILD === --- PKGBUILD2020-12-15 20:30:26 UTC (rev 776177) +++ PKGBUILD2020-12-15 20:34:04 UTC (rev 776178) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=10 +pkgrel=11 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (PKGBUILD)
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 === --- PKGBUILD2020-12-14 12:17:18 UTC (rev 774938) +++ PKGBUILD2020-12-14 12:20:37 UTC (rev 774939) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=9 +pkgrel=10 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-09 09:51:11 UTC (rev 772388) +++ PKGBUILD2020-12-09 09:54:56 UTC (rev 772389) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=8 +pkgrel=9 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-08 19:19:35 UTC (rev 772023) +++ PKGBUILD2020-12-08 19:22:41 UTC (rev 772024) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=7 +pkgrel=8 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-05 00:52:58 UTC (rev 770338) +++ PKGBUILD2020-12-05 00:56:18 UTC (rev 770339) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=6 +pkgrel=7 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-12-04 08:36:37 UTC (rev 769893) +++ PKGBUILD2020-12-04 08:39:57 UTC (rev 769894) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=5 +pkgrel=6 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-30 21:44:45 UTC (rev 766772) +++ PKGBUILD2020-11-30 21:49:11 UTC (rev 766773) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=4 +pkgrel=5 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-28 09:51:20 UTC (rev 765061) +++ PKGBUILD2020-11-28 09:58:52 UTC (rev 765062) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=3 +pkgrel=4 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-26 04:13:59 UTC (rev 761420) +++ PKGBUILD2020-11-26 04:17:41 UTC (rev 761421) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=2 +pkgrel=3 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-23 17:32:38 UTC (rev 760039) +++ PKGBUILD2020-11-23 17:36:10 UTC (rev 760040) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=1 +pkgrel=2 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (PKGBUILD sbv-8.8.patch)
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 2 files changed, 115 insertions(+), 8 deletions(-) Modified: PKGBUILD === --- PKGBUILD2020-11-21 12:34:21 UTC (rev 758478) +++ PKGBUILD2020-11-21 12:36:31 UTC (rev 758479) @@ -1,8 +1,8 @@ # Maintainer: Felix Yan pkgname=cryptol -pkgver=2.9.1 -pkgrel=44 +pkgver=2.10.0 +pkgrel=1 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD") @@ -9,14 +9,20 @@ arch=('x86_64') depends=('ghc-libs' 'z3' 'haskell-async' 'haskell-base-compat' 'haskell-bv-sized' 'haskell-cryptohash-sha1' 'haskell-exceptions' 'haskell-gitrev' 'haskell-graphscc' - 'haskell-heredoc' 'haskell-libbf' 'haskell-monad-control' 'haskell-monadlib' - 'haskell-parameterized-utils' 'haskell-panic' 'haskell-random' 'haskell-sbv8.7' - 'haskell-simple-smt' 'haskell-strict' 'haskell-tf-random' 'haskell-transformers-base' - 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html') + 'haskell-heredoc' 'haskell-libbf' 'haskell-memotrie' 'haskell-monad-control' + 'haskell-monadlib' 'haskell-parameterized-utils' 'haskell-panic' 'haskell-random' + 'haskell-sbv' 'haskell-simple-smt' 'haskell-strict' 'haskell-tf-random' + 'haskell-transformers-base' 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html') makedepends=('ghc' 'alex' 'happy') -source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz;) -sha512sums=('42c9058035f30e27dc30a17e901df87072939a84867cd2723ecf9e67e51cc53a308c38369dd7353bd2df043baa5f9f94c34a94ac52bcd6b45bfad8a67810f975') +source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz; +sbv-8.8.patch) +sha512sums=('efb5f048a23de2040716d210b3d59071744d97989920266206590320585850a84de989851ed94687995874d74a3e6986d2e735e636aaa9f70f8949604ab62904' + 'da4ac99c538a935eed9efd98dd6c57f24ad12d8effe328a814661ed02395445d28c8b4f43b48492171dc0bd65c6568fe7641de94e32765d51ab208a38f09d2d2') +prepare() { +patch -d $pkgname-$pkgver -p1 < sbv-8.8.patch +} + build() { cd "${srcdir}/${pkgname}-${pkgver}" Added: sbv-8.8.patch === --- sbv-8.8.patch (rev 0) +++ sbv-8.8.patch 2020-11-21 12:36:31 UTC (rev 758479) @@ -0,0 +1,101 @@ +diff --git a/cryptol.cabal b/cryptol.cabal +index 24eb2929..e65d3ed7 100644 +--- a/cryptol.cabal b/cryptol.cabal +@@ -65,7 +65,7 @@ library +pretty>= 1.1, +process >= 1.2, +random>= 1.0.1, +- sbv >= 8.6 && < 8.8, ++ sbv >= 8.6 && < 8.10, +simple-smt>= 0.7.1, +stm >= 2.4, +strict, +diff --git a/src/Cryptol/Backend/SBV.hs b/src/Cryptol/Backend/SBV.hs +index 6a4d8b00..50e4e087 100644 +--- a/src/Cryptol/Backend/SBV.hs b/src/Cryptol/Backend/SBV.hs +@@ -6,6 +6,7 @@ + -- Stability : provisional + -- Portability : portable + ++{-# LANGUAGE CPP #-} + {-# LANGUAGE DeriveFunctor #-} + {-# LANGUAGE FlexibleInstances #-} + {-# LANGUAGE GeneralizedNewtypeDeriving #-} +@@ -73,17 +74,24 @@ unpackSBV x = [ svTestBit x i | i <- reverse [0 .. intSizeOf x - 1] ] + literalSWord :: Int -> Integer -> SWord SBV + literalSWord w i = svInteger (KBounded False w) i + ++svMkSymVar_ :: Maybe Quantifier -> Kind -> Maybe String -> SBV.State -> IO SVal ++#if MIN_VERSION_sbv(8,8,0) ++svMkSymVar_ a b c = svMkSymVar (SBV.NonQueryVar a) b c ++#else ++svMkSymVar_ a b c = svMkSymVar a b c ++#endif ++ + freshBV_ :: SBV -> Int -> IO (SWord SBV) + freshBV_ (SBV stateVar _) w = +- withMVar stateVar (svMkSymVar Nothing (KBounded False w) Nothing) ++ withMVar stateVar (svMkSymVar_ Nothing (KBounded False w) Nothing) + + freshSBool_ :: SBV -> IO (SBit SBV) + freshSBool_ (SBV stateVar _) = +- withMVar stateVar (svMkSymVar Nothing KBool Nothing) ++ withMVar stateVar (svMkSymVar_ Nothing KBool Nothing) + + freshSInteger_ :: SBV -> IO (SInteger SBV) + freshSInteger_ (SBV stateVar _) = +- withMVar stateVar (svMkSymVar Nothing KUnbounded Nothing) ++ withMVar stateVar (svMkSymVar_ Nothing KUnbounded Nothing) + + + -- SBV Evaluation monad --- +diff --git a/src/Cryptol/Symbolic/SBV.hs b/src/Cryptol/Symbolic/SBV.hs +index 2f97100e..7421db91 100644 +--- a/src/Cryptol/Symbolic/SBV.hs b/src/Cryptol/Symbolic/SBV.hs +@@ -6,6 +6,7 @@ + --
[arch-commits] Commit in cryptol/trunk (PKGBUILD)
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 === --- PKGBUILD2020-11-17 13:24:41 UTC (rev 756766) +++ PKGBUILD2020-11-17 13:28:02 UTC (rev 756767) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=43 +pkgrel=44 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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(-) Modified: PKGBUILD === --- PKGBUILD2020-11-17 06:41:08 UTC (rev 756014) +++ PKGBUILD2020-11-17 06:44:59 UTC (rev 756015) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=42 +pkgrel=43 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (PKGBUILD)
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 === --- PKGBUILD2020-11-08 11:40:17 UTC (rev 746506) +++ PKGBUILD2020-11-08 11:41:13 UTC (rev 746507) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=41 +pkgrel=42 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-07 14:44:04 UTC (rev 745819) +++ PKGBUILD2020-11-07 14:47:20 UTC (rev 745820) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=40 +pkgrel=41 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-06 19:13:12 UTC (rev 744524) +++ PKGBUILD2020-11-06 19:15:32 UTC (rev 744525) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=39 +pkgrel=40 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-04 17:41:09 UTC (rev 742451) +++ PKGBUILD2020-11-04 17:44:08 UTC (rev 742452) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=38 +pkgrel=39 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-04 14:17:15 UTC (rev 742045) +++ PKGBUILD2020-11-04 14:20:09 UTC (rev 742046) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=37 +pkgrel=38 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-03 19:25:19 UTC (rev 741262) +++ PKGBUILD2020-11-03 19:28:24 UTC (rev 741263) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=36 +pkgrel=37 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-03 10:05:40 UTC (rev 740524) +++ PKGBUILD2020-11-03 10:08:54 UTC (rev 740525) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=35 +pkgrel=36 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-11-01 02:28:52 UTC (rev 738132) +++ PKGBUILD2020-11-01 02:31:34 UTC (rev 738133) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=34 +pkgrel=35 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-28 11:09:04 UTC (rev 735424) +++ PKGBUILD2020-10-28 11:11:40 UTC (rev 735425) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=33 +pkgrel=34 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (PKGBUILD)
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 === --- PKGBUILD2020-10-25 23:51:46 UTC (rev 733735) +++ PKGBUILD2020-10-25 23:54:18 UTC (rev 733736) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=32 +pkgrel=33 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-25 14:32:45 UTC (rev 732682) +++ PKGBUILD2020-10-25 14:35:16 UTC (rev 732683) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=31 +pkgrel=32 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-24 09:46:29 UTC (rev 731141) +++ PKGBUILD2020-10-24 09:48:33 UTC (rev 731142) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=30 +pkgrel=31 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-23 09:44:59 UTC (rev 730644) +++ PKGBUILD2020-10-23 09:47:21 UTC (rev 730645) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=29 +pkgrel=30 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-22 23:52:15 UTC (rev 730368) +++ PKGBUILD2020-10-22 23:54:35 UTC (rev 730369) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=28 +pkgrel=29 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-22 18:29:08 UTC (rev 729374) +++ PKGBUILD2020-10-22 18:29:17 UTC (rev 729375) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=27 +pkgrel=28 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-19 21:25:30 UTC (rev 727348) +++ PKGBUILD2020-10-19 21:28:43 UTC (rev 727349) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=26 +pkgrel=27 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-18 23:24:57 UTC (rev 726933) +++ PKGBUILD2020-10-18 23:28:23 UTC (rev 726934) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=25 +pkgrel=26 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-18 13:16:18 UTC (rev 726008) +++ PKGBUILD2020-10-18 13:19:33 UTC (rev 726009) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=24 +pkgrel=25 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-15 17:41:32 UTC (rev 724213) +++ PKGBUILD2020-10-15 17:43:53 UTC (rev 724214) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=23 +pkgrel=24 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-14 21:17:25 UTC (rev 724000) +++ PKGBUILD2020-10-14 21:19:45 UTC (rev 724001) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=22 +pkgrel=23 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-10 09:35:51 UTC (rev 723023) +++ PKGBUILD2020-10-10 09:38:30 UTC (rev 723024) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=21 +pkgrel=22 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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(-) Modified: PKGBUILD === --- PKGBUILD2020-10-07 19:28:53 UTC (rev 720898) +++ PKGBUILD2020-10-07 19:31:10 UTC (rev 720899) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=20 +pkgrel=21 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (PKGBUILD)
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 === --- PKGBUILD2020-10-05 22:10:53 UTC (rev 719191) +++ PKGBUILD2020-10-05 22:13:18 UTC (rev 719192) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=19 +pkgrel=20 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-05 18:58:56 UTC (rev 718919) +++ PKGBUILD2020-10-05 19:01:32 UTC (rev 718920) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=18 +pkgrel=19 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-04 18:11:48 UTC (rev 717827) +++ PKGBUILD2020-10-04 18:14:14 UTC (rev 717828) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=17 +pkgrel=18 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-10-02 21:08:46 UTC (rev 715701) +++ PKGBUILD2020-10-02 21:11:07 UTC (rev 715702) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=16 +pkgrel=17 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-29 20:10:02 UTC (rev 713812) +++ PKGBUILD2020-09-29 20:12:22 UTC (rev 713813) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=15 +pkgrel=16 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-28 21:11:05 UTC (rev 713379) +++ PKGBUILD2020-09-28 21:13:31 UTC (rev 713380) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=14 +pkgrel=15 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-24 14:36:08 UTC (rev 711828) +++ PKGBUILD2020-09-24 14:38:38 UTC (rev 711829) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=13 +pkgrel=14 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-24 14:19:18 UTC (rev 711815) +++ PKGBUILD2020-09-24 14:22:06 UTC (rev 711816) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=12 +pkgrel=13 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-24 13:30:17 UTC (rev 711749) +++ PKGBUILD2020-09-24 13:32:58 UTC (rev 711750) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=11 +pkgrel=12 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-19 01:31:39 UTC (rev 710834) +++ PKGBUILD2020-09-19 01:34:03 UTC (rev 710835) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=10 +pkgrel=11 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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(-) Modified: PKGBUILD === --- PKGBUILD2020-09-18 12:07:02 UTC (rev 710015) +++ PKGBUILD2020-09-18 12:09:34 UTC (rev 710016) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=9 +pkgrel=10 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (PKGBUILD)
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 === --- PKGBUILD2020-09-16 16:01:25 UTC (rev 708134) +++ PKGBUILD2020-09-16 16:03:49 UTC (rev 708135) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=8 +pkgrel=9 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-16 14:13:24 UTC (rev 708038) +++ PKGBUILD2020-09-16 14:15:53 UTC (rev 708039) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=7 +pkgrel=8 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-16 10:45:09 UTC (rev 707389) +++ PKGBUILD2020-09-16 11:03:37 UTC (rev 707390) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=6 +pkgrel=7 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-14 12:18:21 UTC (rev 705977) +++ PKGBUILD2020-09-14 12:27:13 UTC (rev 705978) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=5 +pkgrel=6 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD") @@ -10,7 +10,7 @@ depends=('ghc-libs' 'z3' 'haskell-async' 'haskell-base-compat' 'haskell-bv-sized' 'haskell-cryptohash-sha1' 'haskell-exceptions' 'haskell-gitrev' 'haskell-graphscc' 'haskell-heredoc' 'haskell-libbf' 'haskell-monad-control' 'haskell-monadlib' - 'haskell-parameterized-utils' 'haskell-panic' 'haskell-random' 'haskell-sbv' + 'haskell-parameterized-utils' 'haskell-panic' 'haskell-random' 'haskell-sbv8.7' 'haskell-simple-smt' 'haskell-strict' 'haskell-tf-random' 'haskell-transformers-base' 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html') makedepends=('ghc' 'alex' 'happy')
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-13 20:15:58 UTC (rev 705240) +++ PKGBUILD2020-09-13 20:15:59 UTC (rev 705241) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=4 +pkgrel=5 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-12 02:02:22 UTC (rev 703077) +++ PKGBUILD2020-09-12 02:05:35 UTC (rev 703078) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=3 +pkgrel=4 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-08 23:26:36 UTC (rev 701433) +++ PKGBUILD2020-09-08 23:29:47 UTC (rev 701434) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=2 +pkgrel=3 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-08 22:25:11 UTC (rev 701395) +++ PKGBUILD2020-09-08 22:26:51 UTC (rev 701396) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=1 +pkgrel=2 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-08 21:13:09 UTC (rev 701329) +++ PKGBUILD2020-09-08 21:14:53 UTC (rev 701330) @@ -1,8 +1,8 @@ # Maintainer: Felix Yan pkgname=cryptol -pkgver=2.9.0 -pkgrel=40 +pkgver=2.9.1 +pkgrel=1 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD") @@ -15,7 +15,7 @@ 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html') makedepends=('ghc' 'alex' 'happy') source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz;) -sha512sums=('3b577c117f901b6263574be0b0e34c469f0cbea1238e10fa61a8d630d46a36944341edc412dc04caef5c75083f1cccb91f6f5f9c07d81124876418157397ae27') +sha512sums=('42c9058035f30e27dc30a17e901df87072939a84867cd2723ecf9e67e51cc53a308c38369dd7353bd2df043baa5f9f94c34a94ac52bcd6b45bfad8a67810f975') build() { cd "${srcdir}/${pkgname}-${pkgver}"
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-08 15:36:52 UTC (rev 701260) +++ PKGBUILD2020-09-08 15:40:09 UTC (rev 701261) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=39 +pkgrel=40 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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(-) Modified: PKGBUILD === --- PKGBUILD2020-09-08 00:55:57 UTC (rev 700587) +++ PKGBUILD2020-09-08 00:59:14 UTC (rev 700588) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=38 +pkgrel=39 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (PKGBUILD)
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 === --- PKGBUILD2020-09-05 01:51:53 UTC (rev 698820) +++ PKGBUILD2020-09-05 01:55:39 UTC (rev 698821) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=37 +pkgrel=38 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-04 00:34:03 UTC (rev 697831) +++ PKGBUILD2020-09-04 00:38:06 UTC (rev 697832) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=36 +pkgrel=37 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-01 22:15:54 UTC (rev 696050) +++ PKGBUILD2020-09-01 22:19:46 UTC (rev 696051) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=35 +pkgrel=36 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-01 15:20:05 UTC (rev 695588) +++ PKGBUILD2020-09-01 15:24:10 UTC (rev 695589) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=34 +pkgrel=35 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-09-01 10:28:26 UTC (rev 695351) +++ PKGBUILD2020-09-01 10:32:32 UTC (rev 695352) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=33 +pkgrel=34 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-31 20:28:26 UTC (rev 694402) +++ PKGBUILD2020-08-31 20:32:20 UTC (rev 694403) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=32 +pkgrel=33 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-29 22:09:35 UTC (rev 692286) +++ PKGBUILD2020-08-29 22:12:55 UTC (rev 692287) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=31 +pkgrel=32 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-29 03:52:18 UTC (rev 691525) +++ PKGBUILD2020-08-29 03:55:55 UTC (rev 691526) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=30 +pkgrel=31 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-27 00:03:07 UTC (rev 689207) +++ PKGBUILD2020-08-27 00:06:17 UTC (rev 689208) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=29 +pkgrel=30 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-22 20:53:52 UTC (rev 686847) +++ PKGBUILD2020-08-22 20:57:31 UTC (rev 686848) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=28 +pkgrel=29 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-21 14:24:24 UTC (rev 686062) +++ PKGBUILD2020-08-21 14:28:20 UTC (rev 686063) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=27 +pkgrel=28 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-20 16:33:08 UTC (rev 685573) +++ PKGBUILD2020-08-20 16:37:42 UTC (rev 685574) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=26 +pkgrel=27 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-20 08:06:19 UTC (rev 685289) +++ PKGBUILD2020-08-20 08:12:20 UTC (rev 685290) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=25 +pkgrel=26 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-18 14:29:49 UTC (rev 683953) +++ PKGBUILD2020-08-18 14:34:58 UTC (rev 683954) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=24 +pkgrel=25 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-16 20:36:40 UTC (rev 681902) +++ PKGBUILD2020-08-16 20:40:47 UTC (rev 681903) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=23 +pkgrel=24 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-16 09:40:13 UTC (rev 680898) +++ PKGBUILD2020-08-16 09:44:35 UTC (rev 680899) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=22 +pkgrel=23 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-15 09:41:16 UTC (rev 679667) +++ PKGBUILD2020-08-15 09:43:03 UTC (rev 679668) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=21 +pkgrel=22 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-15 07:45:42 UTC (rev 679485) +++ PKGBUILD2020-08-15 07:51:30 UTC (rev 679486) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=20 +pkgrel=21 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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(-) Modified: PKGBUILD === --- PKGBUILD2020-08-14 08:22:16 UTC (rev 678513) +++ PKGBUILD2020-08-14 08:25:33 UTC (rev 678514) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=19 +pkgrel=20 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (PKGBUILD)
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 === --- PKGBUILD2020-08-13 07:46:16 UTC (rev 676977) +++ PKGBUILD2020-08-13 07:49:18 UTC (rev 676978) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=18 +pkgrel=19 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-12 15:21:31 UTC (rev 676416) +++ PKGBUILD2020-08-12 15:24:35 UTC (rev 676417) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=17 +pkgrel=18 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-12 08:55:19 UTC (rev 675714) +++ PKGBUILD2020-08-12 09:36:13 UTC (rev 675715) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=16 +pkgrel=17 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-10 20:39:34 UTC (rev 674154) +++ PKGBUILD2020-08-10 20:42:41 UTC (rev 674155) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=15 +pkgrel=16 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-09 21:57:46 UTC (rev 673326) +++ PKGBUILD2020-08-10 03:57:52 UTC (rev 673327) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=14 +pkgrel=15 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD") @@ -15,7 +15,7 @@ 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html') makedepends=('ghc' 'alex' 'happy') source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz;) -sha512sums=('8db5c4d39de3abba0a85cdb021e1efaef5f52e2e4ad17afcfc8bb14abb00888bd669e80b11079f067dd688ba5b115eb90363be306c0a984a0b9563049e3f3eae') +sha512sums=('3b577c117f901b6263574be0b0e34c469f0cbea1238e10fa61a8d630d46a36944341edc412dc04caef5c75083f1cccb91f6f5f9c07d81124876418157397ae27') build() { cd "${srcdir}/${pkgname}-${pkgver}"
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-09 04:51:38 UTC (rev 673023) +++ PKGBUILD2020-08-09 04:54:44 UTC (rev 673024) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=13 +pkgrel=14 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-08 17:48:42 UTC (rev 672573) +++ PKGBUILD2020-08-08 17:53:25 UTC (rev 672574) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=12 +pkgrel=13 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-08 09:31:11 UTC (rev 672039) +++ PKGBUILD2020-08-08 09:36:05 UTC (rev 672040) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=11 +pkgrel=12 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-07 21:24:56 UTC (rev 671776) +++ PKGBUILD2020-08-07 21:28:18 UTC (rev 671777) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=10 +pkgrel=11 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")
[arch-commits] Commit in cryptol/trunk (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 === --- PKGBUILD2020-08-07 10:41:36 UTC (rev 671485) +++ PKGBUILD2020-08-07 10:50:08 UTC (rev 671486) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=9 +pkgrel=10 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net; license=("BSD")