Skip to content

Add patches for Cryptol and friends

Ryan Scott requested to merge RyanGlScott/head.hackage:bv-sized-libBF into master

I found these useful when debugging ghc#21610 (closed).

Merge request reports