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