dedukti: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
101
VersionReverse dependencies
1.0.0
1.0.1
1.0.2
1.0.3
1.1.0
1.1.1
1.1.2
1.1.3
1.1.4