graph-rewriting-gl 0.7.6

5 Reverse deps Accepted versions
graph-rewriting-cl >=0.6 && <0.7
graph-rewriting-lambdascope >=0.7.6 && <0.8
graph-rewriting-ski >=0.7.6 && <0.8
graph-rewriting-trs >=0.7.6 && <0.8
graph-rewriting-ww >=0.7.6 && <0.8