Commit Graph
421441 Commits
Author SHA1 Message Date
Sam James eb3e2628fa dev-ml/topkg: Stabilize 1.0.3 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:21 +00:00
Sam James 885dd26cdb dev-ml/ocplib-endian: Stabilize 1.1-r1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:20 +00:00
Sam James c88c898e4b dev-ml/mmap: Stabilize 1.1.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:20 +00:00
Sam James 809f696207 dev-ml/cppo: Stabilize 1.6.7 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:19 +00:00
Sam James c13f731792 dev-ml/ppx_jane: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:19 +00:00
Sam James 3b6d18c4c2 dev-ml/ppx_typerep_conv: Stabilize 0.14.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:18 +00:00
Sam James 2d9ef4152a dev-ml/typerep: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:18 +00:00
Sam James e48686bb14 dev-ml/ppx_string: Stabilize 0.14.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:17 +00:00
Sam James d3ab57624e dev-ml/ppx_stable: Stabilize 0.14.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:17 +00:00
Sam James 578cec0a87 dev-ml/ppx_pipebang: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:16 +00:00
Sam James cd6abca61a dev-ml/ppx_optional: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:16 +00:00
Sam James d48da33d2c dev-ml/ppx_module_timer: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:16 +00:00
Sam James 579a70a40f dev-ml/ppx_fixed_literal: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:15 +00:00
Sam James 61e8a875b1 dev-ml/ppx_fail: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:15 +00:00
Sam James 0f551adffc dev-ml/ppx_bin_prot: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:14 +00:00
Sam James a9c47cf986 dev-ml/bin_prot: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:14 +00:00
Sam James 7dbd0cc26c dev-ml/ppx_variants_conv: Stabilize 0.14.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:14 +00:00
Sam James ecba6d35be dev-ml/variantslib: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:13 +00:00
Sam James 73023d0fd1 dev-ml/ppx_custom_printf: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:13 +00:00
Sam James 656e4e2e65 dev-ml/base_quickcheck: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:13 +00:00
Sam James cffb4f5896 dev-ml/splittable_random: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:12 +00:00
Sam James faf3bd7d72 dev-ml/ppx_bench: Stabilize 0.14.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:12 +00:00
Sam James ba38123c60 dev-ml/ppx_sexp_value: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:11 +00:00
Sam James f1ed6cc2fe dev-ml/ppx_sexp_message: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:11 +00:00
Sam James a041d6a287 dev-ml/ppx_let: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:11 +00:00
Sam James 382b9730b0 dev-ml/ppx_fields_conv: Stabilize 0.14.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:10 +00:00
Sam James 80f255fd5e dev-ml/fieldslib: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:10 +00:00
Sam James ed77c21b14 dev-ml/dune-private-libs: Stabilize 2.7.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:09 +00:00
Sam James ab62053df3 dev-ml/ppx_expect: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:09 +00:00
Sam James 4155cee529 dev-ml/ppx_inline_test: Stabilize 0.14.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:08 +00:00
Sam James a3c2c52bc1 dev-ml/time_now: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:08 +00:00
Sam James dca2b57fd9 dev-ml/ppx_optcomp: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:08 +00:00
Sam James 81ef2ed974 dev-ml/ppx_base: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:07 +00:00
Sam James 7b6b521812 dev-ml/ppx_js_style: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:07 +00:00
Sam James c02665773e dev-ml/octavius: Stabilize 1.2.2 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:06 +00:00
Sam James af572b228c dev-ml/ppx_hash: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:06 +00:00
Sam James 18e2fdc49c dev-ml/ppx_enumerate: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:06 +00:00
Sam James b7c597bad4 dev-ml/jst-config: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:05 +00:00
Sam James 07789b269d dev-ml/ppx_assert: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:05 +00:00
Sam James 500881a582 dev-ml/ppx_sexp_conv: Stabilize 0.14.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:04 +00:00
Sam James abf48db729 dev-ml/ppx_compare: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:04 +00:00
Sam James ab304b043c dev-ml/ppx_cold: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:03 +00:00
Sam James e9918f9861 dev-ml/jane-street-headers: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:03 +00:00
Sam James d918626cfd dev-ml/ppx_here: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:02 +00:00
Sam James 82c55f56d5 dev-ml/cinaps: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:02 +00:00
Sam James 5645e37cb2 dev-ml/re: Stabilize 1.9.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:02 +00:00
Sam James 39f0973a51 dev-ml/seq: Stabilize 0.2 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:01 +00:00
Sam James e2f4d967ad dev-ml/ocaml-migrate-parsetree: Stabilize 2.1.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:01 +00:00
Sam James dd6cca04f9 dev-ml/ppxlib: Stabilize 0.20.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:00 +00:00
Sam James 2ce9204e29 dev-ml/stdio: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
2021-02-11 06:31:00 +00:00