dev-ml / dune-private-libs

Private libraries of Dune

Official package sites : https://github.com/ocaml/dune ·

Versions

v3.16.0-r3 :: 0/3.16.0 :: gentoo

Modified
License
Apache-2.0
Keywords
amd64 arm arm64 ppc64 x86 ~ppc ~riscv
USE flags
ocamlopt

v3.13.1-r3 :: 0/3.13.1 :: gentoo

Modified
License
Apache-2.0
Keywords
~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
USE flags
ocamlopt

v3.10.0 :: 0/3.10.0 :: gentoo

Modified
License
Apache-2.0
Keywords
amd64 arm arm64 ppc64 x86 ~ppc ~riscv
USE flags
ocamlopt

v2.9.3 :: 0/2.9.3 :: gentoo

Modified
License
Apache-2.0
Keywords
amd64 arm ppc64 x86 ~arm64 ~ppc ~riscv
USE flags
ocamlopt test

v2.9.1 :: 0/2.9.1 :: gentoo

Modified
License
Apache-2.0
Keywords
amd64 arm arm64 ppc64 x86 ~ppc
USE flags
ocamlopt test

USE flags

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Dependencies

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / csexp : Parsing and printing of S-expressions in Canonical form

dev-ml / dune : A composable build system for OCaml

dev-ml / dyn : Dynamic type

dev-ml / findlib : OCaml tool to find/use non-standard packages

dev-ml / pp : Pretty-printing library

dev-ml / stdune : Dune's unstable standard library

Runtime Dependencies

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / csexp : Parsing and printing of S-expressions in Canonical form

dev-ml / dune : A composable build system for OCaml

dev-ml / dyn : Dynamic type

dev-ml / dyn : Dynamic type

dev-ml / findlib : OCaml tool to find/use non-standard packages

dev-ml / ordering : Element ordering

dev-ml / pp : Pretty-printing library

dev-ml / stdune : Dune's unstable standard library

dev-ml / stdune : Dune's unstable standard library

Depending packages

dev-ml / dune-configurator : Helper library for gathering system configuration

dev-ml / dune-site : Embed locations informations inside executable and libraries

Change logs

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: drop 2.8.4, 3.6.2, 3.7.1, 3.11.1-r3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 3.16.0-r3 ppc64, #937870
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm64, #937870
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm, #937870
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.16.0-r3 x86, #937870
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.16.0-r3 amd64, #937870
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: block stdune/ordering/dyn
Closes: https://bugs.gentoo.org/937224 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Hiroki Tokunaga · gentoo
dev-ml/dune-private-libs: install ordering, dyn, and stdune too
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/37926 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: collaps ordering dyn stdune in here
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: collaps ordering dyn stdune in here
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: collaps ordering dyn stdune in here
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.13.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.10.0 arm, #933822
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 3.10.0 arm64, #933822
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.11.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.10.0 amd64, #933822
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.10.0 x86, #933822
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.10.0 ppc64, #933822
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: drop versions
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.3 arm, #896102
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.10.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.9.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.9.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.8.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: stabilize 3.7.1 for amd64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.6.2 ppc64, #901629
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.6.2 x86, #901629
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.6.2 arm, #901629
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.7.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 3.6.2 arm64, #901629
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.6.2 amd64, #901629
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.3 ppc64, #896102
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.7.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.3 x86, #896102
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.3 amd64, #896102
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.6.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.6.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.2.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: adj deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: fix build
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/dune-private-libs: bump to 3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.1 arm, #817752
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: fix test
Closes: https://bugs.gentoo.org/872266 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: drop 2.8.2-r1, 2.9.0
Signed-off-by: Sam James <sam@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/26555 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: be less strict depending on ocamlopt
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Yongxiang Liang · gentoo
dev-ml/dune-private-libs: Keyword 2.9.3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: 2.9.3 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.1 x86, #817752
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.1 amd64, #817752
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.1 arm64, #817752
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.1 ppc64, #817752
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: add 2.9.1
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: bump 2.9.0
Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 x86, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 arm, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 ppc64, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 ppc, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 arm64, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 amd64, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: drop 2.7.1
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.7.1 arm, #775782
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.2-r1 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.2-r1 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.2-r1 ppc64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-private-libs: add 2.8.4
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-ml/dune-private-libs: amd64 stable wrt bug #772833
Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.2-r1 x86, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.2-r1 ppc, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.8.2-r1 ppc, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.7.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.7.1 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.7.1 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.8.2-r1 ppc64, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.7.1 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-private-libs: does not work with ocaml-4.05
Closes: https://bugs.gentoo.org/767826 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.8.2-r1 x86, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.8.2-r1 arm64, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.8.2-r1 arm, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: enforce ocamlopt=
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: generalise dev-ml/dune version lock
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: add dev-ml/core_bench test dep
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-private-libs: bump to 2.8.2
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: depend on matching dev-ml/dune version
Closes: https://bugs.gentoo.org/753710 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.7.1 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/dune-private-libs: Add missing dep dev-ml/findlib
Thanks to Agostino Sarubbo for reporting. Fix QA MissingTestRestrict. Closes: https://bugs.gentoo.org/748627 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/dune-private-libs: Bump to 2.7.1
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>