From 409a96d33073b7833c56d1a2f9c94e86cda914ad Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 23 Jan 2025 15:01:57 -0500 Subject: [PATCH] EXPERIMENT: Bump cryptol submodule to include GaloisInc/cryptol#1791 --- cabal.GHC-9.4.8.config | 4 ++-- cabal.GHC-9.6.6.config | 4 ++-- cabal.GHC-9.8.2.config | 4 ++-- deps/cryptol | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) diff --git a/cabal.GHC-9.4.8.config b/cabal.GHC-9.4.8.config index 7dd73aae68..24a96c3bcf 100644 --- a/cabal.GHC-9.4.8.config +++ b/cabal.GHC-9.4.8.config @@ -336,7 +336,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.simple-get-opt ==0.4, any.simple-sendfile ==0.2.32, simple-sendfile +allow-bsd -fallback, - any.simple-smt ==0.9.7, + any.simple-smt ==0.9.8, any.smallcheck ==1.2.1.1, any.split ==0.2.5, any.splitmix ==0.1.0.5, @@ -440,4 +440,4 @@ constraints: any.BoundedChan ==1.0.3.0, any.zenc ==0.1.2, any.zlib ==0.7.1.0, any.zlib-bindings ==0.1.1.5 -index-state: hackage.haskell.org 2024-08-02T09:23:27Z +index-state: hackage.haskell.org 2024-12-30T16:38:21Z diff --git a/cabal.GHC-9.6.6.config b/cabal.GHC-9.6.6.config index a65c456fd2..b0c0cfc982 100644 --- a/cabal.GHC-9.6.6.config +++ b/cabal.GHC-9.6.6.config @@ -334,7 +334,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.simple-get-opt ==0.4, any.simple-sendfile ==0.2.32, simple-sendfile +allow-bsd -fallback, - any.simple-smt ==0.9.7, + any.simple-smt ==0.9.8, any.smallcheck ==1.2.1.1, any.split ==0.2.5, any.splitmix ==0.1.0.5, @@ -438,4 +438,4 @@ constraints: any.BoundedChan ==1.0.3.0, any.zenc ==0.1.2, any.zlib ==0.7.1.0, any.zlib-bindings ==0.1.1.5 -index-state: hackage.haskell.org 2024-08-02T09:23:27Z +index-state: hackage.haskell.org 2024-12-30T16:38:21Z diff --git a/cabal.GHC-9.8.2.config b/cabal.GHC-9.8.2.config index 8cf73ddd20..5b86d91393 100644 --- a/cabal.GHC-9.8.2.config +++ b/cabal.GHC-9.8.2.config @@ -335,7 +335,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.simple-get-opt ==0.4, any.simple-sendfile ==0.2.32, simple-sendfile +allow-bsd -fallback, - any.simple-smt ==0.9.7, + any.simple-smt ==0.9.8, any.smallcheck ==1.2.1.1, any.split ==0.2.5, any.splitmix ==0.1.0.5, @@ -441,4 +441,4 @@ constraints: any.BoundedChan ==1.0.3.0, any.zenc ==0.1.2, any.zlib ==0.7.1.0, any.zlib-bindings ==0.1.1.5 -index-state: hackage.haskell.org 2024-08-02T09:23:27Z +index-state: hackage.haskell.org 2024-12-30T16:38:21Z diff --git a/deps/cryptol b/deps/cryptol index 8406878f02..54f1387b5a 160000 --- a/deps/cryptol +++ b/deps/cryptol @@ -1 +1 @@ -Subproject commit 8406878f026f824beaad4cda909aec86ba28b233 +Subproject commit 54f1387b5ac1ff85f9ae63dab94830a50d2c7e45