From 093be3e5944023b2954bb1b47bbf8e297f60fd33 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Thu, 30 Jul 2026 11:24:50 +0200
Subject: [PATCH] sci-mathematics/easycrypt: drop old 2026.03
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 sci-mathematics/easycrypt/Manifest            |  1 -
 .../easycrypt/easycrypt-2026.03.ebuild        | 52 -------------------
 2 files changed, 53 deletions(-)
 delete mode 100644 sci-mathematics/easycrypt/easycrypt-2026.03.ebuild

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index 5347ab431c54c..07cbf2b8a9bdb 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/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
diff --git a/sci-mathematics/easycrypt/easycrypt-2026.03.ebuild b/sci-mathematics/easycrypt/easycrypt-2026.03.ebuild
deleted file mode 100644
index 4c25e221dbdab..0000000000000
--- a/sci-mathematics/easycrypt/easycrypt-2026.03.ebuild
+++ /dev/null
@@ -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
-}