summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/bos: fix dev-ml/logs dependencySam James2021-10-251-1/+1
| | | | | Closes: https://bugs.gentoo.org/820020 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_sexp_conv: x86 stable wrt bug #817737Agostino Sarubbo2021-10-201-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppx_typerep_conv: x86 stable wrt bug #817734Agostino Sarubbo2021-10-201-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppx_sexp_conv: amd64 stable wrt bug #817737Agostino Sarubbo2021-10-201-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppx_typerep_conv: amd64 stable wrt bug #817734Agostino Sarubbo2021-10-201-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppxlib: amd64 stable wrt bug #817755Agostino Sarubbo2021-10-191-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/uutf: Stabilize 1.0.2 arm, #817746Sam James2021-10-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-migrate-parsetree: Stabilize 2.2.0 arm, #817725Sam James2021-10-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dose3: Stabilize 6.1-r1 arm, #817704Sam James2021-10-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: Stabilize 1.5.1 arm, #817692Sam James2021-10-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppxlib: x86 stable wrt bug #817755Agostino Sarubbo2021-10-181-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/dose3: Stabilize 6.1-r1 arm64, #817704Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/labltk: Stabilize 8.06.10 arm64, #804774Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: Stabilize 4.11_p1-r2 arm64, #804774Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/merlin: bump to 4.3.1Alfredo Tupone2021-10-172-0/+86
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/csexp: Stabilize 1.5.1 ppc64, #817692Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uutf: Stabilize 1.0.2 arm64, #817746Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-migrate-parsetree: Stabilize 2.2.0 arm64, #817725Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/labltk: Stabilize 8.06.10 arm, #804774Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: Stabilize 4.11_p1-r2 arm, #804774Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cinaps: Stabilize 0.15.1 ppc64, #817719Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cairo2: Stabilize 0.6.2 ppc64, #817698Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_optcomp: Stabilize 0.14.3 ppc64, #816096Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cairo2: Stabilize 0.6.2 ppc, #817698Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_optcomp: Stabilize 0.14.3 ppc, #816096Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/labltk: Stabilize 8.06.10 ppc64, #804774Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: Stabilize 4.11_p1-r2 ppc64, #804774Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/labltk: Stabilize 8.06.10 ppc, #804774Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlp4: Stabilize 4.11_p1-r2 ppc, #804774Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uutf: x86 stable wrt bug #817746Agostino Sarubbo2021-10-161-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocaml-migrate-parsetree: x86 stable wrt bug #817725Agostino Sarubbo2021-10-161-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/cinaps: x86 stable wrt bug #817719Agostino Sarubbo2021-10-161-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/dose3: x86 stable wrt bug #817704Agostino Sarubbo2021-10-161-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppx_optcomp: amd64 stable wrt bug #816096Agostino Sarubbo2021-10-161-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/uutf: amd64 stable wrt bug #817746Agostino Sarubbo2021-10-161-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocaml-migrate-parsetree: amd64 stable wrt bug #817725Agostino Sarubbo2021-10-161-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/cinaps: amd64 stable wrt bug #817719Agostino Sarubbo2021-10-161-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppx_optcomp: Stabilize 0.14.3 arm64, #816096Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_optcomp: Stabilize 0.14.3 arm, #816096Sam James2021-10-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_optcomp: Stabilize 0.14.3 x86, #816096Sam James2021-10-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/merlin: fix build with ocaml-4.12Alfredo Tupone2021-10-153-32/+4
| | | | | | Closes: https://bugs.gentoo.org/818220 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/uunf: fix buildSam James2021-10-151-3/+7
| | | | | Closes: https://bugs.gentoo.org/798270 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/uutf: fix utftrip installSam James2021-10-152-2/+2
| | | | | Closes: https://bugs.gentoo.org/799833 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/base_quickcheck: tighten ppxlib dependenciesSam James2021-10-152-1/+2
| | | | | Closes: https://bugs.gentoo.org/801985 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlbz2: drop USE=docSam James2021-10-151-5/+0
| | | | | Closes: https://bugs.gentoo.org/802048 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_tools: depend on cppoSam James2021-10-152-0/+4
| | | | | Closes: https://bugs.gentoo.org/795243 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_typerep_conv: adjust ppxlib upper boundSam James2021-10-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_sexp_conv: adjust ppxlib upper boundSam James2021-10-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-migrate-parsetree: add lower bound on duneSam James2021-10-151-0/+1
| | | | | Closes: https://bugs.gentoo.org/811315 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-migrate-parsetree: restrict stripSam James2021-10-151-1/+1
| | | | | | Closes: https://bugs.gentoo.org/803047 Bug: https://bugs.gentoo.org/811315 Signed-off-by: Sam James <sam@gentoo.org>