summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/sexplib0: ebuild tidyingSam James2021-05-291-3/+0
| | | | | | 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/ppx_derivers: ebuild tidyingSam James2021-05-291-3/+0
| | | | | | 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/ocaml-compiler-libs: ebuild tidyingSam James2021-05-291-3/+0
| | | | | | 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/mmap: ebuild tidyingSam James2021-05-291-3/+0
| | | | | | 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/integers: ebuild tidyingSam James2021-05-291-4/+1
| | | | | | 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.1rc1Michał Górny2021-05-262-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: 12.0.0.9999 → 12.0.1.9999Michał Górny2021-05-261-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/labltk: ml maintains itAlfredo Tupone2021-05-251-1/+4
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove 11.0.1Michał Górny2021-05-172-125/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 11.0.0Michał Górny2021-05-172-124/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/opam-file-format: Stabilize 2.1.2 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.2.3-r3 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uuidm: Stabilize 0.9.7 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/logs: Stabilize 0.7.0 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mtime: Stabilize 1.1.0 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mirage-clock: Stabilize 3.1.0 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fmt: Stabilize 0.8.9-r1 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/duration: Stabilize 0.1.3 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_unix: Stabilize 0.14.0 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_kernel: Stabilize 0.14.0 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/astring: Stabilize 0.8.5 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-file-format: Stabilize 2.1.2 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.2.3-r3 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uuidm: Stabilize 0.9.7 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/logs: Stabilize 0.7.0 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mtime: Stabilize 1.1.0 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mirage-clock: Stabilize 3.1.0 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fmt: Stabilize 0.8.9-r1 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/duration: Stabilize 0.1.3 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_unix: Stabilize 0.14.0 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_kernel: Stabilize 0.14.0 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/astring: Stabilize 0.8.5 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: Drop 1.3.1-r2, EAPI5--Andreas Sturmlechner2021-05-153-71/+0
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* dev-ml/ocaml-base64: Keyword 3.5.0 arm, #788406Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/bos: Keyword 0.1.6 arm, #788406Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fpath: Keyword 0.7.2 arm, #788406Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/rresult: Keyword 0.5.0 arm, #788406Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-file-format: Stabilize 2.1.2 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.2.3-r3 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uuidm: Stabilize 0.9.7 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/logs: Stabilize 0.7.0 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mtime: Stabilize 1.1.0 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mirage-clock: Stabilize 3.1.0 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fmt: Stabilize 0.8.9-r1 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/duration: Stabilize 0.1.3 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_unix: Stabilize 0.14.0 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_kernel: Stabilize 0.14.0 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/astring: Stabilize 0.8.5 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-file-format: Stabilize 2.1.2 amd64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.2.3-r3 amd64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>