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