liquid-fixpoint: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
51722
VersionReverse dependencies
0.1.0.0
0.2.0.0
0.2.1.0
0.2.1.1
0.2.2.0
0.2.3.0
0.2.3.1
0.2.3.2
0.3.0.0
0.3.0.1
0.4.0.0
0.5.0.0
0.5.0.1
0.6.0.1
0.7.0.1
0.7.0.2
0.7.0.3
0.7.0.5
0.7.0.6
0.7.0.7
0.8.0.2
0.8.10.1
0.8.10.2
0.8.10.7
0.9.0.2.1
0.9.2.5
0.9.4.7
0.9.6.3
8.10.7