From c44123f79f40edf5fe3d4b0d211d6aa68542abd2 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Sat, 3 Feb 2024 17:44:31 +0000
Subject: gentoo auto-resync : 03:02:2024 - 17:44:31

---
 sci-mathematics/easycrypt/Manifest                 |  4 +-
 .../easycrypt/easycrypt-2022.04_p20230324.ebuild   | 51 ----------------------
 sci-mathematics/easycrypt/easycrypt-2024.01.ebuild | 49 +++++++++++++++++++++
 3 files changed, 51 insertions(+), 53 deletions(-)
 delete mode 100644 sci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuild
 create mode 100644 sci-mathematics/easycrypt/easycrypt-2024.01.ebuild

(limited to 'sci-mathematics/easycrypt')

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index 2593beed4fc5..4b5f47a0c95c 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1,5 +1,5 @@
-DIST easycrypt-2022.04_p20230324.tar.gz 1296898 BLAKE2B 119cb10ad5c2cd50db9f70eb858e2779cae0350b9e5370060b8045f36684a9de87ad746e75c6a7e7fcc7ad93e40bde2164866bb16e67dd2ebc3409657760cbd8 SHA512 917d5ff2fe65a1fd02a19d700cfb77910290746023458b6ed9eb9dc1290faa5469571a3c77510caac8734ad7d2ada6c7fbfc75bb933d0a57e9c303a8cf207026
 DIST easycrypt-2023.09.tar.gz 1317177 BLAKE2B 98e1c13b530f1cac6f3e166a01627cfb9cd0f1660f51187dac66397caad9cd71fe6b8923ac9757015a50ee479d3427d4906dcdf3bd36012559087657904489b8 SHA512 06fbd3993db951b620c946679566910c8f32035da6d0e8991c794edbc95a31acf3c60c5d3e909a60535ba0252dadf86ccfba2d1998a3929c4653e159d9a4dfac
-EBUILD easycrypt-2022.04_p20230324.ebuild 1197 BLAKE2B a3f363f547cea997bf3e49953df448d00cf72cbc828a2ab495e636d9903fce7bb72c7b047cb0001859faac6d30d369fd6a38905a537a057b26075b1e490fe546 SHA512 48b15f4bd30f8c47d39009a76e0094f480822d9f50d5015e87b94a9c2b661a59df6f8512352886cfb26730f7797cfd81cda8150590a2cc56528203c41105b644
+DIST easycrypt-2024.01.tar.gz 1349695 BLAKE2B e9c43d43f2c07d75dcb5ee8edf46d1fcfc2a47497fd76c87ef13d52087144acbf3b80ae809c70164eebe046cfb5d585678811163a47cf30c3c55828c3278a4fc SHA512 331612b05f6c47b302f1ceb1d741f47476354bf2d4960c2f55e6bddf3187fea3d40aa687c278fc727bf8994fee95e7af444f109be9a0c9eb9ab455d5fcc7b97d
 EBUILD easycrypt-2023.09.ebuild 1006 BLAKE2B 115202937c5ee8094e83427e9cf4d9ca7f82f911cc119974abeff5c2d19b70cca1c0fe3a5c271b65e76c764a154685c923e3a1e62ad4c282753c92ede5a94375 SHA512 09994233f3eff6f1ff3d5c0a958d030ca737d1a6b9c795ad701ef898288c9f9846be11c42af6fe3fd6edb9809132fc8b3d543fd2371d36f03c59b02bfefe6ff8
+EBUILD easycrypt-2024.01.ebuild 971 BLAKE2B be516b79d48dce5a2158d24787ea170305ea9aded7989a5381cf602332f63c46e8aa58d5a8018add41e689987a7ce8d9b824d052acfb9f6f489de24932205b16 SHA512 d382533c7539e30c2948efdbdec5dd97ab833fc755f9d1be170a87353730e3118cb10dd71d9120c36aff6f64dc259ab5b2efc78344beb6b0b1458e66d86f965a
 MISC metadata.xml 799 BLAKE2B 967a758171a2fe87b648a29bf2663beaae7834119e55a7619c98518c96cfe459e59fe5dc72a9faea071c0b488dc8144f1c0e43677ac63646f1ba12cf831f4a88 SHA512 411ff1acad400c3e70e546fd59b20db13b0f1db121aca9f1af23da708cd82340114bc966f64cfb5a35e84967c1131c660ab260f867639932c67edf47c859c4ca
diff --git a/sci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuild b/sci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuild
deleted file mode 100644
index 8434aa25bbc1..000000000000
--- a/sci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2023 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}.git"
-else
-	if [[ ${PV} == *_p20230324 ]] ; then
-	   COMMIT=f62625928cc0970c88839c84897d1f6b17437519
-	   SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz
-			-> ${P}.tar.gz"
-	   S="${WORKDIR}"/${PN}-${COMMIT}
-	else
-		SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${PV}.tar.gz
-			-> ${P}.tar.gz"
-	fi
-	KEYWORDS="~amd64"
-fi
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-IUSE="+ocamlopt"
-
-RDEPEND="
-	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
-	>=sci-mathematics/why3-1.6:= <sci-mathematics/why3-1.7:=
-	dev-ml/batteries:=
-	dev-ml/camlp-streams:=
-	dev-ml/camlzip:=
-	dev-ml/dune-build-info:=
-	dev-ml/dune-site:=
-	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
-}
diff --git a/sci-mathematics/easycrypt/easycrypt-2024.01.ebuild b/sci-mathematics/easycrypt/easycrypt-2024.01.ebuild
new file mode 100644
index 000000000000..9be3ec43e207
--- /dev/null
+++ b/sci-mathematics/easycrypt/easycrypt-2024.01.ebuild
@@ -0,0 +1,49 @@
+# Copyright 1999-2024 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}.git"
+else
+	SRC_URI="https://github.com/EasyCrypt/${PN}/archive/r${PV}.tar.gz
+		-> ${P}.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?]
+	dev-ml/batteries:=
+	dev-ml/camlp-streams:=
+	dev-ml/camlzip:=
+	dev-ml/dune-build-info:=
+	dev-ml/dune-site:=
+	dev-ml/ocaml-inifiles:=
+	dev-ml/pcre-ocaml:=
+	dev-ml/yojson:=
+	dev-ml/zarith:=
+	sci-mathematics/why3:=
+"
+DEPEND="
+	${RDEPEND}
+"
+
+src_prepare() {
+	local theories="[\"$(ocamlc -where)/easycrypt/theories\"]"
+	sed -i "s|EcRelocate\.Sites\.theories|${theories}|g" src/ec.ml || die
+
+	default
+}
-- 
cgit v1.2.3