diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-07-02 15:49:15 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-07-02 16:50:22 +0200 |
| commit | c51e0da237da1b3bca1d52b814009f298af4e071 (patch) | |
| tree | 8599a57d9513640b55576cc90f8babaafce238aa /sci-mathematics/easycrypt | |
| 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/easycrypt')
| -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:= |