29d9fdbda8
This is needed as a dependency (of a dependency) for the new version of devel/ocaml-git.
39 lines
1.9 KiB
Text
39 lines
1.9 KiB
Text
@comment $NetBSD: PLIST,v 1.1 2022/06/13 08:01:03 jaapb Exp $
|
|
${OCAML_SITELIB}/mirage-clock-unix/META
|
|
${OCAML_SITELIB}/mirage-clock-unix/dune-package
|
|
${PLIST.ocaml-opt}${OCAML_SITELIB}/mirage-clock-unix/libmirage_clock_unix_stubs.a
|
|
${OCAML_SITELIB}/mirage-clock-unix/mclock.cmi
|
|
${OCAML_SITELIB}/mirage-clock-unix/mclock.cmt
|
|
${OCAML_SITELIB}/mirage-clock-unix/mclock.cmti
|
|
${PLIST.ocaml-opt}${OCAML_SITELIB}/mirage-clock-unix/mclock.cmx
|
|
${OCAML_SITELIB}/mirage-clock-unix/mclock.ml
|
|
${OCAML_SITELIB}/mirage-clock-unix/mclock.mli
|
|
${PLIST.ocaml-opt}${OCAML_SITELIB}/mirage-clock-unix/mirage_clock_unix.a
|
|
${OCAML_SITELIB}/mirage-clock-unix/mirage_clock_unix.cma
|
|
${PLIST.ocaml-opt}${OCAML_SITELIB}/mirage-clock-unix/mirage_clock_unix.cmxa
|
|
${PLIST.ocaml-opt}${OCAML_SITELIB}/mirage-clock-unix/mirage_clock_unix.cmxs
|
|
${OCAML_SITELIB}/mirage-clock-unix/opam
|
|
${OCAML_SITELIB}/mirage-clock-unix/pclock.cmi
|
|
${OCAML_SITELIB}/mirage-clock-unix/pclock.cmt
|
|
${OCAML_SITELIB}/mirage-clock-unix/pclock.cmti
|
|
${PLIST.ocaml-opt}${OCAML_SITELIB}/mirage-clock-unix/pclock.cmx
|
|
${OCAML_SITELIB}/mirage-clock-unix/pclock.ml
|
|
${OCAML_SITELIB}/mirage-clock-unix/pclock.mli
|
|
${OCAML_SITELIB}/mirage-clock/META
|
|
${OCAML_SITELIB}/mirage-clock/dune-package
|
|
${PLIST.ocaml-opt}${OCAML_SITELIB}/mirage-clock/mirage_clock.a
|
|
${OCAML_SITELIB}/mirage-clock/mirage_clock.cma
|
|
${OCAML_SITELIB}/mirage-clock/mirage_clock.cmi
|
|
${OCAML_SITELIB}/mirage-clock/mirage_clock.cmt
|
|
${PLIST.ocaml-opt}${OCAML_SITELIB}/mirage-clock/mirage_clock.cmx
|
|
${PLIST.ocaml-opt}${OCAML_SITELIB}/mirage-clock/mirage_clock.cmxa
|
|
${PLIST.ocaml-opt}${OCAML_SITELIB}/mirage-clock/mirage_clock.cmxs
|
|
${OCAML_SITELIB}/mirage-clock/mirage_clock.ml
|
|
${OCAML_SITELIB}/mirage-clock/opam
|
|
${OCAML_SITELIB}/stublibs/dllmirage_clock_unix_stubs.so
|
|
share/doc/mirage-clock-unix/CHANGES.md
|
|
share/doc/mirage-clock-unix/LICENSE.md
|
|
share/doc/mirage-clock-unix/README.md
|
|
share/doc/mirage-clock/CHANGES.md
|
|
share/doc/mirage-clock/LICENSE.md
|
|
share/doc/mirage-clock/README.md
|