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/llvm-ocaml: Remove obsolete CMAKE_BUILD_TYPE patchMichał Górny2017-02-023-34/+0
|
* dev-ml/async: bump to 113.33.03Alexis Ballier2017-01-302-0/+61
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/async_extra: bump to 113.33.03Alexis Ballier2017-01-302-0/+56
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/async_kernel: bump to 113.33.03Alexis Ballier2017-01-302-0/+53
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/async_rpc_kernel: bump to 113.33.03Alexis Ballier2017-01-302-0/+52
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/bignum: bump to 113.33.03Alexis Ballier2017-01-302-0/+52
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/core_profiler: bump to 113.33.03Alexis Ballier2017-01-302-0/+58
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/incremental: bump to 113.33.03Alexis Ballier2017-01-302-0/+53
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/incremental_kernel: bump to 113.33.03Alexis Ballier2017-01-302-0/+50
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/js-build-tools: bump to 113.33.06Alexis Ballier2017-01-302-0/+41
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/ppx_assert: bump to 113.33.03Alexis Ballier2017-01-302-0/+47
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/ppx_here: bump to 113.33.03Alexis Ballier2017-01-302-0/+42
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/textutils: bump to 113.33.03Alexis Ballier2017-01-302-0/+51
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/typerep_extended: Bump to 113.33.03Alexis Ballier2017-01-302-0/+51
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/ppx_driver: bump to 113.33.04Alexis Ballier2017-01-302-0/+42
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/js-build-tools: add missing dep on ocamlbuildAlexis Ballier2017-01-301-2/+2
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/ocaml-ctypes: bump to 0.11.3Alexis Ballier2017-01-302-0/+37
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* dev-ml/ocamlbuild: 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/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>