subject:"\\\[arch\\\-commits\\\] Commit in cryptol\\\/trunk \\\(PKGBUILD\\\)"

[arch-commits] Commit in cryptol/trunk (PKGBUILD)

2020-12-28 Thread Felix Yan via arch-commits

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)

2020-12-26 Thread Felix Yan via arch-commits

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)

2020-12-25 Thread Felix Yan via arch-commits

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)

2020-12-25 Thread Felix Yan via arch-commits

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)

2020-12-24 Thread Felix Yan via arch-commits

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)

2020-12-24 Thread Felix Yan via arch-commits

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)

2020-12-23 Thread Felix Yan via arch-commits

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)

2020-12-23 Thread Felix Yan via arch-commits

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)

2020-12-23 Thread Felix Yan via arch-commits

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)

2020-12-22 Thread Felix Yan via arch-commits

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)

2020-12-22 Thread Felix Yan via arch-commits

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)

2020-12-18 Thread Felix Yan via arch-commits

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)

2020-12-18 Thread Felix Yan via arch-commits

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)

2020-12-16 Thread Felix Yan via arch-commits

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)

2020-12-15 Thread Felix Yan via arch-commits

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)

2020-12-14 Thread Felix Yan via arch-commits

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)

2020-12-09 Thread Felix Yan via arch-commits

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)

2020-12-08 Thread Felix Yan via arch-commits

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)

2020-12-04 Thread Felix Yan via arch-commits

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)

2020-12-04 Thread Felix Yan via arch-commits

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)

2020-11-30 Thread Felix Yan via arch-commits

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)

2020-11-28 Thread Felix Yan via arch-commits

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)

2020-11-25 Thread Felix Yan via arch-commits

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)

2020-11-23 Thread Felix Yan via arch-commits

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)

2020-11-21 Thread Felix Yan via arch-commits

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)

2020-11-17 Thread Felix Yan via arch-commits

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)

2020-11-16 Thread Felix Yan via arch-commits

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)

2020-11-08 Thread Felix Yan via arch-commits

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)

2020-11-07 Thread Felix Yan via arch-commits

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)

2020-11-06 Thread Felix Yan via arch-commits

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)

2020-11-04 Thread Felix Yan via arch-commits

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)

2020-11-04 Thread Felix Yan via arch-commits

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)

2020-11-03 Thread Felix Yan via arch-commits

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)

2020-11-03 Thread Felix Yan via arch-commits

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)

2020-10-31 Thread Felix Yan via arch-commits

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)

2020-10-28 Thread Felix Yan via arch-commits

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)

2020-10-25 Thread Felix Yan via arch-commits

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)

2020-10-25 Thread Felix Yan via arch-commits

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)

2020-10-24 Thread Felix Yan via arch-commits

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)

2020-10-23 Thread Felix Yan via arch-commits

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)

2020-10-22 Thread Felix Yan via arch-commits

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)

2020-10-22 Thread Felix Yan via arch-commits

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)

2020-10-19 Thread Felix Yan via arch-commits

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)

2020-10-18 Thread Felix Yan via arch-commits

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)

2020-10-18 Thread Felix Yan via arch-commits

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)

2020-10-15 Thread Felix Yan via arch-commits

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)

2020-10-14 Thread Felix Yan via arch-commits

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)

2020-10-10 Thread Felix Yan via arch-commits

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)

2020-10-07 Thread Felix Yan via arch-commits

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)

2020-10-05 Thread Felix Yan via arch-commits

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)

2020-10-05 Thread Felix Yan via arch-commits

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)

2020-10-04 Thread Felix Yan via arch-commits

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)

2020-10-02 Thread Felix Yan via arch-commits

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)

2020-09-29 Thread Felix Yan via arch-commits

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)

2020-09-28 Thread Felix Yan via arch-commits

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)

2020-09-24 Thread Felix Yan via arch-commits

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)

2020-09-24 Thread Felix Yan via arch-commits

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)

2020-09-24 Thread Felix Yan via arch-commits

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)

2020-09-18 Thread Felix Yan via arch-commits

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)

2020-09-18 Thread Felix Yan via arch-commits

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)

2020-09-16 Thread Felix Yan via arch-commits

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)

2020-09-16 Thread Felix Yan via arch-commits

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)

2020-09-16 Thread Felix Yan via arch-commits

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)

2020-09-14 Thread Felix Yan via arch-commits

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)

2020-09-13 Thread Felix Yan via arch-commits

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)

2020-09-11 Thread Felix Yan via arch-commits

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)

2020-09-08 Thread Felix Yan via arch-commits

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)

2020-09-08 Thread Felix Yan via arch-commits

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)

2020-09-08 Thread Felix Yan via arch-commits

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)

2020-09-08 Thread Felix Yan via arch-commits

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)

2020-09-07 Thread Felix Yan via arch-commits

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)

2020-09-04 Thread Felix Yan via arch-commits

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)

2020-09-03 Thread Felix Yan via arch-commits

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)

2020-09-01 Thread Felix Yan via arch-commits

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)

2020-09-01 Thread Felix Yan via arch-commits

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)

2020-09-01 Thread Felix Yan via arch-commits

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)

2020-08-31 Thread Felix Yan via arch-commits

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)

2020-08-29 Thread Felix Yan via arch-commits

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)

2020-08-28 Thread Felix Yan via arch-commits

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)

2020-08-26 Thread Felix Yan via arch-commits

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)

2020-08-22 Thread Felix Yan via arch-commits

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)

2020-08-21 Thread Felix Yan via arch-commits

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)

2020-08-20 Thread Felix Yan via arch-commits

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)

2020-08-20 Thread Felix Yan via arch-commits

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)

2020-08-18 Thread Felix Yan via arch-commits

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)

2020-08-16 Thread Felix Yan via arch-commits

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)

2020-08-16 Thread Felix Yan via arch-commits

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)

2020-08-15 Thread Felix Yan via arch-commits

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)

2020-08-15 Thread Felix Yan via arch-commits

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)

2020-08-14 Thread Felix Yan via arch-commits

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)

2020-08-13 Thread Felix Yan via arch-commits

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)

2020-08-12 Thread Felix Yan via arch-commits

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)

2020-08-12 Thread Felix Yan via arch-commits

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)

2020-08-10 Thread Felix Yan via arch-commits

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)

2020-08-09 Thread Felix Yan via arch-commits

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)

2020-08-08 Thread Felix Yan via arch-commits

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)

2020-08-08 Thread Felix Yan via arch-commits

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)

2020-08-08 Thread Felix Yan via arch-commits

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)

2020-08-07 Thread Felix Yan via arch-commits

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)

2020-08-07 Thread Felix Yan via arch-commits

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")

1 2 3 4 5 6 >

1 - 100 of 537 matches

Mail list logo