diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-07-02 16:12:37 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-07-02 16:50:23 +0200 |
| commit | 6b4e06c89e8d78a2e26eb0692e4ad86688fc0fc2 (patch) | |
| tree | f7e68b180b3467415c4aae0e5e7c52a1e5882ab4 /dev-ml/alcotest | |
| parent | sci-mathematics/easycrypt: drop old 2023.09 (diff) | |
| download | gentoo-6b4e06c89e8d78a2e26eb0692e4ad86688fc0fc2.tar.gz gentoo-6b4e06c89e8d78a2e26eb0692e4ad86688fc0fc2.tar.bz2 gentoo-6b4e06c89e8d78a2e26eb0692e4ad86688fc0fc2.zip | |
dev-ml/alcotest: drop old 1.2.3-r4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml/alcotest')
| -rw-r--r-- | dev-ml/alcotest/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/alcotest/alcotest-1.2.3-r4.ebuild | 33 |
2 files changed, 0 insertions, 34 deletions
diff --git a/dev-ml/alcotest/Manifest b/dev-ml/alcotest/Manifest index c7b896928f81..b2dd8612173b 100644 --- a/dev-ml/alcotest/Manifest +++ b/dev-ml/alcotest/Manifest @@ -1,4 +1,3 @@ -DIST alcotest-1.2.3.tar.gz 274177 BLAKE2B 1c38baf8932fe16ec3899cd1dd747099065cf93677271aad5ec33706ed7b6fd82dac84f9ed7518c56d178bf1f98a0b131d5e0f4745d47b07021f0fef932fde28 SHA512 0f3e2a5f56a17b6ddf5173d490b8a1aa2b23382bd0535d9d8be09fb8d4dd02dd1b92f9d00b957b11843d671262469e28b3be4f987538e373eb5e1f30c3a406a3 DIST alcotest-1.4.0.tar.gz 279675 BLAKE2B 3cc50ab37a16948ceca9b5e6aa885fa50bbe0722c6132ed4991fb64c568253d9913287d1b9e5547f59a210d6803e2a83565f02950fb12cb91ed9f8e24d7864c1 SHA512 adb73c8b2be6f47cb406bbc49dba7dc86e990a60e2e68302592a24dcc24e11e76e2aa6fc2f003c1e4fdbb79744df6ab601daff9540cd7b0096ac9f9bff18098c DIST alcotest-1.5.0.tar.gz 288227 BLAKE2B 6af28f2516888273903bbb7750ba583778c54447157ece29ad8053323492dddfde9b901699be26c868f1f3835ad89d6f163176033f52ffdccc82fa2609e57b64 SHA512 9f496d1b14a78a9cba5dfde71cbda41d3090d2083bc9895dc9d9f54876b86630079219e678f13f6ffd382deb2a1a298b61b2a222fc65d25d4a242d8c280b4784 DIST alcotest-1.6.0.tar.gz 288586 BLAKE2B 6e7ab4618d899346de3d8ef63c1b81f92d9cdca06e9df03bf2ea5f0a6b7d5b8ae5a231dc92aca5ebc268e3fda93d448f6edd12333ad6c657ef5361921e31f838 SHA512 58079596334c193d00f22c5fc708952f01b40593eabb26cf9725d51250fc5b816d0bf40c70bab50e9b88a973008a9889f95601127731e8c1583e4ef17173fe9e diff --git a/dev-ml/alcotest/alcotest-1.2.3-r4.ebuild b/dev-ml/alcotest/alcotest-1.2.3-r4.ebuild deleted file mode 100644 index 38ceb8300287..000000000000 --- a/dev-ml/alcotest/alcotest-1.2.3-r4.ebuild +++ /dev/null @@ -1,33 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit dune - -DESCRIPTION="A lightweight and colourful test framework" -HOMEPAGE="https://github.com/mirage/alcotest/" -SRC_URI="https://github.com/mirage/alcotest/archive/${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="ISC" -SLOT="0/${PV}" -KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86" -IUSE="+ocamlopt" - -RDEPEND=" - dev-ml/astring:= - dev-ml/async_unix:= - <dev-ml/cmdliner-1.1.0:= - <dev-ml/core-0.15:= - dev-ml/core_kernel:= - dev-ml/duration:= - >=dev-ml/fmt-0.8.9:= - dev-ml/lwt:= - dev-ml/mirage-clock:= - dev-ml/re:= - dev-ml/result:= - dev-ml/logs:= - dev-ml/uutf:= - dev-ml/uuidm:= -" -DEPEND="${RDEPEND}" |