summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/llvm-ocaml: Forward port target changes to 13.0.0_rc3Michał Górny10 hours1-14/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/mccs: Remove oldAndreas K. Hüttel24 hours2-31/+0
| | | | | | Bug: https://bugs.gentoo.org/788100 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Andreas K. Huettel <dilfridge@gentoo.org>
* dev-ml/llvm-ocaml: Switch 13+ to new targets APIMichał Górny28 hours3-42/+6
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocamlbuild: OutdatedBlockerAlfredo Tupone32 hours2-10/+4
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/uunf: x86 stable wrt bug #813153Agostino Sarubbo3 days1-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/uucp: x86 stable wrt bug #813153Agostino Sarubbo3 days1-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/unidecode: x86 stable wrt bug #813153Agostino Sarubbo3 days1-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_tools: x86 stable wrt bug #813153Agostino Sarubbo3 days1-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_deriving: x86 stable wrt bug #813153Agostino Sarubbo3 days1-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/markup: x86 stable wrt bug #813153Agostino Sarubbo3 days1-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/jingoo: x86 stable wrt bug #813153Agostino Sarubbo3 days1-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/calendars: x86 stable wrt bug #813153Agostino Sarubbo3 days1-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/uunf: amd64 stable wrt bug #813153Agostino Sarubbo4 days1-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/uucp: amd64 stable wrt bug #813153Agostino Sarubbo4 days1-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/unidecode: amd64 stable wrt bug #813153Agostino Sarubbo4 days1-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_tools: amd64 stable wrt bug #813153Agostino Sarubbo4 days1-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_deriving: amd64 stable wrt bug #813153Agostino Sarubbo4 days1-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/markup: amd64 stable wrt bug #813153Agostino Sarubbo4 days1-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/jingoo: amd64 stable wrt bug #813153Agostino Sarubbo4 days1-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/calendars: amd64 stable wrt bug #813153Agostino Sarubbo4 days1-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_tools: ml maintains itAlfredo Tupone7 days1-0/+4
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 13.0.0-rc3Michał Górny7 days2-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/zarith: remove oldAlfredo Tupone9 days2-59/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: VariableScopeAlfredo Tupone9 days1-1/+4
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/facile: VariableScopeAlfredo Tupone9 days1-6/+6
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller10 days174-174/+174
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* dev-ml/llvm-ocaml: Remove 13.0.0_rc1Michał Górny10 days2-125/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 12.0.0Michał Górny10 days2-125/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dose3: Stabilize 6.0.1_p2 arm, #804771Sam James2021-09-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/extlib: Stabilize 1.7.8 arm, #804771Sam James2021-09-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-base64: Stabilize 3.5.0 arm, #804771Sam James2021-09-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/bos: Stabilize 0.1.6 arm, #804771Sam James2021-09-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fpath: Stabilize 0.7.2 arm, #804771Sam James2021-09-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/rresult: Stabilize 0.5.0 arm, #804771Sam James2021-09-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dose3: Stabilize 6.0.1_p2 arm64, #804771Sam James2021-09-041-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/extlib: Stabilize 1.7.8 arm64, #804771Sam James2021-09-041-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-base64: Stabilize 3.5.0 arm64, #804771Sam James2021-09-041-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/bos: Stabilize 0.1.6 arm64, #804771Sam James2021-09-041-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fpath: Stabilize 0.7.2 arm64, #804771Sam James2021-09-041-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/rresult: Stabilize 0.5.0 arm64, #804771Sam James2021-09-041-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 13.0.0rc2Michał Górny2021-08-272-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/cstruct: Remove last-rited packageJakov Smolic2021-08-243-36/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/mccs: Stabilize 1.1.13 arm64, #807562Sam James2021-08-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mccs: Stabilize 1.1.13 ppc, #807562Sam James2021-08-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mccs: Stabilize 1.1.13 ppc64, #807562Sam James2021-08-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mccs: Stabilize 1.1.13 x86, #807562Sam James2021-08-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mccs: Stabilize 1.1.13 amd64, #807562Sam James2021-08-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/mccs: Stabilize 1.1.13 arm, #807562Sam James2021-08-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 13.0.0rc1Michał Górny2021-08-032-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ppx_sexp_conv: Stabilize 0.14.2 arm64, #804786Sam James2021-08-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>