@name ocaml-hacl-star-20210824-4b197eb_1
@portname ocaml-hacl-star
@portepoch 0
@portversion 20210824-4b197eb
@portrevision 1
@archs x86_64
@pkgdep fstar-2021.09.02_0
@pkgdep kremlin-2021.08.24_0
@pkgdep ocaml-hacl-star-raw-20210824-4b197eb_1
@pkgdep ocaml-zarith-1.12_0
@pkgdep ocaml-findlib-1.9.1_0
@pkgdep ocaml-4.12.0_1
opt/local/lib/ocaml/site-lib/hacl-star/AutoConfig2.ml
@comment MD5:8d9b6e44a23000cbdca96363d9205864
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/EverCrypt.ml
@comment MD5:4823b0126b617094d1de7da73a7cc92e
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/EverCrypt.mli
@comment MD5:1271c38020aa9e4e003e0ba13f81930b
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/Hacl.ml
@comment MD5:4255c96615a2cc50e12b4de026293247
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/Hacl.mli
@comment MD5:0d1017be4b32fa799da8322c8872d94e
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/META
@comment MD5:2525e65b831f0832523bc83d925ba8c4
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/SharedDefs.ml
@comment MD5:379e112cb7f67b6333236f01fe479532
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/SharedFunctors.ml
@comment MD5:9e5582c7138f9363052b915545ea89bb
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/dune-package
@comment MD5:b4fccbc4d18a66e4956a039ea1e19fa8
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.a
@comment MD5:23bc03de1c30cd7fb0a4d972805164f4
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cma
@comment MD5:922a170dfc0ebbc467943c5e250fcba0
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmi
@comment MD5:89f17edf04527cd29859a276e6c8cf12
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmt
@comment MD5:36f045018d22417858808b71e9220e7b
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmx
@comment MD5:5e5fe07cf204558ab18069b5290fe341
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmxa
@comment MD5:bb8b662b665f0c39f884663f2fbf5cb7
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmxs
@comment MD5:fc54413a2cf305cdf9ab59780ece2984
@comment binary:1
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.ml
@comment MD5:8d56696ee07778213d64f93bc6d9c85d
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmi
@comment MD5:154ecf4a8b3c837bbb4f80583f691324
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmt
@comment MD5:8dd2d5afa423c1002a08581a6c5a7a4a
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmx
@comment MD5:79e596e8a26167b35adf2c70d15dd9d7
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmi
@comment MD5:448555091c1927d96c4aadfb5f28b566
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmt
@comment MD5:6ee134c2af6ad458e634613fce5453d5
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmti
@comment MD5:11bc5e0b240f27182db78ec8bec1d9d3
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmx
@comment MD5:1ef7736b2081dddbeb8c0adbcd7a426f
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmi
@comment MD5:0b9b43da1a8d6c5c31b76e0ef0eb2de2
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmt
@comment MD5:3700c9d41a016a05662d82f680f3797f
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmti
@comment MD5:9f88c2ee8db264f789738daef7f349f5
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmx
@comment MD5:1e1ecf3ac57c23944d6051b81802b796
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmi
@comment MD5:dd51f93eca8de6580c46eb1bb980c4da
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmt
@comment MD5:58406a61ad74065c71df6fb1e4b1bb32
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmx
@comment MD5:e784090db37926865ff8b5d556248683
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmi
@comment MD5:7af81612fb511ca1a37339206ae52e2b
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmt
@comment MD5:26d19cbbc5772797e2e246e7d82536c8
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmx
@comment MD5:ce6711d846d425f93c7a192eff637665
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/opam
@comment MD5:cb4d0654bae50115e02d39be4ab832aa
@comment binary:0
opt/local/share/doc/hacl-star/CHANGES.md
@comment MD5:7fb01d0c14e2709c80532bee44b327e0
@comment binary:0
opt/local/share/doc/hacl-star/odoc-pages/index.mld
@comment MD5:9d27061b377aaf4280271d7dbc2335ac
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
