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/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>
* dev-ml/parmap: add 1.2.3Sam James2021-06-122-0/+22
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: use ver_cut to get dep on ocamlAlfredo Tupone2021-06-104-4/+4
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: add 8.00.01Sam James2021-06-102-0/+59
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/merlin-extend: update OCaml subslot depSam James2021-06-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dose3: update OCaml < depSam James2021-06-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_tools: require < OCaml 4.12 for older ppx_toolsSam James2021-06-091-4/+3
| | | | | Bug: https://bugs.gentoo.org/795039 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_tools: add 6.3Sam James2021-06-092-0/+18
| | | | | Closes: https://bugs.gentoo.org/795039 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: add 4.12Sam James2021-06-092-0/+47
| | | | | Bug: https://bugs.gentoo.org/794898 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: drop 4.08_p1-r1Sam James2021-06-092-50/+0
| | | | | | | The corresponding dev-lang/ocaml version doesn't exist. Bug: https://bugs.gentoo.org/794898 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: stabilize 4.09_p1Sam James2021-06-091-1/+1
| | | | | Bug: https://bugs.gentoo.org/794898 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: add 4.09_p1Sam James2021-06-092-0/+45
| | | | | Bug: https://bugs.gentoo.org/794898 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: add subslot dep on OCaml major versionSam James2021-06-094-6/+6
| | | | | | | Needs to be exactly aligned with OCaml major version. Closes: https://bugs.gentoo.org/794898 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-fileutils: add 0.6.3Rafael Kitover2021-06-092-0/+32
| | | | | | | | | | No changes to ebuild. Closes: https://bugs.gentoo.org/769233 Signed-off-by: Rafael Kitover <rkitover@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/21172 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/labltk: add 8.06.10Sam James2021-06-092-0/+45
| | | | | Closes: https://bugs.gentoo.org/794964 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: restore keywords for arm/arm64/ppc/ppc64Sam James2021-06-081-1/+1
| | | | | Bug: https://bugs.gentoo.org/794844 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: restore keywords for arm/arm64/ppc/ppc64Sam James2021-06-081-1/+1
| | | | | Bug: https://bugs.gentoo.org/794844 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: restore keywords for arm/arm64/ppc/ppc64Sam James2021-06-081-1/+1
| | | | | Bug: https://bugs.gentoo.org/794844 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: restore keywords for arm/arm64/ppc/ppc64Sam James2021-06-081-1/+1
| | | | | Bug: https://bugs.gentoo.org/794844 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: restore keywords for arm/arm64/ppc/ppc64Sam James2021-06-081-1/+1
| | | | | Bug: https://bugs.gentoo.org/794844 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: restore keywords for arm/arm64/ppc/ppc64Sam James2021-06-081-1/+1
| | | | | Bug: https://bugs.gentoo.org/794844 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dose3: restore keywords for arm/arm64/ppc/ppc64Sam James2021-06-081-1/+1
| | | | | Bug: https://bugs.gentoo.org/788406 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-gettext: Revert "drop 0.3.7-r3"Sam James2021-06-073-0/+94
| | | | | | | | | This reverts commit 5f94abf337d587ca1b72bd13bc10c6c255ba81e1. It's useful to keep this older version around for now to ease upgrades for users. Closes: https://bugs.gentoo.org/788634 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: patch for dose3-6.x compatHank Leininger2021-06-062-0/+187
| | | | | | | | | | Lifted from Debian, see https://bugs.debian.org/982733 Signed-off-by: Hank Leininger <hlein@korelogic.com> Closes: https://bugs.gentoo.org/788265 Package-Manager: Portage-3.0.19, Repoman-3.0.3 Closes: https://github.com/gentoo/gentoo/pull/20686 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: patch for dose3-6.x compatHank Leininger2021-06-062-0/+180
| | | | | | | | | Lifted from Debian, see https://bugs.debian.org/982733 Signed-off-by: Hank Leininger <hlein@korelogic.com> Closes: https://bugs.gentoo.org/788265 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: patch for dose3-6.x compatHank Leininger2021-06-062-0/+183
| | | | | | | | | Lifted from Debian, see https://bugs.debian.org/982733 Signed-off-by: Hank Leininger <hlein@korelogic.com> Closes: https://bugs.gentoo.org/788265 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: patch for dose3-6.x compatHank Leininger2021-06-062-0/+182
| | | | | | | | | Lifted from Debian, see https://bugs.debian.org/982733 Signed-off-by: Hank Leininger <hlein@korelogic.com> Closes: https://bugs.gentoo.org/788265 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: patch for dose3-6.x compatHank Leininger2021-06-062-0/+184
| | | | | | | | | Lifted from Debian, see https://bugs.debian.org/982733 Signed-off-by: Hank Leininger <hlein@korelogic.com> Closes: https://bugs.gentoo.org/788265 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: patch for dose3-6.x compatHank Leininger2021-06-062-0/+184
| | | | | | | | | Lifted from Debian, see https://bugs.debian.org/982733 Signed-off-by: Hank Leininger <hlein@korelogic.com> Closes: https://bugs.gentoo.org/788265 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: patch for dose3-6.x compatHank Leininger2021-06-062-0/+181
| | | | | | | | | Lifted from Debian, see https://bugs.debian.org/982733 Signed-off-by: Hank Leininger <hlein@korelogic.com> Closes: https://bugs.gentoo.org/788265 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dose3: version bump for newer ocaml compat.Hank Leininger2021-06-062-0/+55
| | | | | | | | | | | | | | Switched to the Dune build system by copy-paste from other ebuilds. Caveats: I don't know the right way to make some components optional with Dune build systems; therefore, everything that used to be conditional on USE is now mandatory. Also, ocaml-base64 is only KEYWORDS=~amd64, so as a result that is the only arch I could keep for dose3-6 atm without repoman having a fit. Signed-off-by: Hank Leininger <hlein@korelogic.com> Closes: https://bugs.gentoo.org/769821 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mtime: Stabilize 1.1.0 x86, #783582Sam James2021-06-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_kernel: Stabilize 0.14.0 x86, #783582Sam James2021-06-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uuidm: Stabilize 0.9.7 x86, #783582Sam James2021-06-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mirage-clock: Stabilize 3.1.0 x86, #783582Sam James2021-06-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/logs: Stabilize 0.7.0 x86, #783582Sam James2021-06-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/duration: Stabilize 0.1.3 x86, #783582Sam James2021-06-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>