Package: libmirage-crypto-ocaml-dev
Runtime: libmirage-crypto-ocaml
Version: 2.1.0-1

File: debian/libmirage-crypto-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/mirage-crypto/mirage_crypto.cma
Force custom: no
Extra C object files: -lmirage_crypto_stubs
Extra C options:

File: debian/libmirage-crypto-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/mirage-crypto-ec/mirage_crypto_ec.cma
Force custom: no
Extra C object files: -lmirage_crypto_ec_stubs
Extra C options:

File: debian/libmirage-crypto-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/mirage-crypto-pk/mirage_crypto_pk.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libmirage-crypto-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/mirage-crypto-rng/mirage_crypto_rng.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libmirage-crypto-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/mirage-crypto-rng/unix/mirage_crypto_rng_unix.cma
Force custom: no
Extra C object files: -lmirage_crypto_rng_unix_stubs
Extra C options:
