@@ -1820,9 +1820,6 @@ packages:
18201820 # https://github.com/fpco/stackage/issues/537
18211821 - zlib < 0.6
18221822
1823− # https://github.com/GaloisInc/cryptol/issues/275
1824− - sbv < 5.0
1825−
18261823 # https://github.com/joelwilliamson/bimap/pull/4
18271824 - bimap < 0.3.1
18281825