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/fpath: ppc stable wrt bug #817707Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/graphics: ppc stable wrt bug #817701Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/alcotest: ppc stable wrt bug #817695Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/csexp: ppc stable wrt bug #817692Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/bos: ppc stable wrt bug #817689Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/cinaps: ppc stable wrt bug #817719Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/mtime: ppc stable wrt bug #817716Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/menhir: ppc stable wrt bug #817713Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/seq: ppc stable wrt bug #817743Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/rresult: ppc stable wrt bug #817740Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppx_expect: ppc stable wrt bug #817731Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/opam-file-format: ppc stable wrt bug #817728Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocamlnet: ppc stable wrt bug #817722Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/seq: Stabilize 0.2.2 ppc64, #817743Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/rresult: Stabilize 0.6.0 ppc64, #817740Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-compiler-libs: update LICENSESam James2021-10-112-2/+2
| | | | | | Relicensed a few years ago from Apache-2. Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-compiler-libs: add 0.12.4Sam James2021-10-112-0/+16
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_expect: Stabilize 0.14.1 ppc64, #817731Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-file-format: Stabilize 2.1.3 ppc64, #817728Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mtime: Stabilize 1.2.0 ppc64, #817716Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/menhir: Stabilize 20210419-r1 ppc64, #817713Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/seq: Stabilize 0.2.2 amd64, #817743Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/rresult: Stabilize 0.6.0 amd64, #817740Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-file-format: Stabilize 2.1.3 amd64, #817728Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_expect: Stabilize 0.14.1 amd64, #817731Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlnet: Stabilize 4.1.9 amd64, #817722Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.4.0 amd64, #817695Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fpath: Stabilize 0.7.3 ppc64, #817707Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/graphics: Stabilize 5.1.2 ppc64, #817701Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mtime: Stabilize 1.2.0 amd64, #817716Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/menhir: Stabilize 20210419-r1 amd64, #817713Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.4.0 ppc64, #817695Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/bos: Stabilize 0.2.0 ppc64, #817689Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fpath: Stabilize 0.7.3 amd64, #817707Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/graphics: Stabilize 5.1.2 amd64, #817701Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cairo2: Stabilize 0.6.2 amd64, #817698Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/bos: Stabilize 0.2.0 amd64, #817689Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: Stabilize 1.5.1 amd64, #817692Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: add 2.0.9Sam James2021-10-112-0/+42
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cudf: allow llvm-libunwindSam James2021-10-111-4/+5
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-ctypes: Keyword 0.19.1 arm64, #804657Sam James2021-10-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/bigarray-compat: Keyword 1.0.0 arm64, #804657Sam James2021-10-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/merlin: fix after dune eclass changeAlfredo Tupone2021-10-071-1/+1
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp4: fix WhitespaceFoundSam James2021-10-076-23/+23
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: fix collision with newer findlibSam James2021-10-076-6/+42
| | | | | Closes: https://bugs.gentoo.org/803275 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: fix collision with newer findlibSam James2021-10-071-2/+7
| | | | | Closes: https://bugs.gentoo.org/803275 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dose3: keyword 6.0.1_p2 for ~x86Sam James2021-10-061-1/+1
| | | | | Bug: https://bugs.gentoo.org/815910 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: add 4.13Sam James2021-10-062-0/+47
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp5: add 8.00.02Sam James2021-10-062-0/+59
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlzip: add 1.11Sam James2021-10-062-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>