git.iko.soy/stackage
on master help sign in
Remove sbv upper bound
9301c14Adam Bergmark
build-constraints.yaml−3
compare with master
unifiedsplit
@@ -1820,9 +1820,6 @@ packages:
1820 # https://github.com/fpco/stackage/issues/537
1820 # https://github.com/fpco/stackage/issues/537
1821 - zlib < 0.6
1821 - zlib < 0.6
1822
1822
1823− # https://github.com/GaloisInc/cryptol/issues/275
1824− - sbv < 5.0
1825−
1826 # https://github.com/joelwilliamson/bimap/pull/4
1823 # https://github.com/joelwilliamson/bimap/pull/4
1827 - bimap < 0.3.1
1824 - bimap < 0.3.1
1828
1825