smt2-parser - Reverse dependency statistics

smt2-parser: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
1	0	1

Version	Reverse dependencies
0.1.0.0	hevm-0.54.2
0.1.0.1	hevm-0.50.0 hevm-0.50.1 hevm-0.50.2 hevm-0.50.3 hevm-0.50.4 hevm-0.50.5 hevm-0.51.0 hevm-0.51.1 hevm-0.51.2 hevm-0.51.3 hevm-0.52.0 hevm-0.53.0 hevm-0.54.2