sci-mathematics/easycrypt: drop old 2026.03

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

sci-mathematics/easycrypt/Manifest

@@ -1,3 +1,2 @@
-DIST easycrypt-2026.03.gh.tar.gz 1497269 BLAKE2B 0391f3fc0c33d921d380863ebb064731ef043ec3a62275c302c67f194fe2894081ed3a992e25fd585af7c7b376ecc1b3fe4aee63bfc77ff9913fc45babd39197 SHA512 619cfe0a695f77b37dcefef819a8e6c9fe58434c03d7cadbde30d00ae7919c7293486909e9d498698e8cd7f45d83f2a40dcb8820c95a871e81637c3c4a13dda1
 DIST easycrypt-2026.05.gh.tar.gz 1543636 BLAKE2B 864c842adb50b237d1a1f95d354904238040bd37f9ed598048ceb605c656a70a9bcc063980a79bb2b2f81fd3421c80dc4062092b606329ff5377d67f18e6c3f4 SHA512 ae4289b9def8ecbb42e78e1e1aad1ff002ad46f4090b630dda44a68b026910c47fb3af69cd66693b293f239e6bfcad0662dd202fd4ad5b8b7a430805f40669fd
 DIST easycrypt-2026.06.gh.tar.gz 1562805 BLAKE2B ec9bb4f2a582a86bcd0499c78de0ef91ed0dd7b7f0ee91f73bac77fe8e6261765696bb9adcbd326e3c3addce0b5978468dd2b2edc6c940ac4ae6a9bc9606bef7 SHA512 2edc8c78c00e41496cf96882a0267e3bf577222afe7414ba404cb3cb68b7df2e2c338a2c6a58104b5d6569b5c8de2e6ab3e1d9078f22cb6f2ac8f53f975c287b

sci-mathematics/easycrypt/easycrypt-2026.03.ebuild

@@ -1,52 +0,0 @@
-# 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
-}