summaryrefslogtreecommitdiff
path: root/dev-ml/odoc
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-07-13 12:26:41 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-07-13 12:26:41 +0100
commit482a48c0e1675b1e92663b8b5222bb7261aa7956 (patch)
treeb81e02db1810214fc690a762e3a9c687d0f0c5ab /dev-ml/odoc
parent37bccfe5e76c5740c4ef5ba1179e9488d8404075 (diff)
gentoo auto-resync : 13:07:2024 - 12:26:41
Diffstat (limited to 'dev-ml/odoc')
-rw-r--r--dev-ml/odoc/Manifest2
-rw-r--r--dev-ml/odoc/odoc-2.4.2.ebuild35
2 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/odoc/Manifest b/dev-ml/odoc/Manifest
index b8e7e6f197e1..daddbf8100cb 100644
--- a/dev-ml/odoc/Manifest
+++ b/dev-ml/odoc/Manifest
@@ -1,5 +1,7 @@
DIST odoc-2.2.0.tbz 1548871 BLAKE2B 251c823e5f93e8080d52486e9d048a0c31651b6ea9d4bfdc3202488d7bcd750f9c2899189b943500253bf1e6041cf0283ed5e57c34d1a7d538c7c3710fb9a260 SHA512 9f8fc2ee6b25629474e8aa69dd460becab9277261578af0f7b97f7f779cc5f1056d1b5f14ab583b9b94ea097e5df2d6e35040f2a4887021209705486f9d44a22
DIST odoc-2.2.1.tbz 1548027 BLAKE2B 846890375debd70519879de261ab829b34dc4f7754ef9d32c2cf6fa07d86ed721a828987398549021ca7805a4e298fef516b5c6e0691e083f8849ccaa6d4184e SHA512 044e37eb3dcc77d9cc8124be558cce77a438723b90225273fb3401d3315c57c8c2f395a48ebd1b6aacc01b00cbfa4bd0be1923d2bd9bd3cc92d0604eadaabc4f
+DIST odoc-2.4.2.tbz 1761532 BLAKE2B d690b94eae406b66ec5bc6ea44d0bf006eea534861e8a457f0355cee50b3908173c249f69c59726b867ee38c21715c05217b409fb2d6a74d26c782e8357bc8ad SHA512 8d48c99e0c253791177dd65287ce5cee47e7c6805e33f3ae0cf6c8e7d349128f26eebbe36459c31429c11519ad5979dbe36fbcb9403a5fde199a69976a3fb3a6
EBUILD odoc-2.2.0-r2.ebuild 584 BLAKE2B 663ac5582b30ad58555bf5bd69a0b2c60fe7f1b0be4eaa844926fbbc0ce96d3ec992097949e19b73d6582e0bd1290fd6f37fe588732f815b7b5e71979c692999 SHA512 bcc972d027c14203daf7f2c05ca1633618642973d9b7bfc71e39fa616721577ead3c6b2f262fb371eaf3139bdaaa4a0d15d6f3f44fa4e6442afd1aa7c094580a
EBUILD odoc-2.2.1.ebuild 584 BLAKE2B 663ac5582b30ad58555bf5bd69a0b2c60fe7f1b0be4eaa844926fbbc0ce96d3ec992097949e19b73d6582e0bd1290fd6f37fe588732f815b7b5e71979c692999 SHA512 bcc972d027c14203daf7f2c05ca1633618642973d9b7bfc71e39fa616721577ead3c6b2f262fb371eaf3139bdaaa4a0d15d6f3f44fa4e6442afd1aa7c094580a
+EBUILD odoc-2.4.2.ebuild 711 BLAKE2B 19428f75b5f91da04c054eb618f741680a9c84f1c43ee67591263283aa760cf03fd373d1fb89e964c56f1a5770c97f3ed6076389ac3a9c8262bdd14b6736755b SHA512 d64c3f351639c2b15fb8522a26c34ef0e3bfdb173c40f90bd1820d49534724ab7685fa6eb71d9bc71186de579ab62fef63b7e2aee5e43e8ad033cdc087748815
MISC metadata.xml 522 BLAKE2B 04acd17984b96b5fdf41120b46c1f15ab1a2b9ccac7312ee27e41da5985cbed08786aa9349cec268f224bc660ea3fd902874bd029f37355685b2fcc8b7093b07 SHA512 d969745657f9335411b45ca5efe110da0d017dac7efe5d5357bdc6f99852c279d116aaa02101b443ef45229c1b9c809db65cfcd719ae48ddf198d5b2923b9f57
diff --git a/dev-ml/odoc/odoc-2.4.2.ebuild b/dev-ml/odoc/odoc-2.4.2.ebuild
new file mode 100644
index 000000000000..084faf30fa68
--- /dev/null
+++ b/dev-ml/odoc/odoc-2.4.2.ebuild
@@ -0,0 +1,35 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="OCaml documentation generator"
+HOMEPAGE="http://github.com/ocaml/odoc/"
+SRC_URI="https://github.com/ocaml/${PN}/releases/download/${PV}/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt test"
+RESTRICT="test"
+
+RDEPEND="
+ dev-ml/astring:=
+ dev-ml/cmdliner:=[ocamlopt?]
+ ~dev-ml/odoc-parser-${PV}:=[ocamlopt?]
+ dev-ml/fmt:=[ocamlopt?]
+ dev-ml/fpath:=
+ dev-ml/ocaml-crunch:=[ocamlopt?]
+ dev-ml/result:=[ocamlopt?]
+ dev-ml/tyxml:=[ocamlopt?]
+"
+DEPEND="${RDEPEND}
+ dev-ml/cppo:=[ocamlopt?]
+"
+BDEPEND=">=dev-ml/dune-3.7"
+
+src_compile() {
+ dune-compile ${PN}
+}