summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/logs: stable 0.7.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/async_unix: stable 0.14.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/alcotest: stable 1.2.3-r3 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/opam-file-format: stable 2.1.2 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/mtime: stable 1.1.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/async_kernel: stable 0.14.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/uuidm: stable 0.9.7 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/mirage-clock: stable 3.1.0 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/duration: stable 0.1.3 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/astring: stable 0.8.5 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/fmt: stable 0.8.9-r1 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/camlp4: Add QA_FLAGS_IGNORED to 4.08_p1Jakov Smolic2021-05-041-2/+7
| | | | | | Closes: https://bugs.gentoo.org/776307 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp5: fix function/phase declaration styleSam James2021-05-042-4/+4
| | | | | Package-Manager: Portage-3.0.18-prefix, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlgraph: Stabilize 2.0.0-r1 arm, #769320Sam James2021-05-041-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/graphics: Stabilize 5.1.1 arm, #769320Sam James2021-05-041-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: fix phase definition styleSam James2021-05-042-2/+2
| | | | | Package-Manager: Portage-3.0.18-prefix, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/lablgl: Drop 1.05-r1, EAPI5--Andreas Sturmlechner2021-05-012-92/+0
| | | | | | Closes: https://bugs.gentoo.org/784605 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* dev-ml/ocamlgraph: Stabilize 2.0.0-r1 arm64, #769320Sam James2021-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/graphics: Stabilize 5.1.1 arm64, #769320Sam James2021-04-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.4 x86, #783567Sam James2021-04-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.8.4 x86, #783567Sam James2021-04-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 x86, #783567Sam James2021-04-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cairo-ocaml: Remove last-rited pkgJakov Smolic2021-04-258-239/+0
| | | | | | | Closes: https://bugs.gentoo.org/557538 Closes: https://bugs.gentoo.org/769326 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/parmap: add 1.2.1Sam James2021-04-252-0/+22
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/lablgl: Stabilize 1.06-r1 amd64, #784605Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Add M68k to 13.0.0.9999Michał Górny2021-04-221-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/cinaps: Stabilize 0.15.0 arm64, #783573Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/lablgl: Stabilize 1.06-r1 x86, #784605Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/lablgl: Stabilize 1.06-r1 ppc64, #784605Sam James2021-04-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/lablgl: Stabilize 1.06-r1 ppc, #784605Sam James2021-04-211-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: port to EAPI 7Sam James2021-04-212-19/+19
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/xml-light: port to EAPI 7Sam James2021-04-217-77/+48
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uutf: port to EAPI 7Sam James2021-04-211-3/+9
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/reactiveData: drop 9999Sam James2021-04-211-34/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/reactiveData: port to EAPI 7Sam James2021-04-212-6/+4
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-hashcons: port to EAPI 7Sam James2021-04-211-4/+12
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-doc: port to EAPI 7Sam James2021-04-212-24/+20
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-augeas: port to EAPI 7Sam James2021-04-211-3/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>