summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
...
* dev-ml/opam-solver: Stabilize 2.0.9 ppc, #817749Arthur Zamarin2022-01-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-repository: Stabilize 2.0.9 ppc, #817749Arthur Zamarin2022-01-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-installer: Stabilize 2.0.9 ppc, #817749Arthur Zamarin2022-01-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-format: Stabilize 2.0.9 ppc, #817749Arthur Zamarin2022-01-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-core: Stabilize 2.0.9 ppc, #817749Arthur Zamarin2022-01-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-client: Stabilize 2.0.9 ppc, #817749Arthur Zamarin2022-01-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam: Stabilize 2.0.9 ppc, #817749Arthur Zamarin2022-01-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-state: Stabilize 2.0.9 arm, #817749Arthur Zamarin2022-01-101-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.9 arm, #817749Arthur Zamarin2022-01-101-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-repository: Stabilize 2.0.9 arm, #817749Arthur Zamarin2022-01-101-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-installer: Stabilize 2.0.9 arm, #817749Arthur Zamarin2022-01-101-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-format: Stabilize 2.0.9 arm, #817749Arthur Zamarin2022-01-101-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-core: Stabilize 2.0.9 arm, #817749Arthur Zamarin2022-01-101-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-client: Stabilize 2.0.9 arm, #817749Arthur Zamarin2022-01-101-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam: Stabilize 2.0.9 arm, #817749Arthur Zamarin2022-01-101-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ocamlbuild: tests work only with ocamloptAlfredo Tupone2022-01-101-0/+1
| | | | | | Closes: https://bugs.gentoo.org/830843 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/luv: fix ocamlopt depSam James2022-01-091-3/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/luv: drop unused inheritSam James2022-01-091-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/luv: use ${BROOT} for gnuconfig copySam James2022-01-091-4/+5
| | | | | Bug: https://bugs.gentoo.org/828563 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/luv: replace config.guessAlfredo Tupone2022-01-091-0/+6
| | | | | | Closes: https://bugs.gentoo.org/828563 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: ocaml-4.13 blocksAlfredo Tupone2022-01-095-10/+10
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocamlbuild: depends on findlib to avoid conflictAlfredo Tupone2022-01-091-2/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocurl: add 0.9.2Sam James2022-01-092-0/+38
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: selecting compliance with ocaml versionsAlfredo Tupone2022-01-083-4/+7
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: fix install with -ocamloptAlfredo Tupone2022-01-071-2/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/findlib: not for ocaml-4.13Alfredo Tupone2022-01-071-1/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/batteries: ocaml-4.13Alfredo Tupone2022-01-072-2/+2
| | | | | | Closes: https://bugs.gentoo.org/830697 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/luv: do not depend on ocaml >4.13Maciej Barć2022-01-041-2/+3
| | | | | | Closes: https://bugs.gentoo.org/829798 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 arm64, #828347Sam James2022-01-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 ppc, #828347Arthur Zamarin2022-01-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 ppc64, #828347Arthur Zamarin2022-01-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 arm, #828347Arthur Zamarin2022-01-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 x86, #828347Jakov Smolić2022-01-021-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 amd64, #828347Jakov Smolić2022-01-021-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/jingoo: drop trailing full stop from DESCRIPTIONSam James2021-12-261-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fmt: Stabilize 0.9.0 x86, #828293Sam James2021-12-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: Stabilize 2.0.8-r2 x86, #804780Sam James2021-12-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: Stabilize 2.0.8-r1 x86, #804780Sam James2021-12-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8-r1 x86, #804780Sam James2021-12-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: Stabilize 2.0.8-r1 x86, #804780Sam James2021-12-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: Stabilize 2.0.8-r1 x86, #804780Sam James2021-12-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: Stabilize 2.0.8-r3 x86, #804780Sam James2021-12-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/yojson: update metadata.xml; add ML Project to maintainersMaciej Barć2021-12-121-3/+5
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/biniou: update metadata.xml; add ML Project to maintainersMaciej Barć2021-12-121-11/+13
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune-build-info: new package; add version 2.9.1Maciej Barć2021-12-113-0/+39
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune-site: new package; add version 2.9.1Maciej Barć2021-12-113-0/+44
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-inifiles: new package; add version 1.2Maciej Barć2021-12-114-0/+51
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: upstream moved repository - facebook -> reasonmlMaciej Barć2021-12-111-2/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.1 x86, #817752Jakov Smolić2021-12-101-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.9.1 x86, #817752Jakov Smolić2021-12-101-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>