7|sci-mathematics/ltl2ba|ltl2ba-1.1.ebuild|flag-o-matic|sci@gentoo.org
8|sci-mathematics/ltl2ba|ltl2ba-1.2.ebuild|flag-o-matic|sci@gentoo.org
8|sci-mathematics/ltl2ba|ltl2ba-1.3.ebuild|flag-o-matic|sci@gentoo.org