8|sci-mathematics/easycrypt|easycrypt-2024.01-r1.ebuild|MIT|ml@gentoo.org:sci-mathematics@gentoo.org