32 Reverse deps | Accepted versions |
---|---|
Agda | >=0.1.3 && <0.2 |
b9 | >=0.1 && <0.2 |
batchd | >=0.1.4 |
board-games | >=0.1.5 && <0.2 |
buchhaltung | >=0 |
criterion-cmp | ^>=0.1.5 |
data-svd | >=0 |
exact-cover | <0.2 |
hadoop-tools | >=0.1 |
hax | >=0.1.4 && <0.2 |
hbayes | >=0 |
heidi | >=0.1.4 |
jammittools | >=0.1.3 && <0.2 |
kuifje | >=0.1 && <0.2 |
lapack | >=0.1.5 && <0.2 |
liquid-fixpoint | >=0 |
maxsharing | >=0 |
mezzo | >=0 |
orgstat | >=0.1.4 |
perf | >=0.1.5 && <0.2 |
periodic-client-exe | >=0 |
pprecord | >=0.1.5 && <0.2 |
pptable | >=0 |
pretty-tree | >=0.1.1 && <0.2 |
purescript | >=0.1.5 && <0.2 |
registry-options | >=0.1 && <1 |
rp-tree | >=0 |
tpb | >=0.1 && <0.2 |
tree-render-text | ^>=0.1.5 |
vp-tree | >=0.1.5 |
Wordlint | >=0.1 && <0.2 |
zephyr | >=0.1.5 && <0.2 |