GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-22 03:19:57 +03:00
Code Issues Projects Releases Wiki Activity

cryptol-remote-api: Restore the ability to build with vector-0.12.* (#1506)

Browse Source 
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.
This commit is contained in:
Ryan Scott 2023-03-13 14:02:26 -04:00 committed by GitHub
parent c941eddc23
commit 9382d52754
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol-remote-api/cryptol-remote-api.cabal
View File

@ -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