crux-llvm - Reverse dependency statistics

crux-llvm: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
1	0	1

Version	Reverse dependencies
0.8	copilot-verifier-0.1 copilot-verifier-3.19