liquid-fixpoint: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
51924
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
0.9.6.3.1
0.9.6.3.2
0.9.6.3.3
8.10.7