extra-files: [
  [
    "md5=29317f477fa828e18428660ef31064fb"
    "I2luY2x1ZGUgPGdtcC5oPgojaWZuZGVmIF9fR01QX0hfXwojZXJyb3IgIk5vIEdNUCBoZWFkZXIiCiNlbmRpZgojaWYgX19HTlVfTVBfVkVSU0lPTiA8IDUKI2Vycm9yICJHTVAgPj0gNSBpcyByZXF1aXJlZCB0byBzdXBwb3J0IG1wel9wb3dtX3NlYyIKI2VuZGlmCgp2b2lkIHRlc3Qodm9pZCkgewogIG1wel90IGJhc2U7CiAgbXB6X3QgZXhwOwogIG1wel90IG1vZDsKICBtcHpfdCByb3A7CgogIG1wel9pbml0X3NldF91aShiYXNlLCAydSk7CiAgbXB6X2luaXRfc2V0X3VpKGV4cCwgNHUpOwogIG1wel9pbml0X3NldF91aShtb2QsIDN1KTsKICBtcHpfaW5pdChyb3ApOwoKICBtcHpfcG93bV9zZWMocm9wLCBiYXNlLCBleHAsIG1vZCk7CgogIG1wel9jbGVhcihiYXNlKTsKICBtcHpfY2xlYXIoZXhwKTsKICBtcHpfY2xlYXIobW9kKTsKICBtcHpfY2xlYXIocm9wKTsKfQo"
  ]
  [
    "md5=2fd2970c293c36222a6d299ec155823f"
    "I2luY2x1ZGUgPGdtcC5oPgojaWZuZGVmIF9fR01QX0hfXwojZXJyb3IgIk5vIEdNUCBoZWFkZXIiCiNlbmRpZgoKdm9pZCB0ZXN0KHZvaWQpIHsKICBtcHpfdCBuOwogIG1wel9pbml0KG4pOwogIG1wel9jbGVhcihuKTsKfQo"
  ]
]
opam-version: "2.0"
installed: [
  "base-bigarray.base"
  "base-threads.base"
  "base-unix.base"
  "conf-gmp.4"
  "conf-gmp-powm-sec.3"
  "conf-libcurl.1"
  "conf-libffi.2.0.0"
  "conf-m4.1"
  "conf-pkg-config.2"
  "ctypes-foreign.0.18.0"
  "ocaml-options-vanilla.1"
  "solo5-bindings-hvt.0.6.9"
]
package "base-bigarray" {
  opam-version: "2.0"
  version: "base"
  synopsis: ""
  description: "Bigarray library distributed with the OCaml compiler"
  maintainer: "https://github.com/ocaml/opam-repository/issues"
}
package "base-threads" {
  opam-version: "2.0"
  version: "base"
  synopsis: ""
  description: "Threads library distributed with the OCaml compiler"
  maintainer: "https://github.com/ocaml/opam-repository/issues"
}
package "base-unix" {
  opam-version: "2.0"
  version: "base"
  synopsis: ""
  description: "Unix library distributed with the OCaml compiler"
  maintainer: "https://github.com/ocaml/opam-repository/issues"
}
package "conf-gmp" {
  opam-version: "2.0"
  version: "4"
  synopsis: "Virtual package relying on a GMP lib system installation"
  description:
    "This package can only install if the GMP lib is installed on the system."
  maintainer: "nbraud"
  authors: "nbraud"
  license: "GPL-1.0-or-later"
  homepage: "http://gmplib.org/"
  bug-reports: "https://github.com/ocaml/opam-repository/issues"
  flags: conf
  build: [
    ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"]
      {os != "macos" & os != "win32"}
    [
      "sh"
      "-exc"
      "$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c"
    ] {os = "win32" & os-distribution = "cygwinports"}
    [
      "sh"
      "-exc"
      "cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c"
    ] {os = "macos"}
  ]
  depexts: [
    ["libgmp-dev"] {os-family = "debian"}
    ["libgmp-dev"] {os-family = "ubuntu"}
    ["gmp"] {os = "macos" & os-distribution = "homebrew"}
    ["gmp"] {os-distribution = "macports" & os = "macos"}
    ["gmp" "gmp-devel"] {os-distribution = "centos"}
    ["gmp" "gmp-devel"] {os-distribution = "fedora"}
    ["gmp" "gmp-devel"] {os-distribution = "ol"}
    ["gmp"] {os = "openbsd"}
    ["gmp"] {os = "freebsd"}
    ["gmp-dev"] {os-distribution = "alpine"}
    ["gmp-devel"] {os-family = "suse"}
    ["gmp"] {os = "win32" & os-distribution = "cygwinports"}
  ]
  extra-files: ["test.c" "md5=2fd2970c293c36222a6d299ec155823f"]
}
package "conf-gmp-powm-sec" {
  opam-version: "2.0"
  version: "3"
  synopsis:
    "Virtual package relying on a GMP lib with constant-time modular exponentiation"
  description: """\
This package can only install if the GMP lib is installed on the system and
corresponds to a version that has the mpz_powm_sec function."""
  maintainer: "Etienne Millon <etienne@cryptosense.com>"
  authors: "Etienne Millon <etienne@cryptosense.com>"
  license: "GPL-1.0-or-later"
  homepage: "http://gmplib.org/"
  bug-reports: "https://github.com/ocaml/opam-repository/issues"
  depends: ["conf-gmp"]
  flags: conf
  build: [
    ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos"}
    [
      "sh"
      "-exc"
      "cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c"
    ] {os = "macos"}
  ]
  extra-files: ["test.c" "md5=29317f477fa828e18428660ef31064fb"]
}
package "conf-libcurl" {
  opam-version: "2.0"
  version: "1"
  synopsis: "Virtual package relying on a libcurl system installation"
  description:
    "This package can only install if the libcurl is installed on the system."
  maintainer: "blue-prawn"
  authors: "Daniel Stenberg"
  license: "BSD-like"
  homepage: "http://curl.haxx.se/"
  bug-reports: "https://github.com/ocaml/opam-repository/issues"
  depends: [
    "conf-pkg-config" {build & os != "macos"}
  ]
  flags: conf
  build: ["pkg-config" "libcurl"] {os != "macos"}
  depexts: [
    ["libcurl4-gnutls-dev"] {os-family = "debian"}
    ["libcurl-devel"] {os-distribution = "mageia"}
    ["libcurl-devel" "openssl-devel"] {os-distribution = "centos"}
    ["curl"] {os-distribution = "nixos"}
    ["curl"] {os-distribution = "arch"}
    ["curl"] {os = "win32" & os-distribution = "cygwinports"}
    ["curl-dev"] {os-distribution = "alpine"}
    ["libcurl-devel"] {os-family = "suse"}
    ["libcurl-devel"] {os-distribution = "fedora"}
    ["libcurl-devel"] {os-distribution = "ol"}
    ["curl"] {os-distribution = "homebrew" & os = "macos"}
    ["curl"] {os-distribution = "macports" & os = "macos"}
  ]
}
package "conf-libffi" {
  opam-version: "2.0"
  version: "2.0.0"
  synopsis: "Virtual package relying on libffi system installation"
  description:
    "This package can only install if libffi is installed on the system."
  maintainer: "blue-prawn"
  authors: "Anthony Green"
  license: "MIT"
  homepage: "http://sourceware.org/libffi/"
  bug-reports: "https://github.com/ocaml/opam-repository/issues"
  depends: [
    "conf-pkg-config" {build}
  ]
  flags: conf
  build: ["pkg-config" "libffi"]
  depexts: [
    ["libffi"] {os = "macos" & os-distribution = "homebrew"}
    ["libffi"] {os = "macos" & os-distribution = "macports"}
    ["libffi-dev"] {os-distribution = "alpine"}
    ["libffi-dev"] {os-family = "debian"}
    ["libffi-devel"] {os-distribution = "centos"}
    ["libffi-devel"] {os-distribution = "fedora"}
    ["libffi-devel"] {os-distribution = "mageia"}
    ["libffi-devel"] {os-distribution = "ol"}
    ["libffi-devel"] {os-family = "suse"}
    ["libffi"] {os = "freebsd"}
    ["libffi"] {os = "win32" & os-distribution = "cygwinports"}
  ]
}
package "conf-m4" {
  opam-version: "2.0"
  version: "1"
  synopsis: "Virtual package relying on m4"
  description:
    "This package can only install if the m4 binary is installed on the system."
  maintainer: "tim@gfxmonk.net"
  authors: "GNU Project"
  license: "GPL-3.0-only"
  homepage: "http://www.gnu.org/software/m4/m4.html"
  bug-reports: "https://github.com/ocaml/opam-repository/issues"
  flags: conf
  build: ["sh" "-exc" "echo | m4"]
  depexts: [
    ["m4"] {os-family = "debian"}
    ["m4"] {os-distribution = "fedora"}
    ["m4"] {os-distribution = "rhel"}
    ["m4"] {os-distribution = "centos"}
    ["m4"] {os-distribution = "alpine"}
    ["m4"] {os-distribution = "nixos"}
    ["m4"] {os-family = "suse"}
    ["m4"] {os-distribution = "ol"}
    ["m4"] {os-distribution = "arch"}
  ]
}
package "conf-pkg-config" {
  opam-version: "2.0"
  version: "2"
  synopsis:
    "Check if pkg-config is installed and create an opam switch local pkgconfig folder"
  description: """\
This package can only install if the pkg-config package is installed
on the system."""
  maintainer: "unixjunkie@sdf.org"
  authors: "Francois Berenger"
  license: "GPL-1.0-or-later"
  homepage: "http://www.freedesktop.org/wiki/Software/pkg-config/"
  bug-reports: "https://github.com/ocaml/opam-repository/issues"
  flags: conf
  setenv: PKG_CONFIG_PATH += "%{lib}%/pkgconfig"
  build: [
    ["pkg-config" "--help"] {os != "openbsd"}
    ["/usr/local/bin/pkgconf" "--help"] {os = "openbsd"}
  ]
  install: [
    ["mkdir" "-p" "%{lib}%/pkgconfig"]
    ["ln" "-s" "/usr/local/bin/pkgconf" "%{bin}%/pkg-config"]
      {os = "openbsd"}
  ]
  post-messages:
    "conf-pkg-config: A symlink to /usr/local/bin/pkgconf has been installed in the OPAM bin directory (%{bin}%) on your PATH as 'pkg-config'. This is necessary for correct operation."
      {os = "openbsd"}
  depexts: [
    ["pkg-config"] {os-family = "debian"}
    ["pkgconf"] {os-distribution = "arch"}
    ["pkgconf-pkg-config"] {os-distribution = "fedora"}
    ["pkgconfig"] {os-distribution = "centos" & os-version <= "7"}
    ["pkgconf-pkg-config"] {os-distribution = "mageia"}
    ["pkgconfig"] {os-distribution = "rhel" & os-version <= "7"}
    ["pkgconfig"] {os-distribution = "ol" & os-version <= "7"}
    ["pkgconf"] {os-distribution = "alpine"}
    ["pkgconfig"] {os-distribution = "nixos"}
    ["devel/pkgconf"] {os = "openbsd"}
    ["pkg-config"] {os = "macos" & os-distribution = "homebrew"}
    ["pkgconfig"] {os = "macos" & os-distribution = "macports"}
    ["pkgconf"] {os = "freebsd"}
    ["pkgconf-pkg-config"] {os-distribution = "rhel" & os-version >= "8"}
    ["pkgconf-pkg-config"] {os-distribution = "centos" & os-version >= "8"}
    ["pkgconf-pkg-config"] {os-distribution = "ol" & os-version >= "8"}
    ["system:pkgconf"] {os = "win32" & os-distribution = "cygwinports"}
  ]
}
package "ctypes-foreign" {
  opam-version: "2.0"
  version: "0.18.0"
  synopsis: "Virtual package for enabling the ctypes.foreign subpackage."
  description: """\
`ctypes-foreign` is just a virtual OPAM package that determines
whether the foreign subpackage should built as part of ctypes."""
  maintainer: "yallop@gmail.com"
  authors: "yallop@gmail.com"
  tags: ["org:ocamllabs" "org:mirage"]
  homepage: "https://github.com/ocamllabs/ocaml-ctypes"
  bug-reports: "http://github.com/ocamllabs/ocaml-ctypes/issues"
  depends: [
    "ctypes" {post}
    "conf-pkg-config" {build}
    "conf-libffi" {>= "2.0.0"}
  ]
  post-messages: "This package requires libffi on your system" {failure}
  dev-repo: "git+http://github.com/ocamllabs/ocaml-ctypes.git"
}
package "ocaml-options-vanilla" {
  opam-version: "2.0"
  version: "1"
  synopsis: "Ensure that OCaml is compiled with no special options enabled"
  maintainer: "platform@lists.ocaml.org"
  depends: [
    "ocaml-base-compiler" {post} | "ocaml-system" {post} |
    "ocaml-variants" {post & >= "4.12.0~"}
  ]
  conflicts: [
    "ocaml-option-32bit"
    "ocaml-option-afl"
    "ocaml-option-bytecode-only"
    "ocaml-option-default-unsafe-string"
    "ocaml-option-flambda"
    "ocaml-option-fp"
    "ocaml-option-musl"
    "ocaml-option-no-flat-float-array"
    "ocaml-option-spacetime"
    "ocaml-option-static"
    "ocaml-option-nnp"
    "ocaml-option-nnpchecker"
  ]
  flags: compiler
}
package "solo5-bindings-hvt" {
  opam-version: "2.0"
  version: "0.6.9"
  synopsis: "Solo5 sandboxed execution environment (hvt target)"
  description: """\
Solo5 is a sandboxed execution environment primarily intended
for, but not limited to, running applications built using various
unikernels (a.k.a.  library operating systems).

This package provides the Solo5 components needed to build and
run MirageOS unikernels on the "hvt" target, including the
"solo5-hvt" tender source code, and "solo5-hvt-configure" script
used to specialize the tender at MirageOS unikernel build time.

The "hvt" target is supported on 64-bit Linux, FreeBSD and
OpenBSD systems with hardware virtualization."""
  maintainer: "martin@lucina.net"
  authors: [
    "Dan Williams <djwillia@us.ibm.com>"
    "Martin Lucina <martin@lucina.net>"
    "Ricardo Koller <kollerr@us.ibm.com>"
  ]
  license: "ISC"
  homepage: "https://github.com/solo5/solo5"
  bug-reports: "https://github.com/solo5/solo5/issues"
  depends: [
    "conf-pkg-config"
    "conf-libseccomp" {build & os = "linux"}
  ]
  conflicts: [
    "ocaml-freestanding" {< "0.6.0"}
    "solo5-bindings-spt"
    "solo5-bindings-virtio"
    "solo5-bindings-muen"
    "solo5-bindings-genode"
    "solo5-bindings-xen"
  ]
  available:
    (arch = "x86_64" | arch = "arm64") &
    (os = "linux" | os = "freebsd" | os = "openbsd")
  build: [
    ["./configure.sh"]
    [
      make
      "V=1"
      "CONFIG_SPT="
      "CONFIG_VIRTIO="
      "CONFIG_MUEN="
      "CONFIG_GENODE="
      "CONFIG_XEN="
    ]
  ]
  install: [
    make
    "V=1"
    "CONFIG_SPT="
    "CONFIG_VIRTIO="
    "CONFIG_MUEN="
    "CONFIG_GENODE="
    "CONFIG_XEN="
    "install-opam-hvt"
    "PREFIX=%{prefix}%"
  ]
  depexts: [
    ["linux-headers"] {os-distribution = "alpine"}
    ["kernel-headers"] {os-distribution = "fedora"}
    ["kernel-headers"] {os-distribution = "rhel"}
    ["linux-libc-dev"] {os-family = "debian"}
  ]
  dev-repo: "git+https://github.com/solo5/solo5.git"
  url {
    src:
      "https://github.com/Solo5/solo5/releases/download/v0.6.9/solo5-v0.6.9.tar.gz"
    checksum:
      "sha512=e294bb2d02d2d629236615493302d0463c89388987723f3921f6a32c0d44fb843de332c9a148e0c6693f2c2ceee77d973b1cb06766da452c4288c8f6fad0183c"
  }
  x-ci-accept-failures: ["centos-7"]
}