crux - Reverse dependency statistics

crux: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
2	0	2

Version	Reverse dependencies
0.7	copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 crux-llvm-0.8 crux-llvm-0.9
0.7.1	copilot-verifier-0.1 copilot-verifier-3.19 copilot-verifier-3.20 copilot-verifier-4.0 copilot-verifier-4.1 crux-llvm-0.8 crux-llvm-0.9