@name ocaml-hacl-star-0.7.2_2
@portname ocaml-hacl-star
@portepoch 0
@portversion 0.7.2
@portrevision 2
@archs arm64
@pkgdep ocaml-hacl-star-raw-0.7.2_2
@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 25.5.0
@macos_version 26.5.1
@xcodecltversion 26.5.0.0.1777544298
@ports_commit e9b338fd84288bbc2e305b926b7226f26ab5d4eb
@source_date_epoch 1781535779
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:7da3aa3cc24f4978943ae74e720cdee8
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cma
@comment MD5:02bbdac5d2b54ca5f0b19bb1fe48fb04
@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:a77beb0d6071dc19f48c6c9d68fcd64a
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star.cmxs
@comment MD5:bc4fbc7ecbe8cdf8bf013890a98a1198
@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:969445d74e5612263b55681544d8b65c
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmt
@comment MD5:40b58c321331ad5f9b86cafad942b2ca
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__AutoConfig2.cmx
@comment MD5:48f1db297a36b11430c6737d05b70c1b
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmi
@comment MD5:c142490ea79006d04b74b54f4652ae7c
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmt
@comment MD5:ba927f347e69e6f4b9368616008ec5f2
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmti
@comment MD5:8bd539b2bf5d48afefc4f0682c23ee6b
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__EverCrypt.cmx
@comment MD5:a0af6f9d2861dd0aadd3140cf13d2ee1
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmi
@comment MD5:95be904e4729831237dd95f0ac8783da
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmt
@comment MD5:5c5b702e9b28f4f50d16c658d163acf0
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmti
@comment MD5:19e2f3ad9d73bf5076419d623a6298a9
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__Hacl.cmx
@comment MD5:11b8c46873f83cde77c142d7732b4812
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmi
@comment MD5:45e61ebac5b552212e8bd2850cdabf58
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmt
@comment MD5:798be224e8688151548b3c2710444396
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedDefs.cmx
@comment MD5:c869c4b948b59d07e27ebc20232a762e
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmi
@comment MD5:9619d462a71745069da33050a7645020
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmt
@comment MD5:700ef8fe28924b6962374dd9f332f33e
@comment binary:0
opt/local/lib/ocaml/site-lib/hacl-star/hacl_star__SharedFunctors.cmx
@comment MD5:9ff9da4b04b67e8ae9fef823aaa5134d
@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
