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