summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/findlib: stable 1.8.1-r1 for ppc64Sergei Trofimovich2020-11-291-1/+1
| | | | | | | | stable wrt bug #757447 Package-Manager: Portage-3.0.11, Repoman-3.0.2 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 11.0.1-rc1Michał Górny2020-11-292-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: 11.0.0.9999 → 11.0.1.9999Michał Górny2020-11-291-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Fix old versions tooMichał Górny2020-11-293-3/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Fix missing conditions around depsMichał Górny2020-11-292-2/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Resolve pkgcheck problemsMichał Górny2020-11-295-10/+35
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Delay llvm.org_set_globals after varsMichał Górny2020-11-292-4/+6
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 10.0.0Michał Górny2020-11-292-126/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/menhir: drop oldAaron Bauman2020-11-283-74/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/findlib: drop oldAaron Bauman2020-11-284-225/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/dose3: drop oldAaron Bauman2020-11-281-64/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/cudf: drop oldAaron Bauman2020-11-282-68/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/cmdliner: drop oldAaron Bauman2020-11-284-135/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/camlp4: drop oldAaron Bauman2020-11-283-88/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/camlbz2: drop oldAaron Bauman2020-11-281-30/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/ocaml-gettext: remove unused patchMichael Mair-Keimberger2020-11-201-12/+0
| | | | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/18270 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/camldbm: bump to 1.2Sam James2020-11-182-0/+23
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camldbm: port to EAPI 7Sam James2020-11-181-6/+6
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Update the target listMichał Górny2020-11-171-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-ctypes: use dev-libs/libffi instead of virtual/libffiSergei Trofimovich2020-11-164-8/+8
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/dune-private-libs: depend on matching dev-ml/dune versionSam James2020-11-101-5/+7
| | | | | | Closes: https://bugs.gentoo.org/753710 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp5: bump to 7.13Sam James2020-11-102-0/+56
| | | | | | | | | This is the first version with ~proper OCaml 4.11.0 support. Bug: https://bugs.gentoo.org/753713 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp5: mark 7.11 incompat. w/ newer ocamlSam James2020-11-101-1/+1
| | | | | | Closes: https://bugs.gentoo.org/753713 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlbuild: Stabilize 0.14.0-r1 ppc, #708884Sam James2020-11-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlbuild: ppc64 stable (bug #708884)Sam James2020-11-071-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlnet: Stabilize 4.1.8 amd64, #750281Sam James2020-11-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlzip: Stabilize 1.10 amd64, #750287Sam James2020-11-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlweb: Stabilize 1.41 amd64, #750284Sam James2020-11-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/lablgtk: Stabilize 2.18.10 ppc, #713540Sam James2020-11-011-1/+1
| | | | | Thanks-to: ernsteiswuerfel <erhard_f@mailbox.org> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: Stabilize 1.9.1 amd64, #737156Sam James2020-11-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-gettext: remove hack for mandirRafael Kitover2020-10-311-5/+0
| | | | | | | | dune.eclass now passes --mandir since 77211739823. Signed-off-by: Rafael Kitover <rkitover@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/17957 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/parmap: add dune-configurator depSam James2020-10-281-0/+1
| | | | | | Closes: https://bugs.gentoo.org/751553 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/parmap: cleanup oldSam James2020-10-282-47/+0
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/parmap: bump to 1.1.1Sam James2020-10-282-0/+21
| | | | | | | | Closes: https://bugs.gentoo.org/719514 Closes: https://bugs.gentoo.org/704314 Closes: https://bugs.gentoo.org/614734 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mmap: bump to 1.1.0Sam James2020-10-282-0/+21
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlsdl: fix OCaml 4.09.0 buildSam James2020-10-283-14/+44
| | | | | | Closes: https://bugs.gentoo.org/704364 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-autoconf: ppc64 keyworded (bug #748576)Sam James2020-10-281-2/+2
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlweb: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/topkg: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/react: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/xml-light: ppc64 keyworded (bug #748576)Sam James2020-10-281-2/+2
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/parmap: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocurl: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlzip: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlbz2: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlgraph: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-file-format: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/extlib: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cudf: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cmdliner: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>