opam - ocaml-option-nnpchecker

ocaml-option-nnpcheckerversion
1 (latest)
1 (latest)

Set OCaml to be compiled with --enable-naked-pointers-checker

Published	Jan 26, 2021
Maintainer	platform@lists.ocaml.org
Available	arch = "x86_64" & (os = "linux" \| os = "macos" \| os = "openbsd" \| os = "freebsd" \| os = "sunos") \| arch = "arm64" & (os = "linux" \| os = "macos")
Dependencies	ocaml-variantspost & (>=4.12.0~ & arch = "x86_64" \| >=4.14.0~) & <5.0.0~~
Conflicts	coq>=8.13.0 coq-native ctypes>=0.8.0 & <0.20.0 FPauth-core llvm ocaml-option-32bit ocaml-option-address-sanitizer ocaml-option-leak-sanitizer ocaml-option-nnp ocaml-options-only-afl ocaml-options-only-flambda ocaml-options-only-flambda-fp ocaml-options-only-fp ocaml-options-only-nnp ocaml-options-only-no-flat-float-array ocaml-options-vanilla ocaml-variants>=4.12.0+domains & <4.12.0+options
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/ocaml-option-nnpchecker/ocaml-option-nnpchecker.1/opam

Required by

ocaml-options-only-nnpchecker

Optionally used by

ocaml-variants>=4.12.0~beta1+options & <4.12.0+domains | >=4.12.0+options & !=4.14.1+trunk & <5.0.0~alpha0+options