@name ocaml-hacl-star-0.7.2_3
@portname ocaml-hacl-star
@portepoch 0
@portversion 0.7.2
@portrevision 3
@archs x86_64
@pkgdep ocaml-hacl-star-raw-0.7.2_3
@pkgdep ocaml-zarith-1.14_1
@pkgdep ocaml-findlib-1.9.8_0
@pkgdep ocaml-5.4.1_0
@macports_version 2.12.5
@os.subplatform macosx
@os.version 20.6.0
@macos_version 11.7.11
@xcodecltversion 13.0.0.0.1.1630607135
@ports_commit 2a8e16f5433439dec76690a66dffeb036ee6a339
@source_date_epoch 1781786613
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:4f1bd7310bcd2a4b13948290b49ec719
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cma
@comment MD5:c803d461361938610a2d197cbf3b5999
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmi
@comment MD5:1f341490cd3b33261cbef252de2521b0
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmt
@comment MD5:4cc42da1f42156ef3f3841c89bebe929
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmx
@comment MD5:22ef1ecf3a4e5dc17fbd76ab69097a5f
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmxa
@comment MD5:bd198477ca9db240a22da2e6f4652faf
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmxs
@comment MD5:1cf98154d0fca08f75a4df242614dc9e
@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:8499fe422827d434efa0e0868ef3b7ff
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmt
@comment MD5:f5492ccee2ff749ebea5e03e6d89ae67
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmx
@comment MD5:e1041b0ba88b9106b3ac2df6b27909bc
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmi
@comment MD5:95e3a959a9c8859a52adb52ae167a758
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmt
@comment MD5:f7555c98a763664e3a27637b2c0e5e47
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmti
@comment MD5:0fa151ec995040c9ed27ad91a8513315
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmx
@comment MD5:91859cd3d0074445009a090f8a697bae
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmi
@comment MD5:d7b8d077b7777004576f8d993b459dd2
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmt
@comment MD5:c4926730338f1dbb6715b47b022e7b78
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmti
@comment MD5:6927651ee31d9a62393fb297a5366466
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmx
@comment MD5:20cd70805413c8772dda47996698c2f4
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmi
@comment MD5:22d257d878272ff5e5e78eea1970c3ae
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmt
@comment MD5:6b32bcb560ca1e4246d00abb7f0cafa9
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmx
@comment MD5:b92cd40bc0a4951db31a9e2ff182e797
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmi
@comment MD5:564c03c49ec52f56b7a18acefb57f677
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmt
@comment MD5:dd5bf4a8caaac8255d7bdf95d1daed5e
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmx
@comment MD5:8a77e08fa4874b8afef4b586f68aa7f1
@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
