summaryrefslogtreecommitdiff
path: root/dev-ml/odoc
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-03-05 23:52:45 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-03-05 23:52:45 +0000
commit1c33e521c460dc40899ce7bc919602b842ce27e2 (patch)
tree580eefad4cce1e883e7504b93352a9029b53036d /dev-ml/odoc
parent65e4244e411c4f65f55f2aa91f39e228f4c0680b (diff)
gentoo auto-resync : 05:03:2023 - 23:52:45
Diffstat (limited to 'dev-ml/odoc')
-rw-r--r--dev-ml/odoc/Manifest2
-rw-r--r--dev-ml/odoc/odoc-2.2.0-r2.ebuild (renamed from dev-ml/odoc/odoc-2.2.0-r1.ebuild)3
2 files changed, 3 insertions, 2 deletions
diff --git a/dev-ml/odoc/Manifest b/dev-ml/odoc/Manifest
index e184813b3c9a..7319439e5f5d 100644
--- a/dev-ml/odoc/Manifest
+++ b/dev-ml/odoc/Manifest
@@ -1,3 +1,3 @@
DIST odoc-2.2.0.tbz 1548871 BLAKE2B 251c823e5f93e8080d52486e9d048a0c31651b6ea9d4bfdc3202488d7bcd750f9c2899189b943500253bf1e6041cf0283ed5e57c34d1a7d538c7c3710fb9a260 SHA512 9f8fc2ee6b25629474e8aa69dd460becab9277261578af0f7b97f7f779cc5f1056d1b5f14ab583b9b94ea097e5df2d6e35040f2a4887021209705486f9d44a22
-EBUILD odoc-2.2.0-r1.ebuild 567 BLAKE2B 2e4dcc03b3746d6ffa1fb484669eb24cf9db47adbb68918e65eed974c59af0ff57063c16e90de34c438ffcb0b50441fde664930ef50872994700b7cf8b2ee703 SHA512 c1f9292c3758fa145f10625af013faf70009f6f193ab0b1fb9268505ff0a3822db2eda526596d254223d6a5eadfcc3d85d2e7eec632849bb2707a6fa6f574a58
+EBUILD odoc-2.2.0-r2.ebuild 584 BLAKE2B 663ac5582b30ad58555bf5bd69a0b2c60fe7f1b0be4eaa844926fbbc0ce96d3ec992097949e19b73d6582e0bd1290fd6f37fe588732f815b7b5e71979c692999 SHA512 bcc972d027c14203daf7f2c05ca1633618642973d9b7bfc71e39fa616721577ead3c6b2f262fb371eaf3139bdaaa4a0d15d6f3f44fa4e6442afd1aa7c094580a
MISC metadata.xml 522 BLAKE2B 04acd17984b96b5fdf41120b46c1f15ab1a2b9ccac7312ee27e41da5985cbed08786aa9349cec268f224bc660ea3fd902874bd029f37355685b2fcc8b7093b07 SHA512 d969745657f9335411b45ca5efe110da0d017dac7efe5d5357bdc6f99852c279d116aaa02101b443ef45229c1b9c809db65cfcd719ae48ddf198d5b2923b9f57
diff --git a/dev-ml/odoc/odoc-2.2.0-r1.ebuild b/dev-ml/odoc/odoc-2.2.0-r2.ebuild
index 5028b9801081..24702587b03d 100644
--- a/dev-ml/odoc/odoc-2.2.0-r1.ebuild
+++ b/dev-ml/odoc/odoc-2.2.0-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -16,6 +16,7 @@ IUSE="+ocamlopt test"
RESTRICT="test" # ocaml-crunch not in the tree
RDEPEND="
+ >=dev-ml/dune-3
dev-ml/astring:=
dev-ml/cmdliner:=
dev-ml/cppo:=