@name ocaml-hacl-star-0.7.2_0
@portname ocaml-hacl-star
@portepoch 0
@portversion 0.7.2
@portrevision 0
@archs arm64
@pkgdep ocaml-hacl-star-raw-0.7.2_0
@pkgdep ocaml-zarith-1.14_0
@pkgdep ocaml-findlib-1.9.6_2
@pkgdep ocaml-4.14.1_1
@macports_version 2.12.5
@os.subplatform macosx
@os.version 22.6.0
@macos_version 13.7.8
@xcodecltversion 14.3.1.0.1.1683849156
@ports_commit 4fb1b6b654ea96999bb0ae6432d1f0e6f8f6738f
@source_date_epoch 1778238981
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:162baad52b028f21cc3fb268a92818ee
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/EverCrypt.mli
@comment MD5:acec9de973d3d454fa917ca1132f541f
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/Hacl.ml
@comment MD5:3a6aca4065c0ff7bc4314f0c27ff4847
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/Hacl.mli
@comment MD5:286f4f0d2703b95ceec0967f4fe600d9
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/META
@comment MD5:b42d4c7eaa99999ff41b1ea2bff6a2b4
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/SharedDefs.ml
@comment MD5:40d40989722a255ba8ac208184a96e45
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/SharedFunctors.ml
@comment MD5:71c0e270eb3b669d5971d41d0dc05e14
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/dune-package
@comment MD5:ccf47495819fa6ff4a6060889500b8c2
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.a
@comment MD5:1d48969df73713b16e3aabce0285346b
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cma
@comment MD5:ae4f9711f78b6182dd2fdd219fc59d1e
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmi
@comment MD5:f06ce69f1d517f04f3874ce6edf8ce95
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmt
@comment MD5:90619ecb9d84493649c1682701d5c708
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmx
@comment MD5:af5546059b8dc3238294c3659c9d4546
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmxa
@comment MD5:0d7370b582ebc7aa5ec5902dc26f16e3
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmxs
@comment MD5:c4a55177eb950d100e699c75245eb66c
@comment binary:1
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.ml
@comment MD5:771f4257968d764401f61a7f8c5764aa
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmi
@comment MD5:5cc9d39b8b746b35e9675fe659afe173
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmt
@comment MD5:be7ed4ccdc8a005a0363fea840308f6f
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmx
@comment MD5:2754e136db0d58cd11b52dd1558a7cd7
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmi
@comment MD5:fbe6a2aa6d103abb6f5c576ee0666c58
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmt
@comment MD5:8a4f89360d0fd50f6b2547c6a39d3c19
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmti
@comment MD5:dd2f5ec5cde1a173928fcef40c976906
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmx
@comment MD5:367e35b25f45d1d2e0b3cef2a52e9bd4
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmi
@comment MD5:2d06a4780e8d819d953e3a9bf51b2c77
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmt
@comment MD5:72e636ad9e7e0990c891f18db9cf5e22
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmti
@comment MD5:249ba5132cc38290dcf9e9d18f9d9f3b
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmx
@comment MD5:630529cb6bb1bf29d25750bd8380277a
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmi
@comment MD5:1b12434f87bebe18f7f680f262d61882
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmt
@comment MD5:e0ccb333e9c211ad98d038c4d877b397
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmx
@comment MD5:988a1dda0a03ff11cd4714e74eee60f4
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmi
@comment MD5:e6cc6e1d7236a2083d08fc96c18daa9d
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmt
@comment MD5:b653d15027dc90633bc5e932bf20508b
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmx
@comment MD5:59e056908aa1be258ee57d04a91ad9bb
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/opam
@comment MD5:5c506c7ba063aebdf613e6d88d08882d
@comment binary:0
opt/local/share/doc/hacl-star/CHANGES.md
@comment MD5:e1aea508f1583e5f69e142439e503c10
@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
