8|dev-lang/elpi|elpi-1.17.4.ebuild|dune|ml@gentoo.org:sci-mathematics@gentoo.org
8|dev-lang/elpi|elpi-1.17.0.ebuild|dune|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/alt-ergo|alt-ergo-2.4.3.ebuild|dune|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/alt-ergo|alt-ergo-9999.ebuild|dune:git-r3|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/coq-serapi|coq-serapi-0.19.0.ebuild|elisp-common:dune|sci-mathematics@gentoo.org
8|sci-mathematics/easycrypt|easycrypt-2023.09.ebuild|dune|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/easycrypt|easycrypt-2024.01.ebuild|dune|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/coq|coq-8.19.0.ebuild|check-reqs:desktop:edo:dune|sci-mathematics@gentoo.org
8|sci-mathematics/coq|coq-8.19.1.ebuild|check-reqs:desktop:edo:dune|sci-mathematics@gentoo.org
8|sci-mathematics/kind2|kind2-1.9.0.ebuild|dune|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/psmt2-frontend|psmt2-frontend-0.4.0.ebuild|dune|ml@gentoo.org:sci-mathematics@gentoo.org