| 22 Reverse deps | Accepted versions |
|---|---|
| cryptol | >=3.7.2 |
| data-accessor-monadLib | >=3.4 && <3.6 |
| dump-core | >=0 |
| fastirc | >=3.6.1 |
| fclabels-monadlib | >=3.6 && <3.7 |
| hans | >=0 |
| haskell-tor | >=3.7 && <3.9 |
| ivory | >=3.7 |
| ivory-avr-atmega328p-registers | >=3.7.3 && <3.8 |
| ivory-backend-c | >=3.7 |
| ivory-bitdata | >=0 |
| ivory-eval | >=0 |
| ivory-examples | >=3.7 |
| ivory-opts | >=3.7 |
| ivory-quickcheck | >=0 |
| ivory-serialize | >=0 |
| llvm-pretty | >=3.6.1 |
| llvm-pretty-bc-parser | >=3.7.2 |
| monadLib-compose | >=3.6 && <3.7 |
| openid | >=3.6.0.0 |
| passage | >=0 |
| why3 | >=3.7 && <3.8 |