peano - Reverse dependency statistics

peano: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
11	14	25

Version	Reverse dependencies
0.1.0.0	Fin-0.1.0.0 Fin-0.1.1.0 Fin-0.2.0.0 Fin-0.2.1.0 Fin-0.2.2.0 Fin-0.2.3.0 Fin-0.2.4.0 Fin-0.2.5.0 Fin-0.2.5.1 Fin-0.2.6.0 Fin-0.2.6.1 Fin-0.2.7.0 Fin-0.2.8.0 Fin-0.2.9.0 VecN-0.0.1 acme-everything-2015.4.15.1 clist-0.1.0.0 clist-0.2.0.0 clist-0.3.0.0 clist-0.3.0.1 monad-classes-0.3 monad-classes-0.3.0.1 monad-classes-0.3.1.0 monad-classes-0.3.1.1 monad-classes-0.3.2.0 monad-classes-0.3.2.1 monad-classes-0.3.2.2 monopati-0.1.4 natural-induction-0.1.0.0 natural-induction-0.1.0.1 natural-induction-0.1.1.0 natural-induction-0.2.0.0 permutations-0.1.0.0 rv-0.0.1.0 word-0.1.0.0 word-0.1.0.1
0.1.0.1	Agda-2.6.4 Agda-2.6.4.1 Agda-2.6.4.2 Agda-2.6.4.3 Agda-2.7.0 Agda-2.7.0.1 Fin-0.1.0.0 Fin-0.1.1.0 Fin-0.2.0.0 Fin-0.2.1.0 Fin-0.2.2.0 Fin-0.2.3.0 Fin-0.2.4.0 Fin-0.2.5.0 Fin-0.2.5.1 Fin-0.2.6.0 Fin-0.2.6.1 Fin-0.2.7.0 Fin-0.2.8.0 Fin-0.2.9.0 VecN-0.0.1 acme-everything-2015.4.15.1 clist-0.1.0.0 clist-0.2.0.0 clist-0.3.0.0 clist-0.3.0.1 monad-classes-0.3 monad-classes-0.3.0.1 monad-classes-0.3.1.0 monad-classes-0.3.1.1 monad-classes-0.3.2.0 monad-classes-0.3.2.1 monad-classes-0.3.2.2 monopati-0.1.4 natural-induction-0.1.0.0 natural-induction-0.1.0.1 natural-induction-0.1.1.0 natural-induction-0.2.0.0 permutations-0.1.0.0 rv-0.0.1.0 word-0.1.0.0 word-0.1.0.1
0.1.0.2	Agda-2.6.4 Agda-2.6.4.1 Agda-2.6.4.2 Agda-2.6.4.3 Agda-2.7.0 Agda-2.7.0.1 Fin-0.1.0.0 Fin-0.1.1.0 Fin-0.2.0.0 Fin-0.2.1.0 Fin-0.2.2.0 Fin-0.2.3.0 Fin-0.2.4.0 Fin-0.2.5.0 Fin-0.2.5.1 Fin-0.2.6.0 Fin-0.2.6.1 Fin-0.2.7.0 Fin-0.2.8.0 Fin-0.2.9.0 VecN-0.0.1 acme-everything-2015.4.15.1 clist-0.1.0.0 clist-0.2.0.0 clist-0.3.0.0 clist-0.3.0.1 monad-classes-0.3 monad-classes-0.3.0.1 monad-classes-0.3.1.0 monad-classes-0.3.1.1 monad-classes-0.3.2.0 monad-classes-0.3.2.1 monad-classes-0.3.2.2 monopati-0.1.4 natural-induction-0.1.0.0 natural-induction-0.1.0.1 natural-induction-0.1.1.0 natural-induction-0.2.0.0 permutations-0.1.0.0 rv-0.0.1.0 word-0.1.0.0 word-0.1.0.1