summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/labltk: Stable for HPPA (bug #581946).Jeroen Roovers2017-01-301-1/+1
| | | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1 RepoMan-Options: --ignore-arches
* dev-ml/findlib: Stable for HPPA (bug #581946).Jeroen Roovers2017-01-301-1/+1
| | | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1 RepoMan-Options: --ignore-arches
* dev-ml/camlp4: Stable for HPPA (bug #581946).Jeroen Roovers2017-01-301-1/+1
| | | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1 RepoMan-Options: --ignore-arches
* dev-ml/qcheck: bump to 0.5.3.1Alexis Ballier2017-01-282-0/+25
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/ocamlbuild: ia64 stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/labltk: ia64 stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: ia64 stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlp4: ia64 stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/facile: ia64 stable wrt bug #607032Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlimages: remove oldAlexis Ballier2017-01-263-142/+0
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/camlzip: remove oldAlexis Ballier2017-01-263-66/+0
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/ocamlgraph: remove oldAlexis Ballier2017-01-263-78/+0
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/ocaml-mysql: remove oldAlexis Ballier2017-01-264-121/+0
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/ocaml-ssl: remove oldAlexis Ballier2017-01-262-36/+0
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/ocamlweb: remove oldAlexis Ballier2017-01-262-36/+0
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/pcre-ocaml: remove oldAlexis Ballier2017-01-263-57/+0
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/res: remove oldAlexis Ballier2017-01-262-31/+0
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/res: ppc stable wrt bug #607058Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocaml-mysql: ppc stable wrt bug #607040Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocamlgraph: ppc stable wrt bug #607038Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/labltk: ppc stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocamlbuild: ppc stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlp4: ppc stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: ppc stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlzip: ppc stable wrt bug #607028Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/facile: ppc stable wrt bug #607032Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/pcre-ocaml: ppc stable wrt bug #607048Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlimages: ppc stable wrt bug #607026Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocamlweb: ppc stable wrt bug #607046Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocaml-ssl: ppc stable wrt bug #607042Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/labltk: sparc stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocamlbuild: sparc stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlp4: sparc stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: sparc stable wrt bug #581946Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/facile: sparc stable wrt bug #607032Agostino Sarubbo2017-01-261-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/facile-1.1.2-r0: stable on alphaTobias Klausmann2017-01-251-1/+1
| | | | Gentoo-Bug: 607032
* dev-ml/labltk-8.06.2-r0: stable on alphaTobias Klausmann2017-01-251-1/+1
| | | | Gentoo-Bug: 581946
* dev-ml/ocamlbuild-0.10.1-r0: stable on alphaTobias Klausmann2017-01-251-1/+1
| | | | Gentoo-Bug: 581946
* dev-ml/camlp4-4.04_p1-r0: stable on alphaTobias Klausmann2017-01-251-1/+1
| | | | Gentoo-Bug: 581946
* dev-ml/findlib-1.7.1-r0: stable on alphaTobias Klausmann2017-01-251-1/+1
| | | | Gentoo-Bug: 581946
* dev-ml/labltk: ppc64 stable wrt bug #581946Agostino Sarubbo2017-01-251-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocamlbuild: ppc64 stable wrt bug #581946Agostino Sarubbo2017-01-251-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlp4: ppc64 stable wrt bug #581946Agostino Sarubbo2017-01-251-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: ppc64 stable wrt bug #581946Agostino Sarubbo2017-01-251-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/labltk: x86 stable wrt bug #581946Agostino Sarubbo2017-01-251-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocamlbuild: x86 stable wrt bug #581946Agostino Sarubbo2017-01-251-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlp4: x86 stable wrt bug #581946Agostino Sarubbo2017-01-251-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: x86 stable wrt bug #581946Agostino Sarubbo2017-01-251-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ocaml-ctypes: amd64 stable wrt bug #607034Agostino Sarubbo2017-01-251-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/labltk: amd64 stable wrt bug #581946Agostino Sarubbo2017-01-251-2/+2
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>