diff options
author | 2024-07-02 15:49:15 +0200 | |
---|---|---|
committer | 2024-07-02 16:50:22 +0200 | |
commit | c51e0da237da1b3bca1d52b814009f298af4e071 (patch) | |
tree | 8599a57d9513640b55576cc90f8babaafce238aa /sci-mathematics | |
parent | sys-apps/flashrom-1.3.0-r3: fix function definition mismatch for real (diff) | |
download | gentoo-c51e0da237da1b3bca1d52b814009f298af4e071.tar.gz gentoo-c51e0da237da1b3bca1d52b814009f298af4e071.tar.bz2 gentoo-c51e0da237da1b3bca1d52b814009f298af4e071.zip |
sci-mathematics/easycrypt: restrict num to version <1.5
Closes: https://bugs.gentoo.org/935344
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/easycrypt/easycrypt-2024.01-r1.ebuild (renamed from sci-mathematics/easycrypt/easycrypt-2024.01.ebuild) | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/easycrypt/easycrypt-2024.01.ebuild b/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:= |