sci-mathematics/easycrypt: bump to 2025.08

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

sci-mathematics/easycrypt/Manifest

@@ -1 +1,2 @@
 DIST easycrypt-2025.03.gh.tar.gz 1371575 BLAKE2B 2cde19c1708e9018feabc4c590aeefd593e0fc86ae1d48bf6225888aa3be3277d7adca8cb1d2a8f661cd170a69a7e9f96f49bd94c425efa69db9f7ca7256a1f6 SHA512 32275fd51cd327998d8f5629bd6ee02135028e14e6e2670899eff56ccfa1d385213218cf55499ae795edc8f529ddb8d8f07cb6bc2593aa6e2fcda8d5bf56b80c
+DIST easycrypt-2025.08.gh.tar.gz 1379375 BLAKE2B b223ab0d03845f51bfc15982fa862f7cb2b7a8d7cd68b69ee551e3f1342748c55115a72d1b024023ffe251e0e9ceeea82650e49094007979d54badf7a6205fd9 SHA512 f23efea0fb98d881c5b3871a9bd04c6d81d9a6da9ed33d2f7e300e5de46499b9f76e1153b3be45ca94ec4b83cb9b0b501ad0e062b0f64987f5dd02450cc97ecf

sci-mathematics/easycrypt/easycrypt-2025.08.ebuild

@@ -0,0 +1,51 @@
+# Copyright 1999-2025 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="
+	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
+	>=sci-mathematics/why3-1.8.0:=
+
+	dev-ml/batteries:=
+	dev-ml/camlp-streams:=
+	dev-ml/camlzip:=
+	dev-ml/dune-build-info:=
+	dev-ml/dune-site:=
+	dev-ml/num:=
+	dev-ml/ocaml-inifiles:=
+	dev-ml/pcre-ocaml:=
+	dev-ml/yojson:=
+	dev-ml/zarith:=
+"
+DEPEND="
+	${RDEPEND}
+"
+
+src_prepare() {
+	local theories="[\"$(ocamlc -where)/easycrypt/theories\"]"
+	sed -i "s|EcRelocate\.Sites\.theories|${theories}|g" src/ec.ml || die
+
+	default
+}