@name ocaml-hacl-star-0.7.2_4
@portname ocaml-hacl-star
@portepoch 0
@portversion 0.7.2
@portrevision 4
@archs x86_64
@pkgdep ocaml-hacl-star-raw-0.7.2_4
@pkgdep ocaml-zarith-1.14_2
@pkgdep ocaml-findlib-1.9.8_1
@pkgdep ocaml-5.5.0_0
@macports_version 2.12.5
@os.subplatform macosx
@os.version 23.6.0
@macos_version 14.8.7
@xcodecltversion 15.3.0.0.1.1708646388
@ports_commit 2e327af58e35a9de2fcf634a74eecd1b53e91ec0
@source_date_epoch 1782770808
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:961d206b365336fdbce6f68c7c67032d
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.a
@comment MD5:d9eb34249cd080f96947ff09506f3e78
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cma
@comment MD5:3e228a444d869113751573636c4e5841
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmi
@comment MD5:458584ac54679e57ca625b381ce2492d
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmt
@comment MD5:2498c5b8e3e0ee287b617168fa535f94
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmx
@comment MD5:0f19a1683f417cc5debbf56376cfa139
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmxa
@comment MD5:6f09167daba3cffc729fb6089c6773e1
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmxs
@comment MD5:338cbbe90d16a1fcad73ffcc0ec2a349
@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:e742580e0e6a48a2bac6b043b35f29c6
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmt
@comment MD5:1ed1fdbbb9e885811637a44bce22371e
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmx
@comment MD5:06427f06ba0ab0021e628202954f9fb7
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmi
@comment MD5:d539ea8c91141c13e42ab016bbc7143a
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmt
@comment MD5:df5aa279571a81b4b3f2090569479ca4
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmti
@comment MD5:24eb6907b168d010badc101bbe475f07
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmx
@comment MD5:5195a1b14da7c766971edc72d7e223d6
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmi
@comment MD5:715c9fd1520929c795041e72f43c6fcd
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmt
@comment MD5:61e472a1a6ef8107ffa498395c42822a
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmti
@comment MD5:448edcf06e4c77cde23908c5d3dbcc70
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmx
@comment MD5:e65e0659f470804c040e164200acc093
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmi
@comment MD5:3cd3319952c13bee20e90dcc9cb8be19
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmt
@comment MD5:f3098a9befdd415856df267cf1f8f9d8
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmx
@comment MD5:03f72cca4c349093f572d047de35e2d1
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmi
@comment MD5:4ebcd7893977a035b70d41b1410bd1df
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmt
@comment MD5:d906f5e6baaf27f32c38980c09f6f3d6
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmx
@comment MD5:ec703da6c0b002701f768d1d1eca9a5e
@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
