From 46c7356c90174894ff9303587abe5ca50cfcbfd0 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Fri, 10 Mar 2023 13:55:01 -0500 Subject: [PATCH] cryptol-remote-api: Restore the ability to build with vector-0.12.* 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