@name ocaml-hacl-star-0.7.2_4
@portname ocaml-hacl-star
@portepoch 0
@portversion 0.7.2
@portrevision 4
@archs arm64
@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 20.6.0
@macos_version 11.7.10
@xcodecltversion 13.0.0.0.1.1630607135
@ports_commit 85f6009dcce9e0109ce15f5b4a752eb9e1d687e5
@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:6d50a1ec1829f82b540ad95153cd7463
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.a
@comment MD5:3c2aaca0a4da30b9820a7a65f7d7a71e
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cma
@comment MD5:08631326943238674157b87c049bcc23
@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:ca59c13c5ccf42fc8eed0687ed10f82f
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmxs
@comment MD5:89d0b3eee640f499c1538cac4582aa56
@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:20d58be4aa683d53fb9f0ba73ce2f758
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmt
@comment MD5:26fec63bc75bb876cdd6575f0bb2915b
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmx
@comment MD5:a96516d9868e8eea9e089305fc1469e6
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmi
@comment MD5:4585ee734c49cda9a223801a251475f5
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmt
@comment MD5:22d2ce4c19a8959a88065f527a5d2523
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmti
@comment MD5:254ef3c30c4eb57bf7976dd040e2bee3
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmx
@comment MD5:a81cdcfbf13e81fee4952d7ebfefcec0
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmi
@comment MD5:a3aa66ba53c4803363594a7559fc1706
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmt
@comment MD5:6c8a68667f231532f2a1fc5944887f9a
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmti
@comment MD5:55b4eb426791d67be0706470936a9ade
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmx
@comment MD5:fe4c8ea4e2f3fc687630bb4ee6107bcc
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmi
@comment MD5:a95da28314e281a6d40e92f5dd70d4f0
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmt
@comment MD5:34eb8380682aef2391706a15c016ef63
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmx
@comment MD5:cab8a21a9f3d149546fe03effff5d3af
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmi
@comment MD5:21d696e0db1c669b0defdfa4073a2c42
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmt
@comment MD5:0c1c9c9673fd6be41b03ce7367f554bc
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmx
@comment MD5:14d6eb6504b5569e8c355cfce5afcefb
@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
