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/ocaml-ctypes: add 0.19.1Sam James2021-07-272-0/+44
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-ctypes: unrestrict libffi subslotSam James2021-07-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cairo2: bump 0.6.2Alfredo Tupone2021-07-272-0/+38
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/cinaps: bump 0.15.1Alfredo Tupone2021-07-272-0/+25
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/csexp: bump 1.5.1Alfredo Tupone2021-07-262-0/+26
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-core: do not use dune-2.9Alfredo Tupone2021-07-241-0/+1
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dose3: bump 6.1Alfredo Tupone2021-07-222-0/+44
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: bump 2.9.0Alfredo Tupone2021-07-212-0/+118
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: bump 2.9.0Alfredo Tupone2021-07-212-0/+120
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: bump 2.9.0Alfredo Tupone2021-07-212-0/+48
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/findlib: bump to 1.9.1 maskedAlfredo Tupone2021-07-202-0/+76
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/graphics: bump 5.1.2Alfredo Tupone2021-07-202-0/+23
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/markup: bump 1.0.2Alfredo Tupone2021-07-192-0/+24
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/menhir: install menhirLib and menhirSdk tooAlfredo Tupone2021-07-181-0/+6
| | | | | | Closes: https://bugs.gentoo.org/802765 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/menhir: bump 20210419Alfredo Tupone2021-07-182-0/+16
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/merlin-extend: bump to 0.6Alfredo Tupone2021-07-172-0/+25
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/mtime: bump 1.2.0Alfredo Tupone2021-07-162-0/+34
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocamlnet: bump to 4.1.9Alfredo Tupone2021-07-152-0/+77
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/labltk: fix build until dev-lang/ocaml:4.12Alfredo Tupone2021-07-142-0/+13
| | | | | | Closes: https://bugs.gentoo.org/795246 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-file-format: bump to 2.1.3Alfredo Tupone2021-07-142-0/+23
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_deriving: bump to 5.2.1Alfredo Tupone2021-07-132-0/+29
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_expect: bump to 0.14.1Alfredo Tupone2021-07-132-0/+36
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_conv: take maintainershipAlfredo Tupone2021-07-121-0/+4
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_conv: bump to 0.14.3Alfredo Tupone2021-07-123-0/+29
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_typerep_conv: bump to 0.14.2Alfredo Tupone2021-07-112-0/+26
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp4: remove unused patchMichael Mair-Keimberger2021-07-101-13/+0
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/21286 Package-Manager: Portage-3.0.19, Repoman-3.0.3 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* dev-ml/ppxlib: bump to 0.22.2Alfredo Tupone2021-07-102-0/+37
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove 12.0.1.9999Michał Górny2021-07-101-124/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 12.0.1-rc4Michał Górny2021-07-092-125/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 12.0.1 (final)Michał Górny2021-07-092-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-migrate-parsetree: bump to 2.2.0Alfredo Tupone2021-07-082-0/+19
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/seq: bump to 0.2.2Alfredo Tupone2021-07-062-0/+16
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Enable py3.10Michał Górny2021-07-063-3/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 12.0.1-rc1 & -rc2Michał Górny2021-07-063-250/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 12.0.1-rc4Michał Górny2021-07-062-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/uutf: bump to 1.0.2Alfredo Tupone2021-07-052-0/+64
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-installer: rdepends on dose3Alfredo Tupone2021-06-291-1/+2
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/merlin: remove unneeded emacs dependenciesPierre-Nicolas Clauss2021-06-211-2/+0
| | | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Pierre-Nicolas Clauss <pinicarus@protonmail.com> Closes: https://github.com/gentoo/gentoo/pull/21332 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/gsl-ocaml: revbump for sci-libs/gsl subslot operatorSam James2021-06-211-2/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/facile: add github upstream metadataSam James2021-06-211-0/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/facile: update maintainers (add ml@)Sam James2021-06-211-1/+5
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cudf: add pkgconfig or pkgconfig-referenced libs depsSam James2021-06-181-0/+2
| | | | | | | | | | Add dependencies for either virtual/pkgconfig, move it into BDEPEND where applicable, or add dependencies for libraries we're trying to find with pkgconfig. Package-Manager: Portage-3.0.18-prefix, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 12.0.1rc2Michał Górny2021-06-172-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/topkg: fix build without ocamloptSam James2021-06-141-3/+8
| | | | | Closes: https://bugs.gentoo.org/795987 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mccs: destabilize 1.1.13Sam James2021-06-141-1/+1
| | | | | Bug: https://bugs.gentoo.org/788100 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mccs: add 1.1.13Sam James2021-06-142-0/+30
| | | | | Closes: https://bugs.gentoo.org/788100 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: try to disable ocamloptSam James2021-06-131-2/+2
| | | | | Closes: https://bugs.gentoo.org/795780 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: ocamlopt shall be passed to ocamlAlfredo Tupone2021-06-131-1/+1
| | | | | | Closes: https://bugs.gentoo.org/795780 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/graphics: add subslot operator for OCamlSam James2021-06-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: changing compiler need a rebuild, add RDEPENDAlfredo Tupone2021-06-131-0/+2
| | | | | | Closes: https://bugs.gentoo.org/795711 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>