dev-ml/dune-private-libs Package Details

v3.8.0 :: 0/3.8.0 :: gentoo

Modified: Tuesday 23 May 19:53
License: Apache-2.0
Keywords: ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
USE flags: ocamlopt

v3.7.1 :: 0/3.7.1 :: gentoo

Modified: Saturday 20 May 17:10
License: Apache-2.0
Keywords: amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
USE flags: ocamlopt

v3.7.0 :: 0/3.7.0 :: gentoo

Modified: Sunday 26 March 12:02
License: Apache-2.0
Keywords: ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
USE flags: ocamlopt

v3.6.2 :: 0/3.6.2 :: gentoo

Modified: Saturday 29 April 09:22
License: Apache-2.0
Keywords: amd64 arm arm64 ppc64 x86 ~ppc ~riscv
USE flags: ocamlopt

v3.6.1 :: 0/3.6.1 :: gentoo

Modified: Sunday 26 March 12:02
License: Apache-2.0
Keywords: ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
USE flags: ocamlopt

v3.2.0 :: 0/3.2.0 :: gentoo

Modified: Sunday 26 March 12:02
License: Apache-2.0
Keywords: ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
USE flags: ocamlopt

v3.0.3-r1 :: 0/3.0.3 :: gentoo

Modified: Sunday 26 March 12:02
License: Apache-2.0
Keywords: ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
USE flags: ocamlopt

v2.9.3 :: 0/2.9.3 :: gentoo

Modified: Sunday 26 March 12:02
License: Apache-2.0
Keywords: amd64 ppc64 x86 ~arm ~arm64 ~ppc ~riscv
USE flags: ocamlopt test

v2.9.1 :: 0/2.9.1 :: gentoo

Modified: Sunday 26 March 12:02
License: Apache-2.0
Keywords: amd64 arm arm64 ppc64 x86 ~ppc
USE flags: ocamlopt test

v2.8.4 :: 0/2.8.4 :: gentoo

Modified: Sunday 26 March 12:02
License: Apache-2.0
Keywords: amd64 arm arm64 ppc64 x86 ~ppc
USE flags: ocamlopt test

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)

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

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

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

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

Tuesday 23 May: Repository mirror & CI · gentoo
Merge updates from master
Tuesday 23 May: Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.8.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Saturday 20 May: Repository mirror & CI · gentoo
Merge updates from master
Saturday 20 May: Alfredo Tupone · gentoo
dev-ml/dune-private-libs: stabilize 3.7.1 for amd64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Saturday 29 April: Repository mirror & CI · gentoo
Merge updates from master
Saturday 29 April: Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.6.2 ppc64, #901629
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Saturday 29 April: Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.6.2 x86, #901629
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Saturday 29 April: Repository mirror & CI · gentoo
Merge updates from master
Saturday 29 April: Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.6.2 arm, #901629
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Sunday 16 April: Repository mirror & CI · gentoo
Merge updates from master
Sunday 16 April: Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.7.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Saturday 01 April: Repository mirror & CI · gentoo
Merge updates from master
Saturday 01 April: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 3.6.2 arm64, #901629
Signed-off-by: Sam James <sam@gentoo.org>
Friday 17 March: Repository mirror & CI · gentoo
Merge updates from master
Friday 17 March: Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 3.6.2 amd64, #901629
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Wednesday 15 March: Repository mirror & CI · gentoo
Merge updates from master
Wednesday 15 March: Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.3 ppc64, #896102
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Wednesday 01 March: Repository mirror & CI · gentoo
Merge updates from master
Wednesday 01 March: Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.7.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Friday 24 February: Repository mirror & CI · gentoo
Merge updates from master
Friday 24 February: Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.3 x86, #896102
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Thursday 23 February: Repository mirror & CI · gentoo
Merge updates from master
Thursday 23 February: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.3 amd64, #896102
Signed-off-by: Sam James <sam@gentoo.org>
Monday 30 January: Repository mirror & CI · gentoo
Merge updates from master
Monday 30 January: Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.6.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
16 December 2022: Repository mirror & CI · gentoo
Merge updates from master
16 December 2022: Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.6.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
22 November 2022: Repository mirror & CI · gentoo
Merge updates from master
22 November 2022: Alfredo Tupone · gentoo
dev-ml/dune-private-libs: add 3.2.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
20 November 2022: Repository mirror & CI · gentoo
Merge updates from master
20 November 2022: Alfredo Tupone · gentoo
dev-ml/dune-private-libs: adj deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
19 November 2022: Repository mirror & CI · gentoo
Merge updates from master
19 November 2022: Alfredo Tupone · gentoo
dev-ml/dune-private-libs: fix build
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
19 November 2022: Repository mirror & CI · gentoo
Merge updates from master
19 November 2022: Maciej Barć · gentoo
dev-ml/dune-private-libs: bump to 3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
18 November 2022: Repository mirror & CI · gentoo
Merge updates from master
18 November 2022: Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.1 arm, #817752
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
12 October 2022: Repository mirror & CI · gentoo
Merge updates from master
12 October 2022: Alfredo Tupone · gentoo
dev-ml/dune-private-libs: fix test
Closes: https://bugs.gentoo.org/872266 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
24 July 2022: Repository mirror & CI · gentoo
Merge updates from master
23 July 2022: 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>
06 July 2022: Repository mirror & CI · gentoo
Merge updates from master
06 July 2022: 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>
18 April 2022: Repository mirror & CI · gentoo
Merge updates from master
17 April 2022: 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>
03 March 2022: Repository mirror & CI · gentoo
Merge updates from master
03 March 2022: 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>
29 January 2022: Repository mirror & CI · gentoo
Merge updates from master
29 January 2022: 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>
10 December 2021: Repository mirror & CI · gentoo
Merge updates from master
10 December 2021: Jakov Smolić · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.1 x86, #817752
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
10 December 2021: Repository mirror & CI · gentoo
Merge updates from master
10 December 2021: Jakov Smolić · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.1 amd64, #817752
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
08 December 2021: Repository mirror & CI · gentoo
Merge updates from master
08 December 2021: Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.1 arm64, #817752
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
07 December 2021: Repository mirror & CI · gentoo
Merge updates from master
07 December 2021: Arthur Zamarin · gentoo
dev-ml/dune-private-libs: Stabilize 2.9.1 ppc64, #817752
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
02 October 2021: Repository mirror & CI · gentoo
Merge updates from master
02 October 2021: Sam James · gentoo
dev-ml/dune-private-libs: add 2.9.1
Signed-off-by: Sam James <sam@gentoo.org>
21 July 2021: Repository mirror & CI · gentoo
Merge updates from master
21 July 2021: 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>
26 April 2021: Repository mirror & CI · gentoo
Merge updates from master
26 April 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 x86, #783567
Signed-off-by: Sam James <sam@gentoo.org>
25 April 2021: Repository mirror & CI · gentoo
Merge updates from master
25 April 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 arm, #783567
Signed-off-by: Sam James <sam@gentoo.org>
22 April 2021: Repository mirror & CI · gentoo
Merge updates from master
22 April 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 ppc64, #783567
Signed-off-by: Sam James <sam@gentoo.org>
22 April 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 ppc, #783567
Signed-off-by: Sam James <sam@gentoo.org>
22 April 2021: Repository mirror & CI · gentoo
Merge updates from master
22 April 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 arm64, #783567
Signed-off-by: Sam James <sam@gentoo.org>
18 April 2021: Repository mirror & CI · gentoo
Merge updates from master
18 April 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.4 amd64, #783567
Signed-off-by: Sam James <sam@gentoo.org>
15 March 2021: Repository mirror & CI · gentoo
Merge updates from master
15 March 2021: Sam James · gentoo
dev-ml/dune-private-libs: drop 2.7.1
Signed-off-by: Sam James <sam@gentoo.org>
14 March 2021: Repository mirror & CI · gentoo
Merge updates from master
14 March 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.7.1 arm, #775782
Signed-off-by: Sam James <sam@gentoo.org>
14 March 2021: Repository mirror & CI · gentoo
Merge updates from master
14 March 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.2-r1 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
14 March 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.2-r1 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org>
13 March 2021: Repository mirror & CI · gentoo
Merge updates from master
13 March 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.2-r1 ppc64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
13 March 2021: Sam James · gentoo
dev-ml/dune-private-libs: add 2.8.4
Signed-off-by: Sam James <sam@gentoo.org>
04 March 2021: Repository mirror & CI · gentoo
Merge updates from master
04 March 2021: 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>
25 February 2021: Repository mirror & CI · gentoo
Merge updates from master
25 February 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.2-r1 x86, #772833
Signed-off-by: Sam James <sam@gentoo.org>
25 February 2021: Repository mirror & CI · gentoo
Merge updates from master
25 February 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.8.2-r1 ppc, #772833
Signed-off-by: Sam James <sam@gentoo.org>
21 February 2021: Repository mirror & CI · gentoo
Merge updates from master
21 February 2021: Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.8.2-r1 ppc, #766884
Signed-off-by: Sam James <sam@gentoo.org>
11 February 2021: Repository mirror & CI · gentoo
Merge updates from master
11 February 2021: Repository mirror & CI · gentoo
Merge updates from master
11 February 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.7.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
11 February 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.7.1 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org>
10 February 2021: Repository mirror & CI · gentoo
Merge updates from master
10 February 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.7.1 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
10 February 2021: Repository mirror & CI · gentoo
Merge updates from master
10 February 2021: Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.8.2-r1 ppc64, #766884
Signed-off-by: Sam James <sam@gentoo.org>
10 February 2021: Sam James · gentoo
dev-ml/dune-private-libs: Stabilize 2.7.1 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
29 January 2021: Repository mirror & CI · gentoo
Merge updates from master
29 January 2021: 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>
28 January 2021: Repository mirror & CI · gentoo
Merge updates from master
28 January 2021: Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.8.2-r1 x86, #766884
Signed-off-by: Sam James <sam@gentoo.org>
28 January 2021: Repository mirror & CI · gentoo
Merge updates from master
28 January 2021: Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.8.2-r1 arm64, #766884
Signed-off-by: Sam James <sam@gentoo.org>
27 January 2021: Repository mirror & CI · gentoo
Merge updates from master
27 January 2021: Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.8.2-r1 arm, #766884
Signed-off-by: Sam James <sam@gentoo.org>
27 January 2021: Repository mirror & CI · gentoo
Merge updates from master
27 January 2021: 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>
25 January 2021: Repository mirror & CI · gentoo
Merge updates from master
25 January 2021: 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>
24 January 2021: Repository mirror & CI · gentoo
Merge updates from master
24 January 2021: Repository mirror & CI · gentoo
Merge updates from master
24 January 2021: 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>
22 January 2021: 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>
10 November 2020: Repository mirror & CI · gentoo
Merge updates from master
10 November 2020: 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>
28 October 2020: Repository mirror & CI · gentoo
Merge updates from master
28 October 2020: 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>
24 October 2020: Repository mirror & CI · gentoo
Merge updates from master
24 October 2020: Sam James · gentoo
dev-ml/dune-private-libs: Keyword 2.7.1 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
14 October 2020: Repository mirror & CI · gentoo
Merge updates from master
14 October 2020: 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>
13 October 2020: Repository mirror & CI · gentoo
Merge updates from master
13 October 2020: 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>

dev-ml / dune-private-libs

Versions

USE flags

General

Dependencies

Runtime Dependencies

Depending packages

Change logs

Versions

USE flags

General

Dependencies

Runtime Dependencies

Depending packages

Change logs

Site search

Login