Versions
v0.17.0 :: 0/0.17 :: gentoo (Masked by set 7223)
- Modified
- License
- MIT
- Keywords
- ~amd64 ~arm64 ~ppc ~ppc64
- USE flags
- ocamlopt
v0.16.0-r1 :: 0/0.16 :: gentoo
- Modified
- License
- MIT
- Keywords
- amd64 arm arm64 ppc64 x86 ~ppc ~riscv
- USE flags
- ocamlopt
v0.15.1-r1 :: 0/0.15 :: gentoo
- Modified
- License
- MIT
- Keywords
- amd64 arm arm64 ppc64 x86 ~ppc ~riscv
- USE flags
- ocamlopt
v0.14.3-r1 :: 0/0.14.3 :: gentoo
- Modified
- License
- MIT
- Keywords
- amd64 arm arm64 ppc64 x86 ~ppc ~riscv
- USE flags
- ocamlopt
v0.14.2-r2 :: 0/0.14.2 :: gentoo
- Modified
- License
- MIT
- Keywords
- amd64 arm arm64 ppc64 x86 ~ppc
- USE flags
- ocamlopt
v0.14.1-r1 :: 0/0.14.1 :: gentoo
- Modified
- License
- Apache-2.0
- Keywords
- amd64 arm arm64 ppc64 x86 ~ppc
- USE flags
- ocamlopt
USE flags
General
- ocamlopt
- Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / base : Standard library for OCaml
dev-ml / cinaps : Trivial metaprogramming tool
dev-ml / dune : A composable build system for OCaml
dev-ml / findlib : OCaml tool to find/use non-standard packages
dev-ml / ocaml-compiler-libs : Repackage the OCaml compiler libs so they do not expose everything at toplevel
dev-ml / ocaml-migrate-parsetree : Convert OCaml parsetrees between different major versions
dev-ml / ppxlib : Base library and tools for ppx rewriters
dev-ml / ppxlib_jane : Utilities for working with Jane Street AST constructs
dev-ml / sexplib0 : Library for automated conversion of OCaml-values to and from S-expressions
Runtime Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / base : Standard library for OCaml
dev-ml / cinaps : Trivial metaprogramming tool
dev-ml / dune : A composable build system for OCaml
dev-ml / findlib : OCaml tool to find/use non-standard packages
dev-ml / ocaml-compiler-libs : Repackage the OCaml compiler libs so they do not expose everything at toplevel
dev-ml / ocaml-migrate-parsetree : Convert OCaml parsetrees between different major versions
dev-ml / ppxlib : Base library and tools for ppx rewriters
dev-ml / ppxlib_jane : Utilities for working with Jane Street AST constructs
dev-ml / sexplib0 : Library for automated conversion of OCaml-values to and from S-expressions
Depending packages
dev-ml / base_quickcheck : Randomized testing framework, designed for compatibility with Base
dev-ml / bin_prot : Binary protocol generator
dev-ml / core : Jane Street's alternative to the standard library
dev-ml / core_kernel : System-independent part of Core
dev-ml / jst-config : Compile-time configuration for Jane Street libraries
dev-ml / ppx_assert : Assert-like extension nodes that raise useful errors on failure
dev-ml / ppx_base : Base set of ppx rewriters
dev-ml / ppx_custom_printf : Printf-style format-strings for user-defined string conversion
dev-ml / ppx_expect : Cram like framework for OCaml
dev-ml / ppx_hash : PPX rewriter that generates hash functions from type expressions and definitions
dev-ml / ppx_log : Lazily rendering log messages
dev-ml / ppx_sexp_message : A ppx rewriter for easy construction of s-expressions
dev-ml / ppx_sexp_value : Standard library for ppx rewriters
dev-ml / splittable_random : PRNG that can be split into independent streams
sci-mathematics / coq-serapi : Serialization library and protocol for interaction with the Coq proof assistant
sci-mathematics / why3 : Platform for deductive program verification
sci-mathematics / why3-for-spark : Platform for deductive program verification
Masks
7223- Alfredo Tupone
Not ready for testing- >=dev-lang/ocaml-5
- >=dev-ml/camlp4-5
- >=dev-ml/labltk-8.06.14
- >=dev-ml/ocaml-compiler-libs-0.17
- >=dev-ml/ppx_deriving-6.0.2
- >=dev-ml/ppxlib-0.32.1
- dev-ml/async:0/0.17
- dev-ml/async_kernel:0/0.17
- dev-ml/async_log:0/0.17
- dev-ml/async_rpc_kernel:0/0.17
- dev-ml/async_unix:0/0.17
- dev-ml/base:0/0.17
- dev-ml/base_bigstring:0/0.17
- dev-ml/base_quickcheck:0/0.17
- dev-ml/bin_prot:0/0.17
- dev-ml/capitalization:0/0.17
- dev-ml/core:0/0.17
- dev-ml/core_kernel:0/0.17
- dev-ml/core_unix:0/0.17
- dev-ml/expect_test_helpers_core:0/0.17
- dev-ml/fieldslib:0/0.17
- dev-ml/gel:0/0.17
- dev-ml/int_repr:0/0.17
- dev-ml/jane-street-headers:0/0.17
- dev-ml/jst-config:0/0.17
- dev-ml/ocaml_intrinsics:0/0.17
- dev-ml/ocaml_intrinsics_kernel:0/0.17
- dev-ml/parsexp:0/0.17
- dev-ml/patience_diff:0/0.17
- dev-ml/ppx_assert:0/0.17
- dev-ml/ppx_base:0/0.17
- dev-ml/ppx_bench:0/0.17
- dev-ml/ppx_bin_prot:0/0.17
- dev-ml/ppx_cold:0/0.17
- dev-ml/ppx_compare:0/0.17
- dev-ml/ppx_custom_printf:0/0.17
- dev-ml/ppx_diff:0/0.17
- dev-ml/ppx_disable_unused_warnings:0/0.17
- dev-ml/ppx_enumerate:0/0.17
- dev-ml/ppx_expect:0/0.17
- dev-ml/ppx_fields_conv:0/0.17
- dev-ml/ppx_fixed_literal:0/0.17
- dev-ml/ppx_globalize:0/0.17
- dev-ml/ppx_hash:0/0.17
- dev-ml/ppx_here:0/0.17
- dev-ml/ppx_ignore_instrumentation:0/0.17
- dev-ml/ppx_inline_test:0/0.17
- dev-ml/ppx_jane:0/0.17
- dev-ml/ppx_js_style:0/0.17
- dev-ml/ppx_let:0/0.17
- dev-ml/ppx_log:0/0.17
- dev-ml/ppx_module_timer:0/0.17
- dev-ml/ppx_optcomp:0/0.17
- dev-ml/ppx_optional:0/0.17
- dev-ml/ppx_pipebang:0/0.17
- dev-ml/ppx_sexp_conv:0/0.17
- dev-ml/ppx_sexp_message:0/0.17
- dev-ml/ppx_sexp_value:0/0.17
- dev-ml/ppx_stable:0/0.17
- dev-ml/ppx_stable_witness:0/0.17
- dev-ml/ppx_string:0/0.17
- dev-ml/ppx_string_conv:0/0.17
- dev-ml/ppx_tydi:0/0.17
- dev-ml/ppx_typerep_conv:0/0.17
- dev-ml/ppx_variants_conv:0/0.17
- dev-ml/ppxlib_jane
- dev-ml/protocol_version_header:0/0.17
- dev-ml/sexp_pretty:0/0.17
- dev-ml/sexplib0:0/0.17
- dev-ml/sexplib:0/0.17
- dev-ml/splittable_random:0/0.17
- dev-ml/stdio:0/0.17
- dev-ml/textutils:0/0.17
- dev-ml/textutils_kernel:0/0.17
- dev-ml/time_now:0/0.17
- dev-ml/timezone:0/0.17
- dev-ml/typerep:0/0.17
- dev-ml/uopt:0/0.17
- dev-ml/variantslib:0/0.17
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.16.0-r1 ppc64, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/*: add [ocamlopt?]
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.16.0-r1 arm64, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.16.0-r1 arm, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.16.0-r1 x86, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.16.0-r1 amd64, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: add ocamlopt? deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.15.1 x86, #901525
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.15.1 ppc64, #901525
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.15.1 arm64, #901525
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.15.1 arm, #901525
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: stabilize 0.15.1 for amd64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: fix dep on ppxlib
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: bump to 1.15.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: rework RDEP
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: depends on slotted dev-ml/base
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: 0.15.0 bump
Closes: https://bugs.gentoo.org/839945 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Yongxiang Liang · gentoo
dev-ml/ppx_sexp_conv: Keyword 0.14.3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-ml/ppx_sexp_conv: ppc64 stable wrt bug #817737
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-ml/ppx_sexp_conv: ppc stable wrt bug #817737
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.3 arm64, #817737
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.3 arm, #817737
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-ml/ppx_sexp_conv: x86 stable wrt bug #817737
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Agostino Sarubbo · gentoo
dev-ml/ppx_sexp_conv: amd64 stable wrt bug #817737
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: adjust ppxlib upper bound
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.2 arm64, #804786
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.2 arm, #804786
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-ml/ppx_sexp_conv: ppc stable wrt bug #804786
Package-Manager: Portage-3.0.20, Repoman-3.0.2 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.2 amd64, #804786
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-ml/ppx_sexp_conv: x86 stable wrt bug #804786
Package-Manager: Portage-3.0.20, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.2 ppc64, #804786
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: bump to 0.14.3
Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.1 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.1 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ppx_sexp_conv: drop 0.9.0
Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.1 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.1 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Stabilize 0.14.1 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: bump to 0.14.2, upper bound on ppxlib
* No functional change with the bump as it applies the patch we already had. But we're doing the bump anyway because it looks nicer than a revbump (and avoids "new version" noise) for... * Add upper-bound on dev-ml/ppxlib as we're broken with >0.20.0. Closes: https://bugs.gentoo.org/769536 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: fix indentation
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/ppx_sexp_conv: Keyword 0.14.1 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Matt Turner · gentoo
dev-ml: Add some ~x86 keywords to resolve breakage
Fixes: 19968c73cf7 ("dev-ml/ppx_assert: Fix deps and compile fail") Signed-off-by: Matt Turner <mattst88@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Mark Wright · gentoo
dev-ml/ppx_sexp_conv: Fix deps and compile fail
Thanks to Agostino Sarubbo for reporting. Closes: https://bugs.gentoo.org/748714 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Mark Wright · gentoo
dev-ml/ppx_sexp_conv: Bump to 0.14.1
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org> - Thomas Deutschmann · gentoo
dev-ml/ppx_sexp_conv: x86 keyworded (bug #627836)
Package-Manager: Portage-2.3.24, Repoman-2.3.6 - Sergei Trofimovich · gentoo
dev-ml/ppx_sexp_conv: keyworded 0.9.0-r1 for ppc, bug #627836
Package-Manager: Portage-2.3.8, Repoman-2.3.3 RepoMan-Options: --include-arches="ppc" - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: convert to opam.eclass
Package-Manager: Portage-2.3.7, Repoman-2.3.3 - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: add missing ppx_traverse_builtins dep
Package-Manager: Portage-2.3.6, Repoman-2.3.2 - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: revbump for propagating previous fix
Package-Manager: Portage-2.3.5, Repoman-2.3.2 - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: add missing dev-lang/ocaml:= dep
Package-Manager: Portage-2.3.5, Repoman-2.3.2 - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: add missing dep on ppx_optcomp
Package-Manager: Portage-2.3.5, Repoman-2.3.2 - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: Bump to 0.9.0
Package-Manager: Portage-2.3.5, Repoman-2.3.2 - Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> - T. Malfatti · gentoo
media-libs/portaudio: Version bump - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1 - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: fix build with ocaml 4.03
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: bump to 113.33.00
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: use proper install method
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: fix dependancies
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
dev-ml/ppx_sexp_conv: initial import; ebuild by me
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>