summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/dose3: keyword 6.0.1_p2 for ~x86Sam James2021-10-061-1/+1
| | | | | Bug: https://bugs.gentoo.org/815910 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: add 4.13Sam James2021-10-062-0/+47
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp5: add 8.00.02Sam James2021-10-062-0/+59
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlzip: add 1.11Sam James2021-10-062-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core_kernel: add 0.14.2Sam James2021-10-062-0/+45
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_variants_conv: update maintainers (add ml@)Sam James2021-10-061-0/+4
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_variants_conv: fix compatibility with ppxlib-0.23Sam James2021-10-062-0/+60
| | | | | Closes: https://bugs.gentoo.org/816099 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/base_quickcheck: add 0.14.1Sam James2021-10-062-0/+30
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cppo: add 1.6.8Sam James2021-10-062-0/+20
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/re: add 1.10.3Sam James2021-10-062-0/+26
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uucp: add 14.0.0Sam James2021-10-062-0/+29
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_tools: add 6.4Sam James2021-10-062-0/+18
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: add 2.9.1Sam James2021-10-052-0/+118
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_optcomp: add 0.14.3Sam James2021-10-052-0/+27
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-ctypes: Keyword 0.19.1 arm, #804657Sam James2021-10-041-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/bigarray-compat: Keyword 1.0.0 arm, #804657Sam James2021-10-041-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ounit2: src_compile is in dune.eclassAlfredo Tupone2021-10-032-8/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam: src_compile is in dune.eclassAlfredo Tupone2021-10-032-8/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-state: src_compile is in dune.eclassAlfredo Tupone2021-10-033-12/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-solver: src_compile is in dune.eclassAlfredo Tupone2021-10-033-12/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/patience_diff: src_compile is in dune.eclassAlfredo Tupone2021-10-031-4/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-repository: src_compile is in dune.eclassAlfredo Tupone2021-10-033-12/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-format: src_compile is in dune.eclassAlfredo Tupone2021-10-033-12/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lwt: src_compile is in dune.eclassAlfredo Tupone2021-10-031-4/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/parmap: src_compile is in dune.eclassAlfredo Tupone2021-10-032-8/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-client: src_compile is in dune.eclassAlfredo Tupone2021-10-033-12/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_bench: src_compile is in dune.eclassAlfredo Tupone2021-10-031-4/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core: src_compile is in dune.eclassAlfredo Tupone2021-10-031-4/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_unix: src_compile is in dune.eclassAlfredo Tupone2021-10-031-4/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_kernel: src_compile is in dune.eclassAlfredo Tupone2021-10-031-4/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-installer: forward stable keywords (modulo x86)Sam James2021-10-031-1/+1
| | | | | | | | Needed to get newer dose3 compatibility. Apparently x86 was forgotten about at some point... Bug: https://bugs.gentoo.org/815910 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: fix patch filename for 2.1.0Sam James2021-10-022-1/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: fix build with newer dose3 in 2.1.0Sam James2021-10-022-2/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: add 2.9.1Sam James2021-10-022-0/+120
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: drop useless patchSam James2021-10-021-526/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: drop useless patchSam James2021-10-021-526/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: drop useless patchesSam James2021-10-022-1029/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: add 2.1.0Sam James2021-10-022-0/+46
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: add 2.1.0Sam James2021-10-022-0/+44
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: add 2.1.0Sam James2021-10-024-0/+1069
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: add 2.1.0Sam James2021-10-023-0/+574
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: add 2.1.0Sam James2021-10-023-0/+574
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: add 2.1.0Sam James2021-10-022-0/+46
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: add 2.1.0Sam James2021-10-022-0/+44
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: add 2.1.0Sam James2021-10-022-0/+48
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-gettext: enable +ocamlopt by defaultSam James2021-10-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: enable +ocamlopt by defaultSam James2021-10-022-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/parmap: Stabilize 1.2.3 x86, #804783Sam James2021-10-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/parmap: Stabilize 1.2.3 ppc, #804783Sam James2021-10-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/parmap: Stabilize 1.2.3 arm, #804783Sam James2021-10-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>