libBF - Flattened reverse dependencies | Hackage

libBF: total reverse dependencies

Direct reverse dependencies	Indirect reverse dependencies	Total
6	43	49

Package name	Total reverse dependencies
acme-everything	0 (view)
arduino-copilot	0 (view)
camfort	1 (view)
copilot	7 (view)
copilot-cbmc	8 (view)
copilot-frp-sketch	0 (view)
copilot-language	10 (view)
copilot-libraries	9 (view)
copilot-sbv	9 (view)
copilot-theorem	11 (view)
copilot-verifier	0 (view)
copilot-visualizer	0 (view)
crucible	7 (view)
crucible-debug	3 (view)
crucible-llvm	2 (view)
crucible-symio	3 (view)
crucible-syntax	4 (view)
crux	2 (view)
crux-llvm	1 (view)
cryptol	1 (view)
grisette	1 (view)
grisette-monad-coroutine	0 (view)
hedgehog-gen-json	1 (view)
hevm	0 (view)
keiki	8 (view)
keiki-codec-json	4 (view)
keiki-codec-json-test	0 (view)
keiro	2 (view)
keiro-core	5 (view)
keiro-dsl	0 (view)
keiro-pgmq	0 (view)
kioku-cli	0 (view)
kioku-core	1 (view)
lattest-lib	0 (view)
linearEqSolver	1 (view)
ogma-core	0 (view)
quick-process	0 (view)
quickcheck-regex	2 (view)
quickcheck-relaxng	1 (view)
regex-genex	4 (view)
rme-what4	5 (view)
sbv	35 (view)
sbv-program	0 (view)
sbvPlugin	1 (view)
scheduling	0 (view)
sketch-frp-copilot	2 (view)
verifiable-expressions	2 (view)
what4	21 (view)
zephyr-copilot	0 (view)