From 9382d527543db70068b71fe3a327cd07fe0b36c8 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 13 Mar 2023 14:02:26 -0400 Subject: [PATCH] cryptol-remote-api: Restore the ability to build with vector-0.12.* (#1506) The downstream `saw-remote-api` library doesn't quite support `vector-0.13.*` yet, but GaloisInc/cryptol#1499 accidentally restricted `cryptol-remote-api`'s build plan to only allow `vector-0.13.*`. This restores the ability to build `cryptol-remote-api` with `vector-0.12.*` for `saw-remote-api`'s sake. --- cryptol-remote-api/cryptol-remote-api.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal index 5cf56bbe1..4c1f2c309 100644 --- a/cryptol-remote-api/cryptol-remote-api.cabal +++ b/cryptol-remote-api/cryptol-remote-api.cabal @@ -55,7 +55,7 @@ common deps text >= 1.2.3 && < 2.1, tf-random, unordered-containers ^>= 0.2, - vector ^>= 0.13, + vector >= 0.12 && < 0.14, default-language: Haskell2010