Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/lwt: Keyword 5.4.2 ppc64, #822717Arthur Zamarin2021-11-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/luv: Keyword 0.5.10 ppc64, #822717Arthur Zamarin2021-11-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ocaml-ctypes: Keyword 0.19.1 ppc64, #822717Arthur Zamarin2021-11-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/integers: Keyword 0.5.1 ppc64, #822717Arthur Zamarin2021-11-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/bigarray-compat: Keyword 1.0.0 ppc64, #822717Arthur Zamarin2021-11-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/lwt: Keyword 5.4.2 ppc, #822717Arthur Zamarin2021-11-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/luv: Keyword 0.5.10 ppc, #822717Arthur Zamarin2021-11-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ocaml-ctypes: Keyword 0.19.1 ppc, #822717Arthur Zamarin2021-11-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/integers: Keyword 0.5.1 ppc, #822717Arthur Zamarin2021-11-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/bigarray-compat: Keyword 1.0.0 ppc, #822717Arthur Zamarin2021-11-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_sexp_conv: ppc64 stable wrt bug #817737Agostino Sarubbo2021-11-151-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppx_typerep_conv: ppc64 stable wrt bug #817734Agostino Sarubbo2021-11-151-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppx_sexp_conv: ppc stable wrt bug #817737Agostino Sarubbo2021-11-151-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppx_typerep_conv: ppc stable wrt bug #817734Agostino Sarubbo2021-11-151-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/async_ssl: treecleanJakov Smolić2021-11-143-37/+0
| | | | | Closes: https://bugs.gentoo.org/817965 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/ppx_tools_versioned: treecleanJakov Smolić2021-11-143-34/+0
| | | | | | Closes: https://bugs.gentoo.org/767196 Closes: https://bugs.gentoo.org/771756 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/integers: 0.5.1 bumpAlfredo Tupone2021-11-102-0/+17
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-file-format: Stabilize 2.1.3 x86, #817728Jakov Smolić2021-11-101-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/integers: ml take maintainanceAlfredo Tupone2021-11-101-0/+4
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml-ctypes: ml take maintainanceAlfredo Tupone2021-11-101-0/+4
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* xmlm: not yet needed. dropAlfredo Tupone2021-11-093-34/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/uunf: 14.0.0 bumpAlfredo Tupone2021-11-092-0/+32
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/xmlm: new packageAlfredo Tupone2021-11-093-0/+34
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_variants_conv: 0.14.2 bumpAlfredo Tupone2021-11-082-0/+26
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove 10*Michał Górny2021-11-082-121/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/lwt: readd dev-ml/mmap dependencyAlfredo Tupone2021-11-071-0/+1
| | | | | | Closes: https://bugs.gentoo.org/822303 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/menhir: 20211012 bumpAlfredo Tupone2021-11-072-0/+22
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lwt: 5.4.2 bumpAlfredo Tupone2021-11-072-0/+28
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/luv: new packageAlfredo Tupone2021-11-073-0/+31
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/labltk: backport warnings patch to 8.06.10Sam James2021-11-072-0/+3
| | | | | Bug: https://bugs.gentoo.org/817980 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/labltk: adjust OCaml depSam James2021-11-071-1/+1
| | | | | | Bug: https://bugs.gentoo.org/817980 Closes: https://bugs.gentoo.org/822222 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_metaquot: treecleanSam James2021-11-073-30/+0
| | | | | | Closes: https://bugs.gentoo.org/749246 Closes: https://bugs.gentoo.org/815466 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: fix handling of ocamloptSam James2021-11-071-1/+2
| | | | | Closes: https://bugs.gentoo.org/821988 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/labltk: add 8.06.11Sam James2021-11-072-0/+51
| | | | | Closes: https://bugs.gentoo.org/817980 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: fix 2.0.10Sam James2021-11-061-5/+11
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: add 2.1.1Sam James2021-11-062-0/+40
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: add 2.1.1Sam James2021-11-062-0/+41
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: add 2.1.1Sam James2021-11-062-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: add 2.1.1Sam James2021-11-062-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: add 2.1.1Sam James2021-11-062-0/+41
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: add 2.1.1Sam James2021-11-062-0/+39
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: add 2.1.1Sam James2021-11-062-0/+47
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: add 2.1.1Sam James2021-11-062-0/+42
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: add 2.0.10Sam James2021-11-062-0/+40
| | | | Signed-off-by: Sam James <sam@gentoo.org>