diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-07-16 12:27:58 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-07-16 12:27:58 +0100 |
| commit | b6fa31c964a602f8461a77d5b83355e8750c12eb (patch) | |
| tree | 323fa7af31640b3ea8bb57fa7a927713f3d64769 /sci-mathematics/alt-ergo | |
| parent | 868fd5dc8aab84930cfaa5252b8be06b35552765 (diff) | |
gentoo auto-resync : 16:07:2024 - 12:27:58
Diffstat (limited to 'sci-mathematics/alt-ergo')
| -rw-r--r-- | sci-mathematics/alt-ergo/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild (renamed from sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild) | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest index 5296c2c720b6..8e0d20ae88d1 100644 --- a/sci-mathematics/alt-ergo/Manifest +++ b/sci-mathematics/alt-ergo/Manifest @@ -1,5 +1,5 @@ AUX alt-ergo-2.4.3-dune.patch 136 BLAKE2B 7a8740fd14531be7dc595dd3dc3eef119c39943fbec98c9784f6a25dcc1947ebefacd079bcc95a48b07f8d94641ad66261e06efd18edc5cfe59783626b6bcf4d SHA512 016d80dc17436e469746822f62a1748a661a74e5ec2009a0f297a75a763b645cb95e564727ba03434602c494bf866f563adf558ff24f915d50fe198f9c9fe3c1 DIST alt-ergo-2.4.3.tar.gz 2902450 BLAKE2B bb8931dc512e3745496c1801fe959ac0fc4758b03049462506689021508a4ea364f0aae8679c776d8154c9f86a09080801c9b822d23355c572a24bd8b0e38210 SHA512 88a26b138e41997516085dbbf279e1ce11d03c18c0464ba80d5403dc80ff0f8cb5cbd4ad1489a60ff2a3b9539f9c55e4274008b14eed47b6fd057ce0a94ef98f -EBUILD alt-ergo-2.4.3.ebuild 1381 BLAKE2B 058af8ee21ec2c30a9f31c2b8b7704c1d6944506f851d8574a4d4320c935b8249d39fc28ec42f7f9b945b4624f23a58ab21994fa65ab98e910546449ad343282 SHA512 ab112811eaedbef1fcd0becfb154a4b3add1d30bee1c958c749489ffc9ed9f2ffe6589041e5d4a6d001ff8afe7664212ced4c05e583a37514cb70cccb90f6f17 +EBUILD alt-ergo-2.4.3-r1.ebuild 1387 BLAKE2B d98e1e278716f798a1851073c0e20b7173b4ad31ff61147119e19e69534047c65d4081c95a8ad471767fd4e4572efb6c94c1068db417c1c012f2c53f3ae2aa3f SHA512 31090c2d7f692790b52be86147b2865ad0dc887a57743cf7981f365ca98bffef185504cb0fdcd0411c3427ea510f236b4d2a741b0e3708fc4cd0557f3b2fcc58 EBUILD alt-ergo-9999.ebuild 1382 BLAKE2B 9111155de5276042880f9ef4fa10f9374da2cd603e3ce4e999dc8a388507337e306e9cdf0bc76245b8a4aeebfc6057965f02e637071d9be1e0a3dab4167c2570 SHA512 471d147251a3edb665a72a09f15f33b60eabd67b68411a48cc3e9cfd0ca9e7d7fd6d0dfcc033060e5f4c69a66c100019e2be5946d493748b836861647d2dc6d1 MISC metadata.xml 957 BLAKE2B 2ac1b5428ee88fa81b3898a351b770b9a3b4e91ad049e7ab2b5b62e3ddcef635e2f19f801ef1c067b51c2f30f513b40a82e968a314be10e7a5ff795df24dd6d5 SHA512 bcbe312badeb5f3d6c243d620ec5744ac6bf3c23e6bc7b6327c7a1a72b42f2cc68cd4326b065a3fca3c2a9c7c1670e2a84ca1ca2e7bf423a274025010a6735f4 diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild index e06cf284f0e1..ecaf54aae4a4 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.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 @@ -27,13 +27,13 @@ RDEPEND=" >=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=sci-mathematics/psmt2-frontend-0.4.0:= + <dev-ml/zarith-1.14:= >=dev-ml/cmdliner-1.1.0:= >=dev-ml/menhir-20181006:= >=dev-ml/ocplib-simplex-0.4:= dev-ml/camlzip:= dev-ml/num:= dev-ml/stdlib-shims:= - dev-ml/zarith:= gui? ( dev-ml/lablgtk:3 dev-ml/lablgtk-sourceview:3 |