diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-10-26 23:29:49 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-10-27 00:04:34 +0200 |
| commit | befb4e1d1c1d66578dba34745d53e1540bcb5add (patch) | |
| tree | 470ae03036e1107eee5bdbb36446bea06d2809c0 /dev-ml | |
| parent | dev-ml/gen: add ocaml >=4.07 dependency (diff) | |
| download | gentoo-befb4e1d1c1d66578dba34745d53e1540bcb5add.tar.gz gentoo-befb4e1d1c1d66578dba34745d53e1540bcb5add.tar.bz2 gentoo-befb4e1d1c1d66578dba34745d53e1540bcb5add.zip | |
dev-ml/ptmap: add ocaml >=4.07 dependency
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/ptmap/ptmap-2.0.5-r2.ebuild (renamed from dev-ml/ptmap/ptmap-2.0.5-r1.ebuild) | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dev-ml/ptmap/ptmap-2.0.5-r1.ebuild b/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild index 161912516ff7..2213fb278c04 100644 --- a/dev-ml/ptmap/ptmap-2.0.5-r1.ebuild +++ b/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild @@ -1,12 +1,12 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=7 +EAPI=8 inherit dune DESCRIPTION="Maps of integers implemented as Patricia trees" -HOMEPAGE="https://github.com/backtracking/ptmap" +HOMEPAGE="https://github.com/backtracking/ptmap/" SRC_URI="https://github.com/backtracking/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" LICENSE="LGPL-2.1" @@ -15,7 +15,7 @@ KEYWORDS="~amd64 ~x86" IUSE="+ocamlopt" RDEPEND=" - dev-ml/seq:= + >=dev-lang/ocaml-4.07:=[ocamlopt?] dev-ml/stdlib-shims:= " DEPEND="${RDEPEND}" |