| 1 |
commit: e48f8307eb46e419d5acad13956322f79e6f9249 |
| 2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Sat May 7 16:46:35 2022 +0000 |
| 4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sat May 7 16:50:25 2022 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e48f8307 |
| 7 |
|
| 8 |
sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2 |
| 9 |
|
| 10 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
| 11 |
|
| 12 |
sci-mathematics/easycrypt/Manifest | 1 - |
| 13 |
.../easycrypt/easycrypt-1.0_pre20211210-r2.ebuild | 45 ---------------------- |
| 14 |
2 files changed, 46 deletions(-) |
| 15 |
|
| 16 |
diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest |
| 17 |
index 1fd6d87372d0..b2048b21a4d8 100644 |
| 18 |
--- a/sci-mathematics/easycrypt/Manifest |
| 19 |
+++ b/sci-mathematics/easycrypt/Manifest |
| 20 |
@@ -1,4 +1,3 @@ |
| 21 |
-DIST easycrypt-1.0_pre20211210.tar.gz 1185137 BLAKE2B 3557a8b0423109a3b3e6e02f6d1ad88f07847d105015546c90b5a46cf514f1311390d3a6f6476c042420b91a62ad095919f7ab616adee2778165d9d081070730 SHA512 0043eac02e916dc46ed1cb4f278f148f915d09f336e904b1a711c18d62cda177e434fc13682ec095a085e458ba90ca8dd02968206af60f0b80a378f16b205553 |
| 22 |
DIST easycrypt-1.0_pre20220303.tar.gz 1193244 BLAKE2B f4d4b0661b7c58d9dd2c344efac45aa4257b46122cef81f98ced05792c1e4dd49d332421f09d0b11a28893096042a98a7415d06e1624aaa59cea0c71f17f4bb8 SHA512 bd9f1638631c9539aea3ee369705fbaafa06d575db395b3d170642af2450b7df735a18fe8f6aa6e8904eae62bdcd30743ab734f7c17c583ece7c146fee1bcf77 |
| 23 |
DIST easycrypt-2022.04.tar.gz 1277930 BLAKE2B 4bb68325b9894e28dcf33f2b78f63c029375ba4f77d0df06cedff3a26be768827c9fb25f49cc8ecc8a2d341191fb0b9371825979f0f7cd14c69b3ced16ddc32c SHA512 9234de7f28999a6de79a3ecd27d3499ffb15fe651b2a577cf0b49fc73e034bbe1b4d99c2a7aafd3df70d9b4e095d1ae09ed8ff7a7885c020f9e5c990afe9b592 |
| 24 |
DIST easycrypt-2022.04_p20220505.tar.gz 1279876 BLAKE2B 10ae22e216b8a35973ad7d1dbffe1dba9ce328b67319577cd1a7fad957f08174d1651ee6c1bab8cdf12d8fda20cb85d5a334ad41dfb3e55f9ee8beb8a233a2eb SHA512 b1231e0be787a667c836d970236d47311e490443a66bc0a3834963557b32358ad9db2008e32d427d232f2a94c72afc65bd3330b6db1eb938335791ea997b4013 |
| 25 |
|
| 26 |
diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild |
| 27 |
deleted file mode 100644 |
| 28 |
index ef1279bbd12b..000000000000 |
| 29 |
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild |
| 30 |
+++ /dev/null |
| 31 |
@@ -1,45 +0,0 @@ |
| 32 |
-# Copyright 1999-2022 Gentoo Authors |
| 33 |
-# Distributed under the terms of the GNU General Public License v2 |
| 34 |
- |
| 35 |
-EAPI=8 |
| 36 |
- |
| 37 |
-H=49aec58ea63a64adcf5fbabcc14c6739f337b206 |
| 38 |
- |
| 39 |
-inherit dune |
| 40 |
- |
| 41 |
-DESCRIPTION="Computer-Aided Cryptographic Proofs" |
| 42 |
-HOMEPAGE="https://github.com/EasyCrypt/easycrypt" |
| 43 |
- |
| 44 |
-if [[ "${PV}" == *9999* ]]; then |
| 45 |
- inherit git-r3 |
| 46 |
- EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}.git" |
| 47 |
-else |
| 48 |
- SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz" |
| 49 |
- S="${WORKDIR}/${PN}-${H}" |
| 50 |
-fi |
| 51 |
- |
| 52 |
-LICENSE="CeCILL-B CeCILL-C" |
| 53 |
-SLOT="0/${PV}" |
| 54 |
-KEYWORDS="~amd64" |
| 55 |
-IUSE="+ocamlopt" |
| 56 |
- |
| 57 |
-RDEPEND=" |
| 58 |
- >=dev-lang/ocaml-4.08.0:=[ocamlopt?] |
| 59 |
- >=sci-mathematics/why3-1.4:= |
| 60 |
- dev-ml/batteries:= |
| 61 |
- dev-ml/camlzip:= |
| 62 |
- dev-ml/dune-build-info:= |
| 63 |
- dev-ml/dune-site:= |
| 64 |
- dev-ml/ocaml-inifiles:= |
| 65 |
- dev-ml/pcre-ocaml:= |
| 66 |
- dev-ml/yojson:= |
| 67 |
- dev-ml/zarith:= |
| 68 |
-" |
| 69 |
-DEPEND="${RDEPEND}" |
| 70 |
- |
| 71 |
-src_prepare() { |
| 72 |
- local theories="[\"$(ocamlc -where)/easycrypt/theories\"]" |
| 73 |
- sed -i "s|EcRelocate\.Sites\.theories|${theories}|g" src/ec.ml || die |
| 74 |
- |
| 75 |
- default |
| 76 |
-} |
Archives