tree-view - Flattened reverse dependencies | Hackage

tree-view: total reverse dependencies

Direct reverse dependencies	Indirect reverse dependencies	Total
8	49	57

Package name	Total reverse dependencies
Capabilities	1 (view)
acme-everything	0 (view)
arduino-copilot	0 (view)
camfort	1 (view)
classy-effects	1 (view)
classy-effects-base	4 (view)
classy-effects-th	2 (view)
co-feldspar	0 (view)
compdata	18 (view)
compdata-automata	1 (view)
compdata-dags	1 (view)
compdata-fixplate	1 (view)
compdata-param	1 (view)
compstrat	1 (view)
comptrans	1 (view)
copilot	6 (view)
copilot-cbmc	7 (view)
copilot-frp-sketch	0 (view)
copilot-sbv	8 (view)
copilot-verifier	0 (view)
cryptol	1 (view)
data-effects	2 (view)
data-effects-core	4 (view)
data-effects-th	3 (view)
dino	0 (view)
dynamic-pipeline	0 (view)
feldspar-compiler	2 (view)
feldspar-language	3 (view)
feldspar-signal	1 (view)
grisette	1 (view)
grisette-monad-coroutine	0 (view)
hardware-edsl	2 (view)
hedgehog-gen-json	1 (view)
heftia	1 (view)
heftia-effects	0 (view)
hevm	0 (view)
ho-rewriting	1 (view)
imm	1 (view)
imperative-edsl	4 (view)
imperative-edsl-vhdl	3 (view)
linearEqSolver	1 (view)
open-typerep	5 (view)
predicate-typed	0 (view)
quick-process	0 (view)
quickcheck-regex	2 (view)
quickcheck-relaxng	1 (view)
raw-feldspar	1 (view)
regex-genex	4 (view)
sbv	24 (view)
sbv-program	0 (view)
sbvPlugin	1 (view)
scheduling	0 (view)
signals	2 (view)
sketch-frp-copilot	2 (view)
syntactic	11 (view)
verifiable-expressions	2 (view)
zephyr-copilot	0 (view)