diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 13:02:32 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 13:02:32 +0000 |
| commit | 65c1a6f8d7210639cbdc1565ccee4758f45dfc45 (patch) | |
| tree | d7bea8e8d228e76b177eccb0ffc1f45a58a1e2f7 /dev-ml/ordering/ordering-3.0.3.ebuild | |
| parent | c4f077d9f57bf57fcded75904bf512075191d2d2 (diff) | |
gentoo auto-resync : 20:11:2022 - 13:02:32
Diffstat (limited to 'dev-ml/ordering/ordering-3.0.3.ebuild')
| -rw-r--r-- | dev-ml/ordering/ordering-3.0.3.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/ordering/ordering-3.0.3.ebuild b/dev-ml/ordering/ordering-3.0.3.ebuild index 0c02ad290b06..5b971ed0de41 100644 --- a/dev-ml/ordering/ordering-3.0.3.ebuild +++ b/dev-ml/ordering/ordering-3.0.3.ebuild @@ -16,8 +16,8 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" IUSE="+ocamlopt" RESTRICT="test" -BDEPEND="~dev-ml/dune-${PV}" -DEPEND="" +BDEPEND=">=dev-ml/dune-3" +DEPEND=">=dev-lang/ocaml-4.08" RDEPEND="${DEPEND}" src_configure() { |