[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/

public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2023-04-01 22:57 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2023-04-01 22:57 UTC (permalink / raw
  To: gentoo-commits

commit:     7de9d171829a24726d934bacaf2acf4778e9a05f
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Apr  1 22:54:31 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Apr  1 22:54:31 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7de9d171

sci-mathematics/easycrypt: drop old 1.0_pre20220303-r1

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

 sci-mathematics/easycrypt/Manifest                 |  1 -
 .../easycrypt/easycrypt-1.0_pre20220303-r1.ebuild  | 45 ----------------------
 2 files changed, 46 deletions(-)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index 96db3b6cfa3e..e5bfa4203cd4 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1,4 +1,3 @@
-DIST easycrypt-1.0_pre20220303.tar.gz 1193244 BLAKE2B f4d4b0661b7c58d9dd2c344efac45aa4257b46122cef81f98ced05792c1e4dd49d332421f09d0b11a28893096042a98a7415d06e1624aaa59cea0c71f17f4bb8 SHA512 bd9f1638631c9539aea3ee369705fbaafa06d575db395b3d170642af2450b7df735a18fe8f6aa6e8904eae62bdcd30743ab734f7c17c583ece7c146fee1bcf77
 DIST easycrypt-2022.04.tar.gz 1277930 BLAKE2B 4bb68325b9894e28dcf33f2b78f63c029375ba4f77d0df06cedff3a26be768827c9fb25f49cc8ecc8a2d341191fb0b9371825979f0f7cd14c69b3ced16ddc32c SHA512 9234de7f28999a6de79a3ecd27d3499ffb15fe651b2a577cf0b49fc73e034bbe1b4d99c2a7aafd3df70d9b4e095d1ae09ed8ff7a7885c020f9e5c990afe9b592
 DIST easycrypt-2022.04_p20220505.tar.gz 1279876 BLAKE2B 10ae22e216b8a35973ad7d1dbffe1dba9ce328b67319577cd1a7fad957f08174d1651ee6c1bab8cdf12d8fda20cb85d5a334ad41dfb3e55f9ee8beb8a233a2eb SHA512 b1231e0be787a667c836d970236d47311e490443a66bc0a3834963557b32358ad9db2008e32d427d232f2a94c72afc65bd3330b6db1eb938335791ea997b4013
 DIST easycrypt-2022.04_p20230324.tar.gz 1296898 BLAKE2B 119cb10ad5c2cd50db9f70eb858e2779cae0350b9e5370060b8045f36684a9de87ad746e75c6a7e7fcc7ad93e40bde2164866bb16e67dd2ebc3409657760cbd8 SHA512 917d5ff2fe65a1fd02a19d700cfb77910290746023458b6ed9eb9dc1290faa5469571a3c77510caac8734ad7d2ada6c7fbfc75bb933d0a57e9c303a8cf207026

diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
deleted file mode 100644
index bb9b0527be75..000000000000
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
+++ /dev/null
@@ -1,45 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-[[ ${PV} == *_pre20220303 ]] && COMMIT=c98b014c131b6c0b147b852902953dd6c5771603
-
-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/${COMMIT}.tar.gz -> ${P}.tar.gz"
-	S="${WORKDIR}/${PN}-${COMMIT}"
-fi
-
-LICENSE="CeCILL-B CeCILL-C"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt"
-
-RDEPEND="
-	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
-	>=sci-mathematics/why3-1.4:= <sci-mathematics/why3-1.5:=
-	dev-ml/batteries:=
-	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
-}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2024-07-02 14:50 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2024-07-02 14:50 UTC (permalink / raw
  To: gentoo-commits

commit:     c51e0da237da1b3bca1d52b814009f298af4e071
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Jul  2 13:49:15 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Jul  2 14:50:22 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c51e0da2

sci-mathematics/easycrypt: restrict num to version <1.5

Closes: https://bugs.gentoo.org/935344
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 .../easycrypt/{easycrypt-2024.01.ebuild => easycrypt-2024.01-r1.ebuild}  | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sci-mathematics/easycrypt/easycrypt-2024.01.ebuild b/sci-mathematics/easycrypt/easycrypt-2024.01-r1.ebuild
similarity index 98%
rename from sci-mathematics/easycrypt/easycrypt-2024.01.ebuild
rename to sci-mathematics/easycrypt/easycrypt-2024.01-r1.ebuild
index 9be3ec43e207..80d57075fb07 100644
--- a/sci-mathematics/easycrypt/easycrypt-2024.01.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-2024.01-r1.ebuild
@@ -25,6 +25,7 @@ SLOT="0/${PV}"
 IUSE="+ocamlopt"
 
 RDEPEND="
+	<dev-ml/num-1.5:=
 	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
 	dev-ml/batteries:=
 	dev-ml/camlp-streams:=


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2024-07-02 14:50 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2024-07-02 14:50 UTC (permalink / raw
  To: gentoo-commits

commit:     0b5c2a947e418884e661eb0a46097a8bc4c3736b
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Jul  2 13:49:57 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Jul  2 14:50:22 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0b5c2a94

sci-mathematics/easycrypt: drop old 2023.09

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

 sci-mathematics/easycrypt/Manifest                 |  1 -
 sci-mathematics/easycrypt/easycrypt-2023.09.ebuild | 50 ----------------------
 2 files changed, 51 deletions(-)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index 5265d3450ef7..12d4362310fb 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1,2 +1 @@
-DIST easycrypt-2023.09.tar.gz 1317177 BLAKE2B 98e1c13b530f1cac6f3e166a01627cfb9cd0f1660f51187dac66397caad9cd71fe6b8923ac9757015a50ee479d3427d4906dcdf3bd36012559087657904489b8 SHA512 06fbd3993db951b620c946679566910c8f32035da6d0e8991c794edbc95a31acf3c60c5d3e909a60535ba0252dadf86ccfba2d1998a3929c4653e159d9a4dfac
 DIST easycrypt-2024.01.tar.gz 1349695 BLAKE2B e9c43d43f2c07d75dcb5ee8edf46d1fcfc2a47497fd76c87ef13d52087144acbf3b80ae809c70164eebe046cfb5d585678811163a47cf30c3c55828c3278a4fc SHA512 331612b05f6c47b302f1ceb1d741f47476354bf2d4960c2f55e6bddf3187fea3d40aa687c278fc727bf8994fee95e7af444f109be9a0c9eb9ab455d5fcc7b97d

diff --git a/sci-mathematics/easycrypt/easycrypt-2023.09.ebuild b/sci-mathematics/easycrypt/easycrypt-2023.09.ebuild
deleted file mode 100644
index 938be55dac7e..000000000000
--- a/sci-mathematics/easycrypt/easycrypt-2023.09.ebuild
+++ /dev/null
@@ -1,50 +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
-	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?]
-	>=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
-}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2024-02-03 13:00 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2024-02-03 13:00 UTC (permalink / raw
  To: gentoo-commits

commit:     d9f21a4c28dba8bd717f6978a212e88fbf4a7e38
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Feb  3 12:56:41 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Feb  3 13:00:12 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9f21a4c

sci-mathematics/easycrypt: bump to 2024.01

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

 sci-mathematics/easycrypt/Manifest                 |  1 +
 sci-mathematics/easycrypt/easycrypt-2024.01.ebuild | 49 ++++++++++++++++++++++
 2 files changed, 50 insertions(+)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index 3c2d7f0d022c..5265d3450ef7 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1 +1,2 @@
 DIST easycrypt-2023.09.tar.gz 1317177 BLAKE2B 98e1c13b530f1cac6f3e166a01627cfb9cd0f1660f51187dac66397caad9cd71fe6b8923ac9757015a50ee479d3427d4906dcdf3bd36012559087657904489b8 SHA512 06fbd3993db951b620c946679566910c8f32035da6d0e8991c794edbc95a31acf3c60c5d3e909a60535ba0252dadf86ccfba2d1998a3929c4653e159d9a4dfac
+DIST easycrypt-2024.01.tar.gz 1349695 BLAKE2B e9c43d43f2c07d75dcb5ee8edf46d1fcfc2a47497fd76c87ef13d52087144acbf3b80ae809c70164eebe046cfb5d585678811163a47cf30c3c55828c3278a4fc SHA512 331612b05f6c47b302f1ceb1d741f47476354bf2d4960c2f55e6bddf3187fea3d40aa687c278fc727bf8994fee95e7af444f109be9a0c9eb9ab455d5fcc7b97d

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
+}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2024-02-03 13:00 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2024-02-03 13:00 UTC (permalink / raw
  To: gentoo-commits

commit:     6ae753304c2c5dd621d5381313b804e6a0d1bac2
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Feb  3 12:51:40 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Feb  3 13:00:12 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6ae75330

sci-mathematics/easycrypt: drop old 2022.04_p20230324

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

 sci-mathematics/easycrypt/Manifest                 |  1 -
 .../easycrypt/easycrypt-2022.04_p20230324.ebuild   | 51 ----------------------
 2 files changed, 52 deletions(-)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index 3d5b671859fb..3c2d7f0d022c 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1,2 +1 @@
-DIST easycrypt-2022.04_p20230324.tar.gz 1296898 BLAKE2B 119cb10ad5c2cd50db9f70eb858e2779cae0350b9e5370060b8045f36684a9de87ad746e75c6a7e7fcc7ad93e40bde2164866bb16e67dd2ebc3409657760cbd8 SHA512 917d5ff2fe65a1fd02a19d700cfb77910290746023458b6ed9eb9dc1290faa5469571a3c77510caac8734ad7d2ada6c7fbfc75bb933d0a57e9c303a8cf207026
 DIST easycrypt-2023.09.tar.gz 1317177 BLAKE2B 98e1c13b530f1cac6f3e166a01627cfb9cd0f1660f51187dac66397caad9cd71fe6b8923ac9757015a50ee479d3427d4906dcdf3bd36012559087657904489b8 SHA512 06fbd3993db951b620c946679566910c8f32035da6d0e8991c794edbc95a31acf3c60c5d3e909a60535ba0252dadf86ccfba2d1998a3929c4653e159d9a4dfac

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
-}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2023-09-30 14:36 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2023-09-30 14:36 UTC (permalink / raw
  To: gentoo-commits

commit:     3c174a5622784b7f7193c2983a023666028ede4e
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 30 14:33:59 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Sep 30 14:33:59 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3c174a56

sci-mathematics/easycrypt: bump to 2023.09

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

 sci-mathematics/easycrypt/Manifest                 |  1 +
 sci-mathematics/easycrypt/easycrypt-2023.09.ebuild | 50 ++++++++++++++++++++++
 2 files changed, 51 insertions(+)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index 01d7d4c9172a..3d5b671859fb 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1 +1,2 @@
 DIST easycrypt-2022.04_p20230324.tar.gz 1296898 BLAKE2B 119cb10ad5c2cd50db9f70eb858e2779cae0350b9e5370060b8045f36684a9de87ad746e75c6a7e7fcc7ad93e40bde2164866bb16e67dd2ebc3409657760cbd8 SHA512 917d5ff2fe65a1fd02a19d700cfb77910290746023458b6ed9eb9dc1290faa5469571a3c77510caac8734ad7d2ada6c7fbfc75bb933d0a57e9c303a8cf207026
+DIST easycrypt-2023.09.tar.gz 1317177 BLAKE2B 98e1c13b530f1cac6f3e166a01627cfb9cd0f1660f51187dac66397caad9cd71fe6b8923ac9757015a50ee479d3427d4906dcdf3bd36012559087657904489b8 SHA512 06fbd3993db951b620c946679566910c8f32035da6d0e8991c794edbc95a31acf3c60c5d3e909a60535ba0252dadf86ccfba2d1998a3929c4653e159d9a4dfac

diff --git a/sci-mathematics/easycrypt/easycrypt-2023.09.ebuild b/sci-mathematics/easycrypt/easycrypt-2023.09.ebuild
new file mode 100644
index 000000000000..938be55dac7e
--- /dev/null
+++ b/sci-mathematics/easycrypt/easycrypt-2023.09.ebuild
@@ -0,0 +1,50 @@
+# 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
+	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?]
+	>=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
+}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2023-07-15 22:17 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2023-07-15 22:17 UTC (permalink / raw
  To: gentoo-commits

commit:     66dc6979263520ad756d440d235757a87e760b3e
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 15 21:52:59 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Jul 15 22:17:03 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=66dc6979

sci-mathematics/easycrypt: drop old 2022.04_p20220505

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

 sci-mathematics/easycrypt/Manifest                 |  1 -
 .../easycrypt/easycrypt-2022.04_p20220505.ebuild   | 45 ----------------------
 2 files changed, 46 deletions(-)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index 8e06e0b9306e..01d7d4c9172a 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1,2 +1 @@
-DIST easycrypt-2022.04_p20220505.tar.gz 1279876 BLAKE2B 10ae22e216b8a35973ad7d1dbffe1dba9ce328b67319577cd1a7fad957f08174d1651ee6c1bab8cdf12d8fda20cb85d5a334ad41dfb3e55f9ee8beb8a233a2eb SHA512 b1231e0be787a667c836d970236d47311e490443a66bc0a3834963557b32358ad9db2008e32d427d232f2a94c72afc65bd3330b6db1eb938335791ea997b4013
 DIST easycrypt-2022.04_p20230324.tar.gz 1296898 BLAKE2B 119cb10ad5c2cd50db9f70eb858e2779cae0350b9e5370060b8045f36684a9de87ad746e75c6a7e7fcc7ad93e40bde2164866bb16e67dd2ebc3409657760cbd8 SHA512 917d5ff2fe65a1fd02a19d700cfb77910290746023458b6ed9eb9dc1290faa5469571a3c77510caac8734ad7d2ada6c7fbfc75bb933d0a57e9c303a8cf207026

diff --git a/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild b/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
deleted file mode 100644
index 6757aa7a057b..000000000000
--- a/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
+++ /dev/null
@@ -1,45 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-[[ ${PV} == *_p20220505 ]] && COMMIT=a49a0acf5f7e2776f6b10cd49f8a201ebab0cf03
-
-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/${COMMIT}.tar.gz -> ${P}.tar.gz"
-	S="${WORKDIR}"/${PN}-${COMMIT}
-fi
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt"
-
-RDEPEND="
-	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
-	>=sci-mathematics/why3-1.5:= <sci-mathematics/why3-1.6:=
-	dev-ml/batteries:=
-	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
-}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2023-04-01 22:57 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2023-04-01 22:57 UTC (permalink / raw
  To: gentoo-commits

commit:     35adc1abdd9496d6e88f54e0a4b8090ee97d018e
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Apr  1 22:54:46 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Apr  1 22:54:46 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=35adc1ab

sci-mathematics/easycrypt: drop old 2022.04-r1

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

 sci-mathematics/easycrypt/Manifest                 |  1 -
 .../easycrypt/easycrypt-2022.04-r1.ebuild          | 43 ----------------------
 2 files changed, 44 deletions(-)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index e5bfa4203cd4..8e06e0b9306e 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1,3 +1,2 @@
-DIST easycrypt-2022.04.tar.gz 1277930 BLAKE2B 4bb68325b9894e28dcf33f2b78f63c029375ba4f77d0df06cedff3a26be768827c9fb25f49cc8ecc8a2d341191fb0b9371825979f0f7cd14c69b3ced16ddc32c SHA512 9234de7f28999a6de79a3ecd27d3499ffb15fe651b2a577cf0b49fc73e034bbe1b4d99c2a7aafd3df70d9b4e095d1ae09ed8ff7a7885c020f9e5c990afe9b592
 DIST easycrypt-2022.04_p20220505.tar.gz 1279876 BLAKE2B 10ae22e216b8a35973ad7d1dbffe1dba9ce328b67319577cd1a7fad957f08174d1651ee6c1bab8cdf12d8fda20cb85d5a334ad41dfb3e55f9ee8beb8a233a2eb SHA512 b1231e0be787a667c836d970236d47311e490443a66bc0a3834963557b32358ad9db2008e32d427d232f2a94c72afc65bd3330b6db1eb938335791ea997b4013
 DIST easycrypt-2022.04_p20230324.tar.gz 1296898 BLAKE2B 119cb10ad5c2cd50db9f70eb858e2779cae0350b9e5370060b8045f36684a9de87ad746e75c6a7e7fcc7ad93e40bde2164866bb16e67dd2ebc3409657760cbd8 SHA512 917d5ff2fe65a1fd02a19d700cfb77910290746023458b6ed9eb9dc1290faa5469571a3c77510caac8734ad7d2ada6c7fbfc75bb933d0a57e9c303a8cf207026

diff --git a/sci-mathematics/easycrypt/easycrypt-2022.04-r1.ebuild b/sci-mathematics/easycrypt/easycrypt-2022.04-r1.ebuild
deleted file mode 100644
index 0e74e30a9b91..000000000000
--- a/sci-mathematics/easycrypt/easycrypt-2022.04-r1.ebuild
+++ /dev/null
@@ -1,43 +0,0 @@
-# Copyright 1999-2022 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}
-fi
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt"
-
-RDEPEND="
-	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
-	>=sci-mathematics/why3-1.4:= <sci-mathematics/why3-1.5:=
-	dev-ml/batteries:=
-	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
-}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2023-04-01 22:57 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2023-04-01 22:57 UTC (permalink / raw
  To: gentoo-commits

commit:     dcb89895710ce9e8cdbd858121961170c34afac9
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Apr  1 22:54:13 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Apr  1 22:54:13 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dcb89895

sci-mathematics/easycrypt: bump to 2022.04_p20230324

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

 sci-mathematics/easycrypt/Manifest                 |  1 +
 .../easycrypt/easycrypt-2022.04_p20230324.ebuild   | 51 ++++++++++++++++++++++
 2 files changed, 52 insertions(+)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index b2048b21a4d8..96db3b6cfa3e 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1,3 +1,4 @@
 DIST easycrypt-1.0_pre20220303.tar.gz 1193244 BLAKE2B f4d4b0661b7c58d9dd2c344efac45aa4257b46122cef81f98ced05792c1e4dd49d332421f09d0b11a28893096042a98a7415d06e1624aaa59cea0c71f17f4bb8 SHA512 bd9f1638631c9539aea3ee369705fbaafa06d575db395b3d170642af2450b7df735a18fe8f6aa6e8904eae62bdcd30743ab734f7c17c583ece7c146fee1bcf77
 DIST easycrypt-2022.04.tar.gz 1277930 BLAKE2B 4bb68325b9894e28dcf33f2b78f63c029375ba4f77d0df06cedff3a26be768827c9fb25f49cc8ecc8a2d341191fb0b9371825979f0f7cd14c69b3ced16ddc32c SHA512 9234de7f28999a6de79a3ecd27d3499ffb15fe651b2a577cf0b49fc73e034bbe1b4d99c2a7aafd3df70d9b4e095d1ae09ed8ff7a7885c020f9e5c990afe9b592
 DIST easycrypt-2022.04_p20220505.tar.gz 1279876 BLAKE2B 10ae22e216b8a35973ad7d1dbffe1dba9ce328b67319577cd1a7fad957f08174d1651ee6c1bab8cdf12d8fda20cb85d5a334ad41dfb3e55f9ee8beb8a233a2eb SHA512 b1231e0be787a667c836d970236d47311e490443a66bc0a3834963557b32358ad9db2008e32d427d232f2a94c72afc65bd3330b6db1eb938335791ea997b4013
+DIST easycrypt-2022.04_p20230324.tar.gz 1296898 BLAKE2B 119cb10ad5c2cd50db9f70eb858e2779cae0350b9e5370060b8045f36684a9de87ad746e75c6a7e7fcc7ad93e40bde2164866bb16e67dd2ebc3409657760cbd8 SHA512 917d5ff2fe65a1fd02a19d700cfb77910290746023458b6ed9eb9dc1290faa5469571a3c77510caac8734ad7d2ada6c7fbfc75bb933d0a57e9c303a8cf207026

diff --git a/sci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuild b/sci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuild
new file mode 100644
index 000000000000..8434aa25bbc1
--- /dev/null
+++ b/sci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuild
@@ -0,0 +1,51 @@
+# 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
+}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2023-02-02 17:46 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2023-02-02 17:46 UTC (permalink / raw
  To: gentoo-commits

commit:     83f6d3ed4097525d17521208136b0f7d8890009f
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Feb  2 17:45:39 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Feb  2 17:46:45 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=83f6d3ed

sci-mathematics/easycrypt: H -> COMMIT

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

 sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild | 10 +++++-----
 sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild  | 10 +++++-----
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
index c4f262d6d87c..bb9b0527be75 100644
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
@@ -1,21 +1,21 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
 
-H=c98b014c131b6c0b147b852902953dd6c5771603
+[[ ${PV} == *_pre20220303 ]] && COMMIT=c98b014c131b6c0b147b852902953dd6c5771603
 
 inherit dune
 
 DESCRIPTION="Computer-Aided Cryptographic Proofs"
 HOMEPAGE="https://github.com/EasyCrypt/easycrypt"
 
-if [[ "${PV}" == *9999* ]]; then
+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/${H}.tar.gz -> ${P}.tar.gz"
-	S="${WORKDIR}/${PN}-${H}"
+	SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
+	S="${WORKDIR}/${PN}-${COMMIT}"
 fi
 
 LICENSE="CeCILL-B CeCILL-C"

diff --git a/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild b/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
index e83988a1a04e..6757aa7a057b 100644
--- a/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
@@ -1,21 +1,21 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
 
-H=a49a0acf5f7e2776f6b10cd49f8a201ebab0cf03
+[[ ${PV} == *_p20220505 ]] && COMMIT=a49a0acf5f7e2776f6b10cd49f8a201ebab0cf03
 
 inherit dune
 
 DESCRIPTION="Computer-Aided Cryptographic Proofs"
 HOMEPAGE="https://github.com/EasyCrypt/easycrypt"
 
-if [[ "${PV}" == *9999* ]] ; then
+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/${H}.tar.gz -> ${P}.tar.gz"
-	S="${WORKDIR}"/${PN}-${H}
+	SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
+	S="${WORKDIR}"/${PN}-${COMMIT}
 fi
 
 LICENSE="MIT"


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2022-05-07 16:50 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2022-05-07 16:50 UTC (permalink / raw
  To: gentoo-commits

commit:     800228a625526f5b8f2029ae30eea0e9d168a274
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat May  7 16:47:55 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat May  7 16:50:26 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=800228a6

sci-mathematics/easycrypt: add Why3 constraints for older EC versions

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

 ...crypt-1.0_pre20220303.ebuild => easycrypt-1.0_pre20220303-r1.ebuild} | 2 +-
 .../easycrypt/{easycrypt-2022.04.ebuild => easycrypt-2022.04-r1.ebuild} | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
similarity index 94%
rename from sci-mathematics/easycrypt/easycrypt-1.0_pre20220303.ebuild
rename to sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
index 84353ee281ec..c4f262d6d87c 100644
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
@@ -25,7 +25,7 @@ IUSE="+ocamlopt"
 
 RDEPEND="
 	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
-	>=sci-mathematics/why3-1.4:=
+	>=sci-mathematics/why3-1.4:= <sci-mathematics/why3-1.5:=
 	dev-ml/batteries:=
 	dev-ml/camlzip:=
 	dev-ml/dune-build-info:=

diff --git a/sci-mathematics/easycrypt/easycrypt-2022.04.ebuild b/sci-mathematics/easycrypt/easycrypt-2022.04-r1.ebuild
similarity index 94%
rename from sci-mathematics/easycrypt/easycrypt-2022.04.ebuild
rename to sci-mathematics/easycrypt/easycrypt-2022.04-r1.ebuild
index 55ddb46d83fd..0e74e30a9b91 100644
--- a/sci-mathematics/easycrypt/easycrypt-2022.04.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-2022.04-r1.ebuild
@@ -23,7 +23,7 @@ IUSE="+ocamlopt"
 
 RDEPEND="
 	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
-	>=sci-mathematics/why3-1.4:=
+	>=sci-mathematics/why3-1.4:= <sci-mathematics/why3-1.5:=
 	dev-ml/batteries:=
 	dev-ml/camlzip:=
 	dev-ml/dune-build-info:=


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2022-05-07 16:50 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2022-05-07 16:50 UTC (permalink / raw
  To: gentoo-commits

commit:     e48f8307eb46e419d5acad13956322f79e6f9249
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat May  7 16:46:35 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat May  7 16:50:25 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e48f8307

sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2

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

 sci-mathematics/easycrypt/Manifest                 |  1 -
 .../easycrypt/easycrypt-1.0_pre20211210-r2.ebuild  | 45 ----------------------
 2 files changed, 46 deletions(-)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index 1fd6d87372d0..b2048b21a4d8 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1,4 +1,3 @@
-DIST easycrypt-1.0_pre20211210.tar.gz 1185137 BLAKE2B 3557a8b0423109a3b3e6e02f6d1ad88f07847d105015546c90b5a46cf514f1311390d3a6f6476c042420b91a62ad095919f7ab616adee2778165d9d081070730 SHA512 0043eac02e916dc46ed1cb4f278f148f915d09f336e904b1a711c18d62cda177e434fc13682ec095a085e458ba90ca8dd02968206af60f0b80a378f16b205553
 DIST easycrypt-1.0_pre20220303.tar.gz 1193244 BLAKE2B f4d4b0661b7c58d9dd2c344efac45aa4257b46122cef81f98ced05792c1e4dd49d332421f09d0b11a28893096042a98a7415d06e1624aaa59cea0c71f17f4bb8 SHA512 bd9f1638631c9539aea3ee369705fbaafa06d575db395b3d170642af2450b7df735a18fe8f6aa6e8904eae62bdcd30743ab734f7c17c583ece7c146fee1bcf77
 DIST easycrypt-2022.04.tar.gz 1277930 BLAKE2B 4bb68325b9894e28dcf33f2b78f63c029375ba4f77d0df06cedff3a26be768827c9fb25f49cc8ecc8a2d341191fb0b9371825979f0f7cd14c69b3ced16ddc32c SHA512 9234de7f28999a6de79a3ecd27d3499ffb15fe651b2a577cf0b49fc73e034bbe1b4d99c2a7aafd3df70d9b4e095d1ae09ed8ff7a7885c020f9e5c990afe9b592
 DIST easycrypt-2022.04_p20220505.tar.gz 1279876 BLAKE2B 10ae22e216b8a35973ad7d1dbffe1dba9ce328b67319577cd1a7fad957f08174d1651ee6c1bab8cdf12d8fda20cb85d5a334ad41dfb3e55f9ee8beb8a233a2eb SHA512 b1231e0be787a667c836d970236d47311e490443a66bc0a3834963557b32358ad9db2008e32d427d232f2a94c72afc65bd3330b6db1eb938335791ea997b4013

diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild
deleted file mode 100644
index ef1279bbd12b..000000000000
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild
+++ /dev/null
@@ -1,45 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-H=49aec58ea63a64adcf5fbabcc14c6739f337b206
-
-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/${H}.tar.gz -> ${P}.tar.gz"
-	S="${WORKDIR}/${PN}-${H}"
-fi
-
-LICENSE="CeCILL-B CeCILL-C"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt"
-
-RDEPEND="
-	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
-	>=sci-mathematics/why3-1.4:=
-	dev-ml/batteries:=
-	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
-}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2022-05-07 16:50 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2022-05-07 16:50 UTC (permalink / raw
  To: gentoo-commits

commit:     8c9c85bc0fcfdd20764d22e98bf89018864b284e
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat May  7 16:45:43 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat May  7 16:50:25 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8c9c85bc

sci-mathematics/easycrypt: bump to 2022.04_p20220505

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

 sci-mathematics/easycrypt/Manifest                 |  1 +
 .../easycrypt/easycrypt-2022.04_p20220505.ebuild   | 45 ++++++++++++++++++++++
 2 files changed, 46 insertions(+)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index 099a037c9df2..1fd6d87372d0 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1,3 +1,4 @@
 DIST easycrypt-1.0_pre20211210.tar.gz 1185137 BLAKE2B 3557a8b0423109a3b3e6e02f6d1ad88f07847d105015546c90b5a46cf514f1311390d3a6f6476c042420b91a62ad095919f7ab616adee2778165d9d081070730 SHA512 0043eac02e916dc46ed1cb4f278f148f915d09f336e904b1a711c18d62cda177e434fc13682ec095a085e458ba90ca8dd02968206af60f0b80a378f16b205553
 DIST easycrypt-1.0_pre20220303.tar.gz 1193244 BLAKE2B f4d4b0661b7c58d9dd2c344efac45aa4257b46122cef81f98ced05792c1e4dd49d332421f09d0b11a28893096042a98a7415d06e1624aaa59cea0c71f17f4bb8 SHA512 bd9f1638631c9539aea3ee369705fbaafa06d575db395b3d170642af2450b7df735a18fe8f6aa6e8904eae62bdcd30743ab734f7c17c583ece7c146fee1bcf77
 DIST easycrypt-2022.04.tar.gz 1277930 BLAKE2B 4bb68325b9894e28dcf33f2b78f63c029375ba4f77d0df06cedff3a26be768827c9fb25f49cc8ecc8a2d341191fb0b9371825979f0f7cd14c69b3ced16ddc32c SHA512 9234de7f28999a6de79a3ecd27d3499ffb15fe651b2a577cf0b49fc73e034bbe1b4d99c2a7aafd3df70d9b4e095d1ae09ed8ff7a7885c020f9e5c990afe9b592
+DIST easycrypt-2022.04_p20220505.tar.gz 1279876 BLAKE2B 10ae22e216b8a35973ad7d1dbffe1dba9ce328b67319577cd1a7fad957f08174d1651ee6c1bab8cdf12d8fda20cb85d5a334ad41dfb3e55f9ee8beb8a233a2eb SHA512 b1231e0be787a667c836d970236d47311e490443a66bc0a3834963557b32358ad9db2008e32d427d232f2a94c72afc65bd3330b6db1eb938335791ea997b4013

diff --git a/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild b/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
new file mode 100644
index 000000000000..e83988a1a04e
--- /dev/null
+++ b/sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
@@ -0,0 +1,45 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=a49a0acf5f7e2776f6b10cd49f8a201ebab0cf03
+
+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/${H}.tar.gz -> ${P}.tar.gz"
+	S="${WORKDIR}"/${PN}-${H}
+fi
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
+	>=sci-mathematics/why3-1.5:= <sci-mathematics/why3-1.6:=
+	dev-ml/batteries:=
+	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
+}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2022-04-27 15:47 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2022-04-27 15:47 UTC (permalink / raw
  To: gentoo-commits

commit:     4b39c369931b1d56fd261213476167b315abea8c
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 27 15:43:40 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Apr 27 15:47:48 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b39c369

sci-mathematics/easycrypt: bump to 2022.04

Closes: https://bugs.gentoo.org/841254
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/easycrypt/Manifest                 |  1 +
 sci-mathematics/easycrypt/easycrypt-2022.04.ebuild | 43 ++++++++++++++++++++++
 2 files changed, 44 insertions(+)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index e53e0e9b2586..099a037c9df2 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1,2 +1,3 @@
 DIST easycrypt-1.0_pre20211210.tar.gz 1185137 BLAKE2B 3557a8b0423109a3b3e6e02f6d1ad88f07847d105015546c90b5a46cf514f1311390d3a6f6476c042420b91a62ad095919f7ab616adee2778165d9d081070730 SHA512 0043eac02e916dc46ed1cb4f278f148f915d09f336e904b1a711c18d62cda177e434fc13682ec095a085e458ba90ca8dd02968206af60f0b80a378f16b205553
 DIST easycrypt-1.0_pre20220303.tar.gz 1193244 BLAKE2B f4d4b0661b7c58d9dd2c344efac45aa4257b46122cef81f98ced05792c1e4dd49d332421f09d0b11a28893096042a98a7415d06e1624aaa59cea0c71f17f4bb8 SHA512 bd9f1638631c9539aea3ee369705fbaafa06d575db395b3d170642af2450b7df735a18fe8f6aa6e8904eae62bdcd30743ab734f7c17c583ece7c146fee1bcf77
+DIST easycrypt-2022.04.tar.gz 1277930 BLAKE2B 4bb68325b9894e28dcf33f2b78f63c029375ba4f77d0df06cedff3a26be768827c9fb25f49cc8ecc8a2d341191fb0b9371825979f0f7cd14c69b3ced16ddc32c SHA512 9234de7f28999a6de79a3ecd27d3499ffb15fe651b2a577cf0b49fc73e034bbe1b4d99c2a7aafd3df70d9b4e095d1ae09ed8ff7a7885c020f9e5c990afe9b592

diff --git a/sci-mathematics/easycrypt/easycrypt-2022.04.ebuild b/sci-mathematics/easycrypt/easycrypt-2022.04.ebuild
new file mode 100644
index 000000000000..55ddb46d83fd
--- /dev/null
+++ b/sci-mathematics/easycrypt/easycrypt-2022.04.ebuild
@@ -0,0 +1,43 @@
+# Copyright 1999-2022 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}
+fi
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
+	>=sci-mathematics/why3-1.4:=
+	dev-ml/batteries:=
+	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
+}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2022-03-04 11:12 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2022-03-04 11:12 UTC (permalink / raw
  To: gentoo-commits

commit:     60fa98b0f077135148088bfe62e484e3988089a4
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Mar  4 11:12:03 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Mar  4 11:12:06 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=60fa98b0

sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/easycrypt/Manifest                 |  1 +
 .../easycrypt/easycrypt-1.0_pre20220303.ebuild     | 45 ++++++++++++++++++++++
 2 files changed, 46 insertions(+)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
index bc308e15de2f..e53e0e9b2586 100644
--- a/sci-mathematics/easycrypt/Manifest
+++ b/sci-mathematics/easycrypt/Manifest
@@ -1 +1,2 @@
 DIST easycrypt-1.0_pre20211210.tar.gz 1185137 BLAKE2B 3557a8b0423109a3b3e6e02f6d1ad88f07847d105015546c90b5a46cf514f1311390d3a6f6476c042420b91a62ad095919f7ab616adee2778165d9d081070730 SHA512 0043eac02e916dc46ed1cb4f278f148f915d09f336e904b1a711c18d62cda177e434fc13682ec095a085e458ba90ca8dd02968206af60f0b80a378f16b205553
+DIST easycrypt-1.0_pre20220303.tar.gz 1193244 BLAKE2B f4d4b0661b7c58d9dd2c344efac45aa4257b46122cef81f98ced05792c1e4dd49d332421f09d0b11a28893096042a98a7415d06e1624aaa59cea0c71f17f4bb8 SHA512 bd9f1638631c9539aea3ee369705fbaafa06d575db395b3d170642af2450b7df735a18fe8f6aa6e8904eae62bdcd30743ab734f7c17c583ece7c146fee1bcf77

diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303.ebuild
new file mode 100644
index 000000000000..84353ee281ec
--- /dev/null
+++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20220303.ebuild
@@ -0,0 +1,45 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=c98b014c131b6c0b147b852902953dd6c5771603
+
+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/${H}.tar.gz -> ${P}.tar.gz"
+	S="${WORKDIR}/${PN}-${H}"
+fi
+
+LICENSE="CeCILL-B CeCILL-C"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
+	>=sci-mathematics/why3-1.4:=
+	dev-ml/batteries:=
+	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
+}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2022-01-30  0:39 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2022-01-30  0:39 UTC (permalink / raw
  To: gentoo-commits

commit:     a7fa452ea0b84128bd45f820f62f340032bbe299
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 30 00:37:44 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Jan 30 00:39:00 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a7fa452e

sci-mathematics/easycrypt: fix theories location; bump to EAPI 8

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 ...10-r1.ebuild => easycrypt-1.0_pre20211210-r2.ebuild} | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild
similarity index 64%
rename from sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
rename to sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild
index 17f451552103..ef1279bbd12b 100644
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
-EAPI=7
+EAPI=8
 
-COMMIT="49aec58ea63a64adcf5fbabcc14c6739f337b206"
+H=49aec58ea63a64adcf5fbabcc14c6739f337b206
 
 inherit dune
 
@@ -14,8 +14,8 @@ 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/${COMMIT}.tar.gz -> ${P}.tar.gz"
-	S="${WORKDIR}/${PN}-${COMMIT}"
+	SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
+	S="${WORKDIR}/${PN}-${H}"
 fi
 
 LICENSE="CeCILL-B CeCILL-C"
@@ -36,3 +36,10 @@ RDEPEND="
 	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
+}


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2022-01-17 21:21 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2022-01-17 21:21 UTC (permalink / raw
  To: gentoo-commits

commit:     b94073064ff9ec88d8b92d5402adbc833cb53e47
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 17 21:19:49 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Jan 17 21:21:07 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9407306

sci-mathematics/easycrypt: add sci-mathematics to maintainers

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

 sci-mathematics/easycrypt/metadata.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sci-mathematics/easycrypt/metadata.xml b/sci-mathematics/easycrypt/metadata.xml
index 08fb88e8b7d7..4bb2827b5487 100644
--- a/sci-mathematics/easycrypt/metadata.xml
+++ b/sci-mathematics/easycrypt/metadata.xml
@@ -6,6 +6,10 @@
     <email>ml@gentoo.org</email>
     <name>ML</name>
   </maintainer>
+  <maintainer type="project">
+    <email>sci-mathematics@gentoo.org</email>
+    <name>Gentoo Mathematics Project</name>
+  </maintainer>
   <longdescription>
     EasyCrypt is a toolset for reasoning about relational properties of
     probabilistic computations with adversarial code. Its main application is


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2021-12-12  7:12 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2021-12-12  7:12 UTC (permalink / raw
  To: gentoo-commits

commit:     9a4bc2c24c5d479fa9a5dfaccb8bde97d4434178
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 12 07:12:21 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Dec 12 07:12:37 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9a4bc2c2

sci-mathematics/easycrypt: fix ocaml dependency

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 ...crypt-1.0_pre20211210.ebuild => easycrypt-1.0_pre20211210-r1.ebuild} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
similarity index 95%
rename from sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild
rename to sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
index 3752d3493756..17f451552103 100644
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
@@ -24,7 +24,7 @@ KEYWORDS="~amd64"
 IUSE="+ocamlopt"
 
 RDEPEND="
-	>=dev-lang/ocaml-4.08.0:=[ocamlopt]
+	>=dev-lang/ocaml-4.08.0:=[ocamlopt?]
 	>=sci-mathematics/why3-1.4:=
 	dev-ml/batteries:=
 	dev-ml/camlzip:=


^ permalink raw reply related	[flat|nested] 19+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/
@ 2021-12-12  1:59 Maciej Barć
  0 siblings, 0 replies; 19+ messages in thread
From: Maciej Barć @ 2021-12-12  1:59 UTC (permalink / raw
  To: gentoo-commits

commit:     4f0a8bfd6989606dd292287880358a0f79aa4a49
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 12 01:41:39 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Dec 12 01:59:47 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4f0a8bfd

sci-mathematics/easycrypt: new package; add version 1.0_pre20211210

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/easycrypt/Manifest                 |  1 +
 .../easycrypt/easycrypt-1.0_pre20211210.ebuild     | 38 ++++++++++++++++++++++
 sci-mathematics/easycrypt/metadata.xml             | 18 ++++++++++
 3 files changed, 57 insertions(+)

diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest
new file mode 100644
index 000000000000..bc308e15de2f
--- /dev/null
+++ b/sci-mathematics/easycrypt/Manifest
@@ -0,0 +1 @@
+DIST easycrypt-1.0_pre20211210.tar.gz 1185137 BLAKE2B 3557a8b0423109a3b3e6e02f6d1ad88f07847d105015546c90b5a46cf514f1311390d3a6f6476c042420b91a62ad095919f7ab616adee2778165d9d081070730 SHA512 0043eac02e916dc46ed1cb4f278f148f915d09f336e904b1a711c18d62cda177e434fc13682ec095a085e458ba90ca8dd02968206af60f0b80a378f16b205553

diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild
new file mode 100644
index 000000000000..3752d3493756
--- /dev/null
+++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+COMMIT="49aec58ea63a64adcf5fbabcc14c6739f337b206"
+
+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/${COMMIT}.tar.gz -> ${P}.tar.gz"
+	S="${WORKDIR}/${PN}-${COMMIT}"
+fi
+
+LICENSE="CeCILL-B CeCILL-C"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+	>=dev-lang/ocaml-4.08.0:=[ocamlopt]
+	>=sci-mathematics/why3-1.4:=
+	dev-ml/batteries:=
+	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}"

diff --git a/sci-mathematics/easycrypt/metadata.xml b/sci-mathematics/easycrypt/metadata.xml
new file mode 100644
index 000000000000..08fb88e8b7d7
--- /dev/null
+++ b/sci-mathematics/easycrypt/metadata.xml
@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="project">
+    <email>ml@gentoo.org</email>
+    <name>ML</name>
+  </maintainer>
+  <longdescription>
+    EasyCrypt is a toolset for reasoning about relational properties of
+    probabilistic computations with adversarial code. Its main application is
+    the construction and verification of game-based cryptographic proofs.
+  </longdescription>
+  <upstream>
+    <bugs-to>https://github.com/EasyCrypt/easycrypt/issues/</bugs-to>
+    <remote-id type="github">EasyCrypt/easycrypt</remote-id>
+  </upstream>
+</pkgmetadata>


^ permalink raw reply related	[flat|nested] 19+ messages in thread

end of thread, other threads:[~2024-07-02 14:50 UTC | newest]

Thread overview: 19+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-04-01 22:57 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/easycrypt/ Maciej Barć
  -- strict thread matches above, loose matches on Subject: below --
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-02-03 13:00 Maciej Barć
2024-02-03 13:00 Maciej Barć
2023-09-30 14:36 Maciej Barć
2023-07-15 22:17 Maciej Barć
2023-04-01 22:57 Maciej Barć
2023-04-01 22:57 Maciej Barć
2023-02-02 17:46 Maciej Barć
2022-05-07 16:50 Maciej Barć
2022-05-07 16:50 Maciej Barć
2022-05-07 16:50 Maciej Barć
2022-04-27 15:47 Maciej Barć
2022-03-04 11:12 Maciej Barć
2022-01-30  0:39 Maciej Barć
2022-01-17 21:21 Maciej Barć
2021-12-12  7:12 Maciej Barć
2021-12-12  1:59 Maciej Barć

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox