| 11 Reverse deps | Accepted versions |
|---|---|
| Agda | >=0.1.0.1 && <0.2 |
| clist | >=0.1 && <0.2 |
| Fin | >=0 |
| monad-classes | >=0.1 |
| monopati | >=0 |
| natural-induction | >=0.1 && <0.2 |
| permutations | >=0.1 && <0.2 |
| polynom | >=0.1 && <0.2 |
| reg-alloc-graph-color | >=0.1 && <0.2 |
| rv | >=0 |
| word | >=0.1 && <0.2 |