From 0a4427620614bb4ea8e33dc1b184f4d4220448c7 Mon Sep 17 00:00:00 2001 From: Rob Dockins Date: Thu, 7 May 2020 13:09:38 -0700 Subject: [PATCH] Relax base bounds for what4-abc and what4-blt --- dependencies/aig | 2 +- what4-abc/what4-abc.cabal | 2 +- what4-blt/what4-blt.cabal | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/dependencies/aig b/dependencies/aig index f5cf71da..b59077c0 160000 --- a/dependencies/aig +++ b/dependencies/aig @@ -1 +1 @@ -Subproject commit f5cf71da841187c726b8511c79476ddfeb8ea3aa +Subproject commit b59077c065b659e985ee25966809dd448a0d595a diff --git a/what4-abc/what4-abc.cabal b/what4-abc/what4-abc.cabal index 03781ece..21196129 100644 --- a/what4-abc/what4-abc.cabal +++ b/what4-abc/what4-abc.cabal @@ -17,7 +17,7 @@ Description: library build-depends: - base >= 4.7 && < 4.14, + base >= 4.7 && < 4.15, aig, abcBridge >= 0.11, ansi-wl-pprint, diff --git a/what4-blt/what4-blt.cabal b/what4-blt/what4-blt.cabal index 1d2e77f2..af0b339c 100644 --- a/what4-blt/what4-blt.cabal +++ b/what4-blt/what4-blt.cabal @@ -16,7 +16,7 @@ Description: library build-depends: - base >= 4.7 && < 4.14, + base >= 4.7 && < 4.15, ansi-wl-pprint, blt >= 0.12.1, containers,