pointed - Reverse dependency statistics

pointed: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
29	8662	8691

Version	Reverse dependencies
0.1.0	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 ytl-0.1.0.0
0.1.1	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 ytl-0.1.0.0
0.1.2	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 ytl-0.1.0.0
0.1.3	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 ytl-0.1.0.0
0.1.4	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 ytl-0.1.0.0
1.8.0	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 vector-instances-0.1.0 vector-instances-0.1.0.1 ytl-0.1.0.0
1.8.0.1	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 vector-instances-0.1.0 vector-instances-0.1.0.1 ytl-0.1.0.0
1.8.0.2	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 vector-instances-0.1.0 vector-instances-0.1.0.1 ytl-0.1.0.0
2.0	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-0.1 compressed-0.1.1 compressed-0.1.2 compressed-0.1.3 compressed-0.1.4 exists-0.1 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-0.1.1 reducers-0.1.2 reducers-0.1.3 reducers-0.1.4 reducers-0.1.5 reducers-0.1.6 reducers-0.1.7 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 trifecta-0.36 trifecta-0.36.1 trifecta-0.36.2 vector-instances-2.0 vector-instances-2.0.1 vector-instances-2.0.2 vector-instances-2.0.3 ytl-0.1.0.0
2.0.1	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-0.1 compressed-0.1.1 compressed-0.1.2 compressed-0.1.3 compressed-0.1.4 exists-0.1 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-0.1.1 reducers-0.1.2 reducers-0.1.3 reducers-0.1.4 reducers-0.1.5 reducers-0.1.6 reducers-0.1.7 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.36 trifecta-0.36.1 trifecta-0.36.2 vector-instances-2.0 vector-instances-2.0.1 vector-instances-2.0.2 vector-instances-2.0.3 ytl-0.1.0.0
2.0.2	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-0.1 compressed-0.1.1 compressed-0.1.2 compressed-0.1.3 compressed-0.1.4 exists-0.1 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-0.1.1 reducers-0.1.2 reducers-0.1.3 reducers-0.1.4 reducers-0.1.5 reducers-0.1.6 reducers-0.1.7 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.36 trifecta-0.36.1 trifecta-0.36.2 trifecta-0.36.3 trifecta-0.37 trifecta-0.38 trifecta-0.39 trifecta-0.40 trifecta-0.41 trifecta-0.42 trifecta-0.43 trifecta-0.44 trifecta-0.45 trifecta-0.46 trifecta-0.47 trifecta-0.49 trifecta-0.49.1 vector-instances-2.0 vector-instances-2.0.1 vector-instances-2.0.2 vector-instances-2.0.3 ytl-0.1.0.0
2.0.3	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-0.1 compressed-0.1.1 compressed-0.1.2 compressed-0.1.3 compressed-0.1.4 exists-0.1 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-0.1.1 reducers-0.1.2 reducers-0.1.3 reducers-0.1.4 reducers-0.1.5 reducers-0.1.6 reducers-0.1.7 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.36 trifecta-0.36.1 trifecta-0.36.2 trifecta-0.36.3 trifecta-0.37 trifecta-0.38 trifecta-0.39 trifecta-0.40 trifecta-0.41 trifecta-0.42 trifecta-0.43 trifecta-0.44 trifecta-0.45 trifecta-0.46 trifecta-0.47 trifecta-0.49 trifecta-0.49.1 vector-instances-2.0 vector-instances-2.0.1 vector-instances-2.0.2 vector-instances-2.0.3 vector-instances-2.0.4.1 ytl-0.1.0.0
2.0.3.1	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-0.1 compressed-0.1.1 compressed-0.1.2 compressed-0.1.3 compressed-0.1.4 exists-0.1 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-0.1.1 reducers-0.1.2 reducers-0.1.3 reducers-0.1.4 reducers-0.1.5 reducers-0.1.6 reducers-0.1.7 reducers-0.1.8 reducers-0.1.9 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.36 trifecta-0.36.1 trifecta-0.36.2 trifecta-0.36.3 trifecta-0.37 trifecta-0.38 trifecta-0.39 trifecta-0.40 trifecta-0.41 trifecta-0.42 trifecta-0.43 trifecta-0.44 trifecta-0.45 trifecta-0.46 trifecta-0.47 trifecta-0.49 trifecta-0.49.1 vector-instances-2.0 vector-instances-2.0.1 vector-instances-2.0.2 vector-instances-2.0.3 vector-instances-2.0.4.1 ytl-0.1.0.0
2.0.3.2	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-0.1 compressed-0.1.1 compressed-0.1.2 compressed-0.1.3 compressed-0.1.4 exists-0.1 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-0.1.1 reducers-0.1.2 reducers-0.1.3 reducers-0.1.4 reducers-0.1.5 reducers-0.1.6 reducers-0.1.7 reducers-0.1.8 reducers-0.1.9 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.36 trifecta-0.36.1 trifecta-0.36.2 trifecta-0.36.3 trifecta-0.37 trifecta-0.38 trifecta-0.39 trifecta-0.40 trifecta-0.41 trifecta-0.42 trifecta-0.43 trifecta-0.44 trifecta-0.45 trifecta-0.46 trifecta-0.47 trifecta-0.49 trifecta-0.49.1 vector-instances-2.0 vector-instances-2.0.1 vector-instances-2.0.2 vector-instances-2.0.3 vector-instances-2.0.4.1 ytl-0.1.0.0
2.1	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-0.2 compressed-0.3 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-0.2 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.50 trifecta-0.50.1 trifecta-0.50.2.1 ytl-0.1.0.0
2.1.0.1	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-0.2 compressed-0.3 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-0.2 reducers-0.3 reducers-0.3.0.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.50 trifecta-0.50.1 trifecta-0.50.2.1 trifecta-0.51 trifecta-0.51.0.1 trifecta-0.52 vector-instances-2.1 ytl-0.1.0.0
2.1.0.2	acme-everything-2015.4.15.1 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-0.2 compressed-0.3 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.1.1 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-0.2 reducers-0.3 reducers-0.3.0.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.50 trifecta-0.50.1 trifecta-0.50.2.1 trifecta-0.51 trifecta-0.51.0.1 trifecta-0.52 vector-instances-2.1 ytl-0.1.0.0
3.0	acme-everything-2015.4.15.1 approximate-0.1 approximate-0.1.1 approximate-0.2 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0 compressed-3.0.0.1 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 folds-0.3 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-3.4 kan-extensions-3.5 kan-extensions-3.5.1 kan-extensions-3.6 kan-extensions-3.6.2 kan-extensions-3.7 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.1 machines-0.2.1.1 machines-0.2.1.2 machines-0.2.1.3 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.0 reducers-3.0.0.1 reducers-3.0.0.2 reducers-3.0.1 reducers-3.0.2 reducers-3.0.2.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.53 vector-instances-3.0 vector-instances-3.1 vector-instances-3.2 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
3.0.0.1	acme-everything-2015.4.15.1 approximate-0.1 approximate-0.1.1 approximate-0.2 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0 compressed-3.0.0.1 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 folds-0.3 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-3.4 kan-extensions-3.5 kan-extensions-3.5.1 kan-extensions-3.6 kan-extensions-3.6.2 kan-extensions-3.7 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.1 machines-0.2.1.1 machines-0.2.1.2 machines-0.2.1.3 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.0 reducers-3.0.0.1 reducers-3.0.0.2 reducers-3.0.1 reducers-3.0.2 reducers-3.0.2.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.53 vector-instances-3.0 vector-instances-3.1 vector-instances-3.2 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
3.0.1	acme-everything-2015.4.15.1 approximate-0.1 approximate-0.1.1 approximate-0.2 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0 compressed-3.0.0.1 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 folds-0.3 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-3.4 kan-extensions-3.5 kan-extensions-3.5.1 kan-extensions-3.6 kan-extensions-3.6.2 kan-extensions-3.7 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.1 machines-0.2.1.1 machines-0.2.1.2 machines-0.2.1.3 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.0 reducers-3.0.0.1 reducers-3.0.0.2 reducers-3.0.1 reducers-3.0.2 reducers-3.0.2.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.53 vector-instances-3.0 vector-instances-3.1 vector-instances-3.2 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
3.0.2	acme-everything-2015.4.15.1 approximate-0.1 approximate-0.1.1 approximate-0.2 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0 compressed-3.0.0.1 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 folds-0.3 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-3.4 kan-extensions-3.5 kan-extensions-3.5.1 kan-extensions-3.6 kan-extensions-3.6.2 kan-extensions-3.7 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.1 machines-0.2.1.1 machines-0.2.1.2 machines-0.2.1.3 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.0 reducers-3.0.0.1 reducers-3.0.0.2 reducers-3.0.1 reducers-3.0.2 reducers-3.0.2.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.53 vector-instances-3.0 vector-instances-3.1 vector-instances-3.2 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
3.0.3	acme-everything-2015.4.15.1 approximate-0.1 approximate-0.1.1 approximate-0.2 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0 compressed-3.0.0.1 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 folds-0.3 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-3.4 kan-extensions-3.5 kan-extensions-3.5.1 kan-extensions-3.6 kan-extensions-3.6.2 kan-extensions-3.7 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.1 machines-0.2.1.1 machines-0.2.1.2 machines-0.2.1.3 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.0 reducers-3.0.0.1 reducers-3.0.0.2 reducers-3.0.1 reducers-3.0.2 reducers-3.0.2.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 trifecta-0.53 vector-instances-3.0 vector-instances-3.1 vector-instances-3.2 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
3.1	acme-everything-2015.4.15.1 approximate-0.1 approximate-0.1.1 approximate-0.2 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 folds-0.3 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-3.4 kan-extensions-3.5 kan-extensions-3.5.1 kan-extensions-3.6 kan-extensions-3.6.2 kan-extensions-3.7 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.0.1 reducers-3.0.2 reducers-3.0.2.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
4.0	acme-everything-2015.4.15.1 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.10 compressed-3.11 folds-0.5.0.1 folds-0.6 folds-0.6.1 folds-0.6.2 folds-0.6.3 folds-0.7 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-4.0 kan-extensions-4.0.1 kan-extensions-4.0.2 kan-extensions-4.0.3 kan-extensions-4.1 kan-extensions-4.1.0.1 kan-extensions-4.1.1 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.10 reducers-3.10.1 reducers-3.10.1.1 reducers-3.10.2 reducers-3.10.2.1 reducers-3.10.3 reducers-3.10.3.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
4.1	acme-everything-2015.4.15.1 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.10 compressed-3.11 folds-0.5.0.1 folds-0.6 folds-0.6.1 folds-0.6.2 folds-0.6.3 folds-0.7 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-4.0 kan-extensions-4.0.1 kan-extensions-4.0.2 kan-extensions-4.0.3 kan-extensions-4.1 kan-extensions-4.1.0.1 kan-extensions-4.1.1 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.10 reducers-3.10.1 reducers-3.10.1.1 reducers-3.10.2 reducers-3.10.2.1 reducers-3.10.3 reducers-3.10.3.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
4.1.1	acme-everything-2015.4.15.1 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.10 compressed-3.11 folds-0.5.0.1 folds-0.6 folds-0.6.1 folds-0.6.2 folds-0.6.3 folds-0.7 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-4.0 kan-extensions-4.0.1 kan-extensions-4.0.2 kan-extensions-4.0.3 kan-extensions-4.1 kan-extensions-4.1.0.1 kan-extensions-4.1.1 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.10 reducers-3.10.1 reducers-3.10.1.1 reducers-3.10.2 reducers-3.10.2.1 reducers-3.10.3 reducers-3.10.3.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
4.2	acme-everything-2015.4.15.1 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.10 compressed-3.11 folds-0.5.0.1 folds-0.6 folds-0.6.1 folds-0.6.2 folds-0.6.3 folds-0.7 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-4.0 kan-extensions-4.0.1 kan-extensions-4.0.2 kan-extensions-4.0.3 kan-extensions-4.1 kan-extensions-4.1.0.1 kan-extensions-4.1.1 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.10 reducers-3.10.1 reducers-3.10.1.1 reducers-3.10.2 reducers-3.10.2.1 reducers-3.10.3 reducers-3.10.3.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
4.2.0.1	acme-everything-2015.4.15.1 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.10 compressed-3.11 folds-0.5.0.1 folds-0.6 folds-0.6.1 folds-0.6.2 folds-0.6.3 folds-0.7 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-4.0 kan-extensions-4.0.1 kan-extensions-4.0.2 kan-extensions-4.0.3 kan-extensions-4.1 kan-extensions-4.1.0.1 kan-extensions-4.1.1 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.10 reducers-3.10.1 reducers-3.10.1.1 reducers-3.10.2 reducers-3.10.2.1 reducers-3.10.3 reducers-3.10.3.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
4.2.0.2	acme-everything-2015.4.15.1 approximate-0.2.1 approximate-0.2.1.1 approximate-0.2.2 approximate-0.2.2.1 approximate-0.2.2.2 approximate-0.2.2.3 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 arrow-improve-0.1.0.0 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.10 compressed-3.11 folds-0.5.0.1 folds-0.6 folds-0.6.1 folds-0.6.2 folds-0.6.3 folds-0.7 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 kan-extensions-4.0 kan-extensions-4.0.1 kan-extensions-4.0.2 kan-extensions-4.0.3 kan-extensions-4.1 kan-extensions-4.1.0.1 kan-extensions-4.1.1 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.4.1 machines-0.5.1 machines-0.6 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 reducers-3.10 reducers-3.10.1 reducers-3.10.1.1 reducers-3.10.2 reducers-3.10.2.1 reducers-3.10.3 reducers-3.10.3.1 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
5	acme-everything-2015.4.15.1 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 columbia-0.1.1 columbia-0.1.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.11 edges-0.4 edges-0.4.0.1 edges-0.4.0.2 edges-0.4.1 edges-0.5 edges-0.6 edges-0.8 edges-0.8.1 edges-0.9 edges-0.9.0.1 edges-0.9.0.2 edges-0.9.1 edges-0.9.1.1 edges-0.10 edges-0.11 edges-0.11.0.1 edges-0.11.0.2 edges-0.11.0.3 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0
5.0.1	acme-everything-2015.4.15.1 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.11 edges-0.4 edges-0.4.0.1 edges-0.4.0.2 edges-0.4.1 edges-0.5 edges-0.6 edges-0.8 edges-0.8.1 edges-0.9 edges-0.9.0.1 edges-0.9.0.2 edges-0.9.1 edges-0.9.1.1 edges-0.10 edges-0.11 edges-0.11.0.1 edges-0.11.0.2 edges-0.11.0.3 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 planet-mitchell-0.0.0 planet-mitchell-0.1.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0 zettelkast-0.1.0.0 zettelkast-0.2.0.0
5.0.2	acme-everything-2015.4.15.1 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.11 edges-0.4 edges-0.4.0.1 edges-0.4.0.2 edges-0.4.1 edges-0.5 edges-0.6 edges-0.8 edges-0.8.1 edges-0.9 edges-0.9.0.1 edges-0.9.0.2 edges-0.9.1 edges-0.9.1.1 edges-0.10 edges-0.11 edges-0.11.0.1 edges-0.11.0.2 edges-0.11.0.3 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 planet-mitchell-0.0.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0 zettelkast-0.1.0.0 zettelkast-0.2.0.0
5.0.3	acme-everything-2015.4.15.1 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.11 edges-0.4 edges-0.4.0.1 edges-0.4.0.2 edges-0.4.1 edges-0.5 edges-0.6 edges-0.8 edges-0.8.1 edges-0.9 edges-0.9.0.1 edges-0.9.0.2 edges-0.9.1 edges-0.9.1.1 edges-0.10 edges-0.11 edges-0.11.0.1 edges-0.11.0.2 edges-0.11.0.3 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 planet-mitchell-0.0.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0 zettelkast-0.1.0.0 zettelkast-0.2.0.0
5.0.4	acme-everything-2015.4.15.1 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.11 edges-0.4 edges-0.4.0.1 edges-0.4.0.2 edges-0.4.1 edges-0.5 edges-0.6 edges-0.8 edges-0.8.1 edges-0.9 edges-0.9.0.1 edges-0.9.0.2 edges-0.9.1 edges-0.9.1.1 edges-0.10 edges-0.11 edges-0.11.0.1 edges-0.11.0.2 edges-0.11.0.3 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 planet-mitchell-0.0.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0 zettelkast-0.1.0.0 zettelkast-0.2.0.0
5.0.5	acme-everything-2015.4.15.1 approximate-0.3 approximate-0.3.1 approximate-0.3.2 approximate-0.3.3 approximate-0.3.4 approximate-0.3.5 category-extras-1.0 category-extras-1.0.1 category-extras-1.0.2 compressed-3.0.1 compressed-3.0.2 compressed-3.0.3 compressed-3.11 edges-0.4 edges-0.4.0.1 edges-0.4.0.2 edges-0.4.1 edges-0.5 edges-0.6 edges-0.8 edges-0.8.1 edges-0.9 edges-0.9.0.1 edges-0.9.0.2 edges-0.9.1 edges-0.9.1.1 edges-0.10 edges-0.11 edges-0.11.0.1 edges-0.11.0.2 edges-0.11.0.3 folds-0.7.1 folds-0.7.2 folds-0.7.3 folds-0.7.4 folds-0.7.5 folds-0.7.6 folds-0.7.7 folds-0.7.8 functor-combinators-0.1.0.0 functor-combinators-0.1.0.1 functor-combinators-0.1.1.0 functor-combinators-0.1.1.1 functor-combinators-0.2.0.0 functor-combinators-0.3.0.0 functor-combinators-0.3.1.0 functor-combinators-0.3.2.0 functor-combinators-0.3.3.0 functor-combinators-0.3.4.0 functor-combinators-0.3.4.1 functor-combinators-0.3.4.2 functor-combinators-0.3.5.0 functor-combinators-0.3.5.1 functor-combinators-0.3.6.0 functor-combinators-0.4.0.0 functor-combinators-0.4.1.0 functor-combinators-0.4.1.1 functor-combinators-0.4.1.2 functor-combinators-0.4.1.3 functor-combinators-0.4.1.4 grouped-list-0.1.0.0 grouped-list-0.1.1.0 grouped-list-0.1.2.0 grouped-list-0.1.3.0 grouped-list-0.2.0.0 grouped-list-0.2.1.0 grouped-list-0.2.1.1 grouped-list-0.2.1.2 grouped-list-0.2.1.3 grouped-list-0.2.1.4 grouped-list-0.2.1.5 grouped-list-0.2.2.0 grouped-list-0.2.2.1 grouped-list-0.2.3.0 indexed-extras-0.2 logic-TPTP-0.4.0.0 logic-TPTP-0.4.1.0 logic-TPTP-0.4.2.0 logic-TPTP-0.4.3.0 logic-TPTP-0.4.4.0 logic-TPTP-0.4.5.0 logic-TPTP-0.4.6.0 logic-TPTP-0.4.7.0 logic-TPTP-0.5.0.0 logic-TPTP-0.5.1.0 logic-TPTP-0.6.0.0 machines-0.2.2 machines-0.2.3 machines-0.2.3.1 machines-0.2.4 machines-0.2.5 machines-0.4 machines-0.4.0.1 machines-0.6.1 machines-0.6.2 machines-0.6.3 machines-0.6.4 machines-0.7 machines-0.7.1 machines-0.7.2 machines-0.7.3 machines-0.7.4 music-score-1.3 music-score-1.3.1 newtype-zoo-1.0.0.0 newtype-zoo-1.0.0.1 newtype-zoo-1.1.0.0 newtype-zoo-1.2.0.0 newtype-zoo-1.2.1.0 planet-mitchell-0.0.0 prologue-3.0.9 prologue-3.1.0 prologue-3.1.1 prologue-3.1.2 prologue-3.1.3 prologue-3.1.4 prologue-3.1.5 prologue-3.1.6 prologue-3.1.7 prologue-3.2.0 prologue-3.2.1 prologue-3.2.2 prologue-3.2.3 prologue-3.2.4 prologue-3.2.6 property-list-0.0.3 sparse-0.5 sparser-0.6 sparser-0.6.1 subcategories-0.1.0.0 subcategories-0.1.1.0 subcategories-0.2.0.0 subcategories-0.2.0.1 subcategories-0.2.1.0 subcategories-0.2.1.1 subcategories-0.2.1.2 transformers-abort-0.1 transformers-abort-0.2 transformers-abort-0.3 transformers-abort-0.4 transformers-abort-0.5 transformers-abort-0.5.0.1 transformers-abort-0.6 transformers-abort-0.6.0.1 transformers-abort-0.6.0.3 vector-instances-3.2.1 vector-instances-3.3 vector-instances-3.3.0.1 vector-instances-3.3.1 vector-instances-3.4 vector-instances-3.4.1 vector-instances-3.4.2 vector-instances-3.4.3 ytl-0.1.0.0 zettelkast-0.1.0.0 zettelkast-0.2.0.0