8|200|2024-03-18|sci-mathematics/psmt2-frontend|psmt2-frontend-0.4.0.ebuild|https://github.com/OCamlPro-Coquera/psmt2-frontend|https://github.com/ACoquereau/psmt2-frontend|ml@gentoo.org:sci-mathematics@gentoo.org