dev-ml/opam-core Package Details

v2.1.3 :: 0/2.1.3 :: gentoo

Modified: Saturday 08 June 23:28
License: LGPL-2.1
Keywords: amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86

v2.1.2 :: 0/2.1.2 :: gentoo

Modified: 26 March 2023
License: LGPL-2.1
Keywords: amd64 arm arm64 ppc64 x86 ~ppc ~riscv

v2.0.10 :: 0/2.0.10 :: gentoo

Modified: Friday 19 January 23:20
License: LGPL-2.1
Keywords: amd64 arm arm64 ppc64 x86 ~ppc

v2.0.9 :: 0/2.0.9 :: gentoo

Modified: 26 March 2023
License: LGPL-2.1
Keywords: amd64 arm arm64 ppc64 x86 ~ppc

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

dev-ml / cmdliner : Declarative definition of command line interfaces for OCaml

dev-ml / cppo : An equivalent of the C preprocessor for OCaml programs

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

dev-ml / ocamlgraph : O'Caml Graph library

dev-ml / opam-file-format : Parser and printer for the opam file syntax

dev-ml / re : Regular expression library for OCaml

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

dev-ml / cmdliner : Declarative definition of command line interfaces for OCaml

dev-ml / ocamlgraph : O'Caml Graph library

dev-ml / opam-file-format : Parser and printer for the opam file syntax

dev-ml / re : Regular expression library for OCaml

dev-ml / opam : A source-based package manager for OCaml

dev-ml / opam-format : Core libraries for opam

804082: dev-ml/opam-core-2.0.8-r1 fails to compile

Thursday 18 July: Repository mirror & CI · gentoo
Merge updates from master
Thursday 18 July: Alfredo Tupone · gentoo
dev-ml/*: drop opam-2.1.5 & children
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Monday 15 July: Repository mirror & CI · gentoo
Merge updates from master
Monday 15 July: Alfredo Tupone · gentoo
dev-ml/opam-core: drop 2.1.4
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Monday 15 July: Repository mirror & CI · gentoo
Merge updates from master
Monday 15 July: Repository mirror & CI · gentoo
Merge updates from master
Monday 15 July: Alfredo Tupone · gentoo
dev-ml/opam-core: add 2.1.5
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Monday 15 July: Alfredo Tupone · gentoo
dev-ml/opam-core: add 2.1.4
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Saturday 08 June: Repository mirror & CI · gentoo
Merge updates from master
Saturday 08 June: Maciej Barć · gentoo
dev-ml/opam-core: workaround bug #933845
Closes: https://bugs.gentoo.org/933845 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Friday 19 January: Repository mirror & CI · gentoo
Merge updates from master
Friday 19 January: Matoro Mahri · gentoo
dev-ml/opam-core: Stabilize 2.0.10 arm, #896100
Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
Thursday 11 January: Repository mirror & CI · gentoo
Merge updates from master
Thursday 11 January: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.0.10 x86, #896100
Signed-off-by: Sam James <sam@gentoo.org>
22 December 2023: Repository mirror & CI · gentoo
Merge updates from master
22 December 2023: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.0.10 ppc64, #896100
Signed-off-by: Sam James <sam@gentoo.org>
07 December 2023: Repository mirror & CI · gentoo
Merge updates from master
07 December 2023: Matoro Mahri · gentoo
dev-ml/opam-core: Stabilize 2.0.10 arm64, #896100
Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
13 May 2023: Repository mirror & CI · gentoo
Merge updates from master
13 May 2023: Alfredo Tupone · gentoo
dev-ml/opam-core: stabilize 2.1.3 for amd64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
03 March 2023: Repository mirror & CI · gentoo
Merge updates from master
03 March 2023: Alfredo Tupone · gentoo
dev-ml/opam-core: add 2.1.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
24 February 2023: Repository mirror & CI · gentoo
Merge updates from master
24 February 2023: Sam James · gentoo
dev-ml/opam-core: drop irrelevant patch
Signed-off-by: Sam James <sam@gentoo.org>
23 February 2023: Repository mirror & CI · gentoo
Merge updates from master
23 February 2023: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.0.10 amd64, #896100
Signed-off-by: Sam James <sam@gentoo.org>
19 November 2022: Repository mirror & CI · gentoo
Merge updates from master
19 November 2022: Arthur Zamarin · gentoo
dev-ml/opam-core: Stabilize 2.1.2 ppc64, #859508
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
19 November 2022: Arthur Zamarin · gentoo
dev-ml/opam-core: Stabilize 2.1.2 arm64, #859508
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
19 November 2022: Arthur Zamarin · gentoo
dev-ml/opam-core: Stabilize 2.1.2 arm, #859508
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
18 September 2022: Repository mirror & CI · gentoo
Merge updates from master
18 September 2022: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.1.2 x86, #859508
Signed-off-by: Sam James <sam@gentoo.org>
18 September 2022: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.1.2 amd64, #859508
Signed-off-by: Sam James <sam@gentoo.org>
24 July 2022: Repository mirror & CI · gentoo
Merge updates from master
23 July 2022: Sam James · gentoo
dev-ml/opam-core: drop 2.0.8-r1, 2.1.0, 2.1.1
Signed-off-by: Sam James <sam@gentoo.org>
18 April 2022: Repository mirror & CI · gentoo
Merge updates from master
17 April 2022: Yongxiang Liang · gentoo
dev-ml/opam-core: Keyword 2.1.2 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/opam-core: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
31 January 2022: Repository mirror & CI · gentoo
Merge updates from master
31 January 2022: Alfredo Tupone · gentoo
dev-ml/opam-core: 2.1.2 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
18 January 2022: Repository mirror & CI · gentoo
Merge updates from master
18 January 2022: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.0.9 x86, #817749
Signed-off-by: Sam James <sam@gentoo.org>
13 January 2022: Repository mirror & CI · gentoo
Merge updates from master
13 January 2022: Arthur Zamarin · gentoo
dev-ml/opam-core: Stabilize 2.0.9 ppc64, #817749
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
13 January 2022: Repository mirror & CI · gentoo
Merge updates from master
13 January 2022: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.0.9 arm64, #817749
Signed-off-by: Sam James <sam@gentoo.org>
11 January 2022: Repository mirror & CI · gentoo
Merge updates from master
11 January 2022: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.0.9 amd64, #817749
Signed-off-by: Sam James <sam@gentoo.org>
10 January 2022: Repository mirror & CI · gentoo
Merge updates from master
10 January 2022: Arthur Zamarin · gentoo
dev-ml/opam-core: Stabilize 2.0.9 ppc, #817749
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
10 January 2022: Repository mirror & CI · gentoo
Merge updates from master
10 January 2022: Arthur Zamarin · gentoo
dev-ml/opam-core: Stabilize 2.0.9 arm, #817749
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
06 November 2021: Repository mirror & CI · gentoo
Merge updates from master
06 November 2021: Sam James · gentoo
dev-ml/opam-core: add 2.1.1
Signed-off-by: Sam James <sam@gentoo.org>
06 November 2021: Sam James · gentoo
dev-ml/opam-core: add 2.0.10
Signed-off-by: Sam James <sam@gentoo.org>
02 October 2021: Repository mirror & CI · gentoo
Merge updates from master
02 October 2021: Sam James · gentoo
dev-ml/opam-core: add 2.1.0
Signed-off-by: Sam James <sam@gentoo.org>
28 July 2021: Repository mirror & CI · gentoo
Merge updates from master
28 July 2021: Sam James · gentoo
dev-ml/opam-core: add 2.0.9
Signed-off-by: Sam James <sam@gentoo.org>
24 July 2021: Repository mirror & CI · gentoo
Merge updates from master
24 July 2021: Alfredo Tupone · gentoo
dev-ml/opam-core: do not use dune-2.9
Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
15 March 2021: Repository mirror & CI · gentoo
Merge updates from master
14 March 2021: Repository mirror & CI · gentoo
Merge updates from master
14 March 2021: Sam James · gentoo
dev-ml/opam-core: drop 2.0.7
Signed-off-by: Sam James <sam@gentoo.org>
14 March 2021: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.0.8-r1 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
14 March 2021: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.0.8-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/opam-core: Stabilize 2.0.8-r1 ppc64, #772833
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/opam-core: 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/opam-core: Stabilize 2.0.8-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/opam-core: Stabilize 2.0.8-r1 ppc, #772833
Signed-off-by: Sam James <sam@gentoo.org>
18 February 2021: Repository mirror & CI · gentoo
Merge updates from master
18 February 2021: Alfredo Tupone · gentoo
dev-ml/opam-core: add dep
Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@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/opam-core: Stabilize 2.0.7 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
11 February 2021: Sam James · gentoo
dev-ml/opam-core: Stabilize 2.0.7 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/opam-core: Stabilize 2.0.7 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/opam-core: Stabilize 2.0.7 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
09 February 2021: Repository mirror & CI · gentoo
Merge updates from master
09 February 2021: Sam James · gentoo
dev-ml/opam-core: fix opam-installer usage
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
08 February 2021: Repository mirror & CI · gentoo
Merge updates from master
08 February 2021: Sam James · gentoo
dev-ml/opam-core: bump to 2.0.8
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
27 January 2021: Repository mirror & CI · gentoo
Merge updates from master
27 January 2021: Alfredo Tupone · gentoo
dev-ml/opam-core: fix dep
Closes: https://bugs.gentoo.org/751751 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
28 October 2020: Repository mirror & CI · gentoo
Merge updates from master
28 October 2020: Sam James · gentoo
dev-ml/opam-core: 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/opam-core: Keyword 2.0.7 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
13 October 2020: Repository mirror & CI · gentoo
Merge updates from master
13 October 2020: Mark Wright · gentoo
dev-ml/opam-core: Dependency of dev-ml/opam-format
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>

dev-ml / opam-core

Versions

Dependencies

Runtime Dependencies

Depending packages

Bugs

Change logs