8|200|2024-02-20|sci-mathematics/opensmt|opensmt-2.5.2.ebuild|http://verify.inf.usi.ch/opensmt/|https://verify.inf.usi.ch/opensmt/|sci-mathematics@gentoo.org