summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/cryptokit: Stabilize 1.11 ppc, #737156Sam James2020-10-261-1/+1
| | | | | Tested-by: ernsteiswuerfel <erhard_f@mailbox.org> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlweb: Stabilize 1.41 ppc, #750284Sam James2020-10-261-1/+1
| | | | | Tested-by: ernsteiswuerfel <erhard_f@mailbox.org> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlzip: Stabilize 1.10 ppc, #750287Sam James2020-10-261-1/+1
| | | | | Tested-by: ernsteiswuerfel <erhard_f@mailbox.org> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlnet: Stabilize 4.1.8 ppc, #750281Sam James2020-10-261-1/+1
| | | | | Tested-by: ernsteiswuerfel <erhard_f@mailbox.org> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: version bump to 1.10Alfredo Tupone2020-10-262-0/+59
| | | | | | Closes: https://bugs.gentoo.org/749699 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlpdf: remove oldTim Harder2020-10-262-37/+0
| | | | Signed-off-by: Tim Harder <radhermit@gentoo.org>
* dev-ml/lablgl: remove oldTim Harder2020-10-251-92/+0
| | | | Signed-off-by: Tim Harder <radhermit@gentoo.org>
* dev-ml/lablgl: fix lablglut binary installTim Harder2020-10-252-0/+106
| | | | Signed-off-by: Tim Harder <radhermit@gentoo.org>
* dev-ml/cryptokit: x86 stable (bug #737156)Thomas Deutschmann2020-10-261-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/zarith: x86 stable (bug #737156)Thomas Deutschmann2020-10-261-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/camlzip: x86 stable (bug #750287)Thomas Deutschmann2020-10-261-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/camlp4: Stabilize 4.08_p1 ppc, #710152Sam James2020-10-251-1/+1
| | | | | Thanks-to: ernsteiswuerfel <erhard_f@mailbox.org> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlweb: x86 stable (bug #750284)Thomas Deutschmann2020-10-251-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/ocamlnet: x86 stable (bug #750281)Thomas Deutschmann2020-10-251-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/integers: Keyword 0.4.0 x86, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/extlib: Keyword 1.7.7 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-ssl: Keyword 0.5.9 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/pcre-ocaml: Keyword 7.4.6-r1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cryptokit: Keyword 1.16.1-r1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cppo: Keyword 1.6.6 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camomile: Keyword 1.0.2 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dose3: Keyword 5.0.1-r1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cairo2: Keyword 0.6.1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/lablgtk: Keyword 3.1.1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/jst-config: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/jane-street-headers: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/bin_prot: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/typerep: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/splittable_random: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: Keyword 2.0.7 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_typerep_conv: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_string: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_stable: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_sexp_value: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_sexp_message: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_pipebang: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_optional: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_module_timer: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_let: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_fixed_literal: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_fail: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_bin_prot: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_bench: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/base_quickcheck: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/variantslib: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fieldslib: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/time_now: Keyword 0.14.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: Keyword 2.0.7 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_variants_conv: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_inline_test: Keyword 0.14.1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>