From 5da67a8ec1ff5522c4c612f898627e2f3208b3b7 Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Fri, 15 May 2020 10:22:20 -0700 Subject: [PATCH 1/2] Update bv-sized package constraints. --- macaw-aarch32/macaw-aarch32.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/macaw-aarch32/macaw-aarch32.cabal b/macaw-aarch32/macaw-aarch32.cabal index 0434e46f..3ec3ab7e 100644 --- a/macaw-aarch32/macaw-aarch32.cabal +++ b/macaw-aarch32/macaw-aarch32.cabal @@ -30,7 +30,7 @@ library , ansi-wl-pprint , asl-translator , bytestring - , bv-sized + , bv-sized >= 1.0 && < 1.1 , cereal , containers , crucible From aff97bec6a958c4a0154aff0cc962a3ec36322d5 Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Fri, 15 May 2020 10:25:12 -0700 Subject: [PATCH 2/2] Update bv-sized lower constraint to allow parameterized-utils 2.1.0. --- macaw-aarch32/macaw-aarch32.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/macaw-aarch32/macaw-aarch32.cabal b/macaw-aarch32/macaw-aarch32.cabal index 3ec3ab7e..2f55cb7e 100644 --- a/macaw-aarch32/macaw-aarch32.cabal +++ b/macaw-aarch32/macaw-aarch32.cabal @@ -30,7 +30,7 @@ library , ansi-wl-pprint , asl-translator , bytestring - , bv-sized >= 1.0 && < 1.1 + , bv-sized >= 1.0.1 && < 1.1 , cereal , containers , crucible