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