th-extras 0.0.0.8

4 Reverse deps Accepted versions
BiGUL >=0.0.0.4
equational-reasoning-induction >=0.0 && <0.1
flexible-defaults >=0
random-source >=0