GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-03 10:51:25 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #135 from GaloisInc/aarch_bv_upd2

Browse Source 
Update bv-sized package constraints.
This commit is contained in:
Kevin Quick 2020-05-16 17:41:54 -07:00 committed by GitHub
commit 24899bc0d1
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
macaw-aarch32/macaw-aarch32.cabal
View File

@ -30,7 +30,7 @@ library
, ansi-wl-pprint , ansi-wl-pprint
, asl-translator , asl-translator
, bytestring , bytestring
, bv-sized , bv-sized >= 1.0.1 && < 1.1
, cereal , cereal
, containers , containers
, crucible , crucible