summaryrefslogtreecommitdiff
path: root/dev-ml/ordering
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-11-20 13:02:32 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-11-20 13:02:32 +0000
commit65c1a6f8d7210639cbdc1565ccee4758f45dfc45 (patch)
treed7bea8e8d228e76b177eccb0ffc1f45a58a1e2f7 /dev-ml/ordering
parentc4f077d9f57bf57fcded75904bf512075191d2d2 (diff)
gentoo auto-resync : 20:11:2022 - 13:02:32
Diffstat (limited to 'dev-ml/ordering')
-rw-r--r--dev-ml/ordering/Manifest2
-rw-r--r--dev-ml/ordering/ordering-3.0.3.ebuild4
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 153a15f4ec1d..e91b509b4cc3 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1,3 +1,3 @@
DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
-EBUILD ordering-3.0.3.ebuild 705 BLAKE2B bc801175013b3c105f9539e0061c22830f53f6b8c2091e3e06b73edc50a9fe6dd4810a848b6f299b80829b7b1034b2c50b52b8a720442f3da27295f05df504db SHA512 e0ace6c90e7b83d20298f4d77910479fffb19b6fa1f7bccd7a6df8d76f7f61f82005789d1aed26cf798b318e71d28b04d6d02838ec21da2985c8d29411a124e3
+EBUILD ordering-3.0.3.ebuild 723 BLAKE2B ad341964914e19c0d9509ed4990ef2913d9c7338d72897fac8b82d03d0b6169caf15adcb62bed2a9beecfe85e00a8aedae938c7473e7e4f45bf28813eb3ab689 SHA512 5d128cc3d8edb9528e81d02017c07acbcbf8f70141e12875e9ee5a3384b47ee3308ab96959225a7c38ee43d2d07378884ba68eea910f65bec006bb92b3ac8c16
MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
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() {