free-theorems-seq-webui: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
101
VersionReverse dependencies
1.0
1.0.0.1
1.0.0.2