Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/zarith: version bump to 1.10Alfredo Tupone2020-10-262-0/+59
* dev-ml/camlpdf: remove oldTim Harder2020-10-262-37/+0
* dev-ml/lablgl: remove oldTim Harder2020-10-251-92/+0
* dev-ml/lablgl: fix lablglut binary installTim Harder2020-10-252-0/+106
* dev-ml/cryptokit: x86 stable (bug #737156)Thomas Deutschmann2020-10-261-1/+1
* dev-ml/zarith: x86 stable (bug #737156)Thomas Deutschmann2020-10-261-1/+1
* dev-ml/camlzip: x86 stable (bug #750287)Thomas Deutschmann2020-10-261-1/+1
* dev-ml/camlp4: Stabilize 4.08_p1 ppc, #710152Sam James2020-10-251-1/+1
* dev-ml/ocamlweb: x86 stable (bug #750284)Thomas Deutschmann2020-10-251-1/+1
* dev-ml/ocamlnet: x86 stable (bug #750281)Thomas Deutschmann2020-10-251-1/+1
* dev-ml/integers: Keyword 0.4.0 x86, #748576Sam James2020-10-241-1/+1
* dev-ml/extlib: Keyword 1.7.7 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ocaml-ssl: Keyword 0.5.9 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/pcre-ocaml: Keyword 7.4.6-r1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/cryptokit: Keyword 1.16.1-r1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/cppo: Keyword 1.6.6 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/camomile: Keyword 1.0.2 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/dose3: Keyword 5.0.1-r1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/cairo2: Keyword 0.6.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/lablgtk: Keyword 3.1.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/jst-config: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/jane-street-headers: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/bin_prot: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/typerep: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/splittable_random: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/opam-core: Keyword 2.0.7 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_typerep_conv: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_string: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_stable: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_sexp_value: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_sexp_message: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_pipebang: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_optional: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_module_timer: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_let: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_fixed_literal: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_fail: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_bin_prot: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_bench: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/base_quickcheck: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/variantslib: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/fieldslib: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/time_now: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/opam-format: Keyword 2.0.7 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_variants_conv: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_inline_test: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_here: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_fields_conv: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_custom_printf: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppx_assert: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1