| 6 Reverse deps | Accepted versions |
|---|---|
| approximate-equality | >=1.0 && <2.1 |
| natural-number | >=1.0 && <1.2 |
| tagged-list | >=1.0 && <1.2 |
| type-level-natural-number-induction | >=1.0 && <1.2 |
| type-level-natural-number-operations | >=1.0 && <1.2 |
| variable-precision | >=1 && <2 |