| 9 Reverse deps | Accepted versions | 
|---|---|
| computational-algebra | >=0.4 && <0.6 | 
| ghc-typelits-presburger | >=0 | 
| half-space | >=0.7 && <0.8 | 
| manifolds | >=0 | 
| manifolds-core | >=0.6 && <0.8 | 
| singletons-presburger | >=0 | 
| sized | >=0.5 | 
| sized-vector | >=0.4 && <0.5 | 
| type-natural | >=0.4.1.1 |