commit: c51e0da237da1b3bca1d52b814009f298af4e071 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Tue Jul 2 13:49:15 2024 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Tue Jul 2 14:50:22 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c51e0da2
sci-mathematics/easycrypt: restrict num to version <1.5 Closes: https://bugs.gentoo.org/935344 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> .../easycrypt/{easycrypt-2024.01.ebuild => easycrypt-2024.01-r1.ebuild} | 1 + 1 file changed, 1 insertion(+) diff --git a/sci-mathematics/easycrypt/easycrypt-2024.01.ebuild b/sci-mathematics/easycrypt/easycrypt-2024.01-r1.ebuild similarity index 98% rename from sci-mathematics/easycrypt/easycrypt-2024.01.ebuild rename to 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:=
