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/llvm-ocaml: Remove 11.0.1 RCs and liveMichał Górny2021-01-064-374/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 11.0.1 (final)Michał Górny2021-01-062-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/num: drop x86-macosFabian Groffen2021-01-061-2/+2
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* dev-ml/yojson: add missing test dependencySam James2021-01-041-2/+6
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/biniou: fix SRC_URISam James2021-01-041-2/+2
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/yojson: fix SRC_URI in 1.7.0Sam James2021-01-041-1/+1
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/yojson: dependency fixesSam James2021-01-041-7/+7
| | | | | | | | | * We need +/-ocamlopt aligned on dependencies * cppo is BDEPEND because it's a preprocessor Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/yojson: bump to 1.7.0François-Xavier Carton2021-01-043-1/+41
| | | | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/18436 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/biniou: drop oldFrançois-Xavier Carton2021-01-042-33/+0
| | | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/biniou: bump to 1.2.1François-Xavier Carton2021-01-043-1/+29
| | | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp5: bump to 7.14Sam James2020-12-292-0/+60
| | | | | | | | | * Adds 4.12.0 support * Should support 4.10.2 now too * Adds tests Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: restore 4.05_p1Sam James2020-12-282-0/+42
| | | | | | | | | | | | | See the bug for details, but to summarise, we need to keep older OCamls around for various reasons (including the now-infamous Unison!), and having camlp4 around to correspond to those OCaml versions is critical. Closes: https://bugs.gentoo.org/757735 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* */*: Update copyright line for files touched in 2019 and 2020.Ulrich Müller2020-12-231-1/+1
| | | | Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* dev-ml/findlib: lower the minimum OCaml versionSam James2020-12-201-5/+2
| | | | | | | | | | | | Some users still need an older version of OCaml for e.g. Unison where there are compatibility issues we need to handle. Thanks-to: Stefan Huber <shuber@sthu.org> Bug: https://bugs.gentoo.org/755257 Closes: https://bugs.gentoo.org/760911 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 11.0.1-rc2Michał Górny2020-12-192-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/cairo-ocaml: drop oldAaron Bauman2020-12-171-81/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/extlib: drop oldAaron Bauman2020-12-173-103/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/findlib: drop oldAaron Bauman2020-12-171-73/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/findlib: Stabilize 1.8.1-r1 amd64, #757447Sam James2020-12-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.7.1 amd64, #757444Sam James2020-12-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cppo: Stabilize 1.6.6 amd64, #757444Sam James2020-12-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/extlib: Stabilize 1.7.7 amd64, #757444Sam James2020-12-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cairo-ocaml: Stabilize 1.2.0-r1 amd64, #757438Sam James2020-12-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/findlib: Stabilize 1.8.1-r1 ppc, #757447Sam James2020-12-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/extlib: stable 1.7.7 for ppcSergei Trofimovich2020-12-131-1/+1
| | | | | | | | stable wrt bug #757444 (STABLEREQ) Tested-by: ernsteiswuerfel Package-Manager: Portage-3.0.12, Repoman-3.0.2 RepoMan-Options: --include-arches="ppc" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/cppo: stable 1.6.6 for ppcSergei Trofimovich2020-12-131-1/+1
| | | | | | | | stable wrt bug #757444 (STABLEREQ) Tested-by: ernsteiswuerfel Package-Manager: Portage-3.0.12, Repoman-3.0.2 RepoMan-Options: --include-arches="ppc" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/dune: stable 2.7.1 for ppcSergei Trofimovich2020-12-131-1/+1
| | | | | | | | stable wrt bug #757444 (STABLEREQ) Tested-by: ernsteiswuerfel Package-Manager: Portage-3.0.12, Repoman-3.0.2 RepoMan-Options: --include-arches="ppc" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/dune: x86 stable (bug #757444)Thomas Deutschmann2020-12-031-1/+1
| | | | | Package-Manager: Portage-3.0.10, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/cppo: x86 stable (bug #757444)Thomas Deutschmann2020-12-031-1/+1
| | | | | Package-Manager: Portage-3.0.10, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/extlib: x86 stable (bug #757444)Thomas Deutschmann2020-12-031-1/+1
| | | | | Package-Manager: Portage-3.0.10, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/cairo-ocaml: x86 stable (bug #757438)Thomas Deutschmann2020-12-031-1/+1
| | | | | Package-Manager: Portage-3.0.10, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/findlib: x86 stable (bug #757447)Thomas Deutschmann2020-12-031-1/+1
| | | | | Package-Manager: Portage-3.0.10, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/findlib: Stabilize 1.8.1-r1 arm, #757447Sam James2020-12-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/lwt: drop UnusedLocalUseAaron Bauman2020-12-021-5/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/qcheck: drop oldAaron Bauman2020-12-022-24/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/ppx_tools: drop oldAaron Bauman2020-12-024-94/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/ocamlmod: drop oldAaron Bauman2020-12-022-24/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/ocaml-sqlite3: drop oldAaron Bauman2020-12-024-95/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/ocaml-hashcons: drop oldAaron Bauman2020-12-022-38/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/ocaml-fileutils: drop oldAaron Bauman2020-12-023-56/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/ocaml-expat: drop oldAaron Bauman2020-12-023-95/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/ocaml-dispatch: drop oldAaron Bauman2020-12-022-35/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/ocaml-ctypes: drop oldAaron Bauman2020-12-024-113/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/oasis: drop oldAaron Bauman2020-12-022-39/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/lwt_ssl: drop oldAaron Bauman2020-12-022-28/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/lwt: drop oldAaron Bauman2020-12-023-100/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/iTeML: drop oldAaron Bauman2020-12-023-62/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/extlib: drop oldAaron Bauman2020-12-022-48/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/easy-format: drop oldAaron Bauman2020-12-022-34/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/findlib: Stabilize 1.8.1-r1 arm64, #757447Sam James2020-12-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>