boxes 0.1.4

16 Reverse deps Accepted versions
Agda >=0.1.3 && <0.2
b9 >=0.1.4
buchhaltung >=0.1.4 && <0.2
hadoop-tools >=0.1
hax >=0.1.4 && <0.2
hbayes -any
jammittools >=0.1.3 && <0.2
liquid-fixpoint -any
maxsharing -any
mezzo -any
pptable -any
pretty-tree >=0.1.1 && <0.2
purescript >=0.1.4 && <0.2.0
testbench ==0.1.*
tpb >=0.1 && <0.2
Wordlint ==0.1.*