Opam Package hacl-star.0.3.2

Package info

opam-namehacl-star
opam-version0.3.2
synopsisOCaml API for EverCrypt/HACL*
authors
  • Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>
homepagehttps://hacl-star.github.io/
licenseApache-2.0
changes-fileCHANGES.md
deps (5)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

hacl-star

Package files

lib/hacl-star/opam
lib/hacl-star/hacl_star__SharedFunctors.cmx
lib/hacl-star/hacl_star__SharedFunctors.cmt
lib/hacl-star/hacl_star__SharedFunctors.cmi
lib/hacl-star/hacl_star__SharedDefs.cmx
lib/hacl-star/hacl_star__SharedDefs.cmt
lib/hacl-star/hacl_star__SharedDefs.cmi
lib/hacl-star/hacl_star__Hacl.cmx
lib/hacl-star/hacl_star__Hacl.cmti
lib/hacl-star/hacl_star__Hacl.cmt
lib/hacl-star/hacl_star__Hacl.cmi
lib/hacl-star/hacl_star__EverCrypt.cmx
lib/hacl-star/hacl_star__EverCrypt.cmti
lib/hacl-star/hacl_star__EverCrypt.cmt
lib/hacl-star/hacl_star__EverCrypt.cmi
lib/hacl-star/hacl_star__AutoConfig2.cmx
lib/hacl-star/hacl_star__AutoConfig2.cmt
lib/hacl-star/hacl_star__AutoConfig2.cmi
lib/hacl-star/hacl_star.ml
lib/hacl-star/hacl_star.cmxs
lib/hacl-star/hacl_star.cmxa
lib/hacl-star/hacl_star.cmx
lib/hacl-star/hacl_star.cmt
lib/hacl-star/hacl_star.cmi
lib/hacl-star/hacl_star.cma
lib/hacl-star/hacl_star.a
lib/hacl-star/dune-package
lib/hacl-star/SharedFunctors.ml
lib/hacl-star/SharedDefs.ml
lib/hacl-star/META
lib/hacl-star/Hacl.mli
lib/hacl-star/Hacl.ml
lib/hacl-star/EverCrypt.mli
lib/hacl-star/EverCrypt.ml
lib/hacl-star/AutoConfig2.ml
lib/hacl-star
doc/hacl-star/CHANGES.md
doc/hacl-star