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