| 13 Reverse deps | Accepted versions |
|---|---|
| BiobaseTypes | >=0.9 |
| decision-diagrams | >=0.9.1.2 && <1.0.0.0 |
| ecta | -any |
| grisette | >=0.9.2 && <0.10 |
| language-ninja | >=0.9 && <0.10 |
| libffi-dynamic | -any |
| LinguisticsTypes | >=0.9 |
| liquid-fixpoint | -any |
| MIP | >=0.9.1.2 && <1.0.0.0 |
| MIP-glpk | -any |
| swish | >=0.8 && <1.0 |
| toysolver | >=0.9.1.2 && <1.0.0.0 |
| WordAlignment | >=0.9 |