GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-23 08:27:24 +03:00
Code Issues Projects Releases Wiki Activity

arm: Relax the base version bounds for macaw-arm

Browse Source
This commit is contained in:
Tristan Ravitch 2018-07-08 22:28:58 -07:00
parent 3f7699d4b3
commit 7e6dc9ee8c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
macaw-arm/macaw-arm.cabal
View File

@ -26,7 +26,7 @@ library
, Data.Macaw.ARM.Semantics.TH
-- other-modules:
-- other-extensions:
build-depends: base >=4.10 && <4.11
build-depends: base >=4.10 && <5
, ansi-wl-pprint
, bytestring
, cereal
@ -62,7 +62,7 @@ test-suite macaw-arm-tests
other-modules: ARMTests
, MismatchTests
, Shared
build-depends: base >=4.10 && <4.11
build-depends: base >=4.10 && <5
, ansi-wl-pprint
, binary
, bytestring