12 Reverse deps | Accepted versions |
---|---|
autoapply | >=1.12 && <1.15 |
eliminators | >=1.18 && <1.19 |
equational-reasoning | >=1.13 && <1.19 |
haskelm | >=0 |
optparse-generic | <1.5.1 |
plugins-multistage | >=0 |
singletons-base | >=1.18 && <1.19 |
singletons-th | >=1.18 && <1.19 |
th-alpha | >=1.4 && <1.7 |
th-context | >=0 |
th-typegraph | >=0 |
units | >=1.5.4 |