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