From 8b858f85e44638d962676e1ecf3174875e81d377 Mon Sep 17 00:00:00 2001
From: Alfred Wingate <parona@protonmail.com>
Date: Thu, 21 Mar 2024 09:55:29 +0200
Subject: [PATCH] sci-mathematics/isabelle-bin: drop 2021

Signed-off-by: Alfred Wingate <parona@protonmail.com>
---
 sci-mathematics/isabelle-bin/Manifest         |  1 -
 .../isabelle-bin/isabelle-bin-2021.ebuild     | 50 -------------------
 2 files changed, 51 deletions(-)
 delete mode 100644 sci-mathematics/isabelle-bin/isabelle-bin-2021.ebuild

diff --git a/sci-mathematics/isabelle-bin/Manifest b/sci-mathematics/isabelle-bin/Manifest
index f5b5111..4531e10 100644
--- a/sci-mathematics/isabelle-bin/Manifest
+++ b/sci-mathematics/isabelle-bin/Manifest
@@ -1,3 +1,2 @@
 DIST Isabelle2023_linux.tar.gz 660494085 BLAKE2B 1b5b66c7f6c7118ddbd0c4e9c472eebe4b108654098717933f6310848a406fcc6ac924e0dad0430334c493ee768d0797666179010526371ec61d7f13ec75916d SHA512 2ac1da96d9312a89efc8112d104300e75aed9d2c945b067579bf6d3c2078d9a9af27905b72be12501f06e224df74fccd2483b699fa38b9bb483044695095747f
 DIST Isabelle2023_linux_arm.tar.gz 623824573 BLAKE2B 2308d3aaf9e1ccc4fdd29a7affa7ac6cd5ece65e6ce2e4e568ef3e473998c916535be4fdbe68097e23d1eaa2a9fcebb00580e60e8e62eb89c3d85cd4b6553537 SHA512 7571820c7476a95332bac6f008544d32df16e2d1f047e8db1f2a28bc2454bb878e286c7a6f8da1da6482e45556392b3c41afd5cddc921fbffc4d676a829e07da
-DIST isabelle-bin-2021.tar.gz 483561674 BLAKE2B 00390c785a858637918847821f4a429853b7ce968a8d71a37c3b6ac392438577ff3241f106840054eeadda19621a0ccd6afc9fce282720383657f28f304ed0ed SHA512 5a91f867bc743f6bcfca87fb04f4d2ca20570545bcfab6150a8f3516efd00abac7f9346f69b6f53988ca39053d78feae92e10a00a0453f2300280797a2c14b85
diff --git a/sci-mathematics/isabelle-bin/isabelle-bin-2021.ebuild b/sci-mathematics/isabelle-bin/isabelle-bin-2021.ebuild
deleted file mode 100644
index 961d71a..0000000
--- a/sci-mathematics/isabelle-bin/isabelle-bin-2021.ebuild
+++ /dev/null
@@ -1,50 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit desktop wrapper xdg
-
-MY_P="Isabelle${PV}"
-
-DESCRIPTION="Generic proof assistant with higher-order logic"
-HOMEPAGE="https://isabelle.in.tum.de/overview.html"
-SRC_URI="https://isabelle.in.tum.de/dist/${MY_P}_linux.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}/${MY_P}"
-
-RESTRICT="bindist test"
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="-* ~amd64"
-
-RDEPEND="
-	!sci-mathematics/isabelle
-"
-
-QA_PREBUILT=".*"
-
-src_install() {
-	local ISABELLE_HOME="/opt/isabelle"
-
-	local doc
-	for doc in ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README; do
-		if [[ -f ${doc} ]]; then
-			dodoc ${doc}
-			rm ${doc} || die
-		fi
-	done
-
-	mkdir -p "${ED}/${ISABELLE_HOME}" || die
-	cp -r ./* "${ED}/${ISABELLE_HOME}" || die
-
-	local isabelle_env='env USER_HOME=${HOME}/.cache/isabelle'
-	local wrap
-	for wrap in ${PN} ${MY_P} Isabelle isabelle; do
-		make_wrapper ${wrap} "${isabelle_env} ${ISABELLE_HOME}/${MY_P}" "${ISABELLE_HOME}"
-	done
-
-	doicon ./lib/icons/isabelle-mini.xpm
-	doicon ./lib/icons/isabelle.xpm
-
-	make_desktop_entry isabelle Isabelle isabelle "Education;Science;Math;"
-}