sci-mathematics/easycrypt: bump to 2026.05

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

sci-mathematics/easycrypt/Manifest

@@ -1,3 +1,4 @@
 DIST easycrypt-2025.10.gh.tar.gz 1388382 BLAKE2B c49d8b60dfb3248d1291d14841f79373be50c2ee77848afc49f09eb02a97bde2203208d7567d1cff971e86e16e74d169b1bc88aeee7053c7ba16497e999113c4 SHA512 d1136aa0e2a389ff38b665bc729e070de6f8e8970eeac1b92a4ad9afc1f03d2d2464ac224fec2e3fef4745906b41e2f3a8d48937545c51949c76dbaf471acb08
 DIST easycrypt-2025.11.gh.tar.gz 1434098 BLAKE2B dad0b25c40499b81acdf68025c7cc70ee34a5e407a3b4d25807b6684b153d18dfc60f8871dda2efded01435d049e9a228d1fe33f8540e6c9bdb6ad9d020dc137 SHA512 18eafb0d0934009fcfa1bfafeb6d69660b708dbc3c0bce9ef73543763367b7fea7e00e452dec7b517dffb5f65420643f7a1ee6d84729f10758cb19d93af70948
 DIST easycrypt-2026.03.gh.tar.gz 1497269 BLAKE2B 0391f3fc0c33d921d380863ebb064731ef043ec3a62275c302c67f194fe2894081ed3a992e25fd585af7c7b376ecc1b3fe4aee63bfc77ff9913fc45babd39197 SHA512 619cfe0a695f77b37dcefef819a8e6c9fe58434c03d7cadbde30d00ae7919c7293486909e9d498698e8cd7f45d83f2a40dcb8820c95a871e81637c3c4a13dda1
+DIST easycrypt-2026.05.gh.tar.gz 1543636 BLAKE2B 864c842adb50b237d1a1f95d354904238040bd37f9ed598048ceb605c656a70a9bcc063980a79bb2b2f81fd3421c80dc4062092b606329ff5377d67f18e6c3f4 SHA512 ae4289b9def8ecbb42e78e1e1aad1ff002ad46f4090b630dda44a68b026910c47fb3af69cd66693b293f239e6bfcad0662dd202fd4ad5b8b7a430805f40669fd

sci-mathematics/easycrypt/easycrypt-2026.05.ebuild

@@ -0,0 +1,52 @@
+# Copyright 1999-2026 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Computer-Aided Cryptographic Proofs"
+HOMEPAGE="https://github.com/EasyCrypt/easycrypt/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+
+	EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}"
+else
+	SRC_URI="https://github.com/EasyCrypt/${PN}/archive/r${PV}.tar.gz
+		-> ${P}.gh.tar.gz"
+	S="${WORKDIR}/${PN}-r${PV}"
+
+	KEYWORDS="~amd64"
+fi
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+IUSE="+ocamlopt"
+
+RDEPEND="
+	>=sci-mathematics/why3-1.8.0:=
+	>=dev-ml/batteries-3:=
+	>=dev-ml/camlp-streams-5:=
+	>=dev-ml/pcre2-ocaml-8:=
+	>=dev-ml/zarith-1.10:=
+	dev-ml/camlzip:=
+	dev-ml/dune-build-info:=
+	dev-ml/dune-site:=
+	dev-ml/num:=
+	dev-ml/ocaml-inifiles:=
+	dev-ml/ocaml-markdown:=
+	dev-ml/tyxml:=
+	dev-ml/yojson:=
+"
+DEPEND="
+	${RDEPEND}
+"
+
+src_prepare() {
+	local theories="[\"$(ocamlc -where)/easycrypt/theories\"]"
+	sed -i "s|EcRelocate\.Sites\.theories|${theories}|g" ./src/ec.ml \
+		|| die "failed to update theories"
+
+	default
+}