diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-02-03 17:44:31 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-03 17:44:31 +0000 |
| commit | c44123f79f40edf5fe3d4b0d211d6aa68542abd2 (patch) | |
| tree | 838edea4b7f78b425eacf44f29775ffd0bc671e3 /sci-mathematics | |
| parent | 79e5685b8db7602719212510574962664af2b036 (diff) | |
gentoo auto-resync : 03:02:2024 - 17:44:31
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 19170 -> 19167 bytes | |||
| -rw-r--r-- | sci-mathematics/easycrypt/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/easycrypt/easycrypt-2024.01.ebuild (renamed from sci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuild) | 24 |
3 files changed, 13 insertions, 15 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex d6bc09618a9e..40c659edc05e 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz 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-2024.01.ebuild index 8434aa25bbc1..9be3ec43e207 100644 --- a/sci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuild +++ b/sci-mathematics/easycrypt/easycrypt-2024.01.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -8,19 +8,15 @@ 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 - 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 + SRC_URI="https://github.com/EasyCrypt/${PN}/archive/r${PV}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}/${PN}-r${PV}" + KEYWORDS="~amd64" fi @@ -30,7 +26,6 @@ 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:= @@ -40,8 +35,11 @@ RDEPEND=" dev-ml/pcre-ocaml:= dev-ml/yojson:= dev-ml/zarith:= + sci-mathematics/why3:= +" +DEPEND=" + ${RDEPEND} " -DEPEND="${RDEPEND}" src_prepare() { local theories="[\"$(ocamlc -where)/easycrypt/theories\"]" |