extra-files: [
  [
    "sha256=0df2e46c6f2d71f2714d42d1bcd0df89bc4a7ccb555310ee3a5311099dbf65d0"
    "IyEvYmluL3NoIC1lCgojIG9ubHkgZXhlY3V0ZSBhbnl0aGluZyBpZiBlaXRoZXIKIyAtIHJ1bm5pbmcgdW5kZXIgb3JiIHdpdGggcGFja2FnZSA9IHNvbG81LXRlbmRlcnMKIyAtIG5vdCBydW5uaW5nIHVuZGVyIG9wYW0gYXQgYWxsCmlmIFsgIiRPUkJfQlVJTERJTkdfUEFDS0FHRSIgIT0gInNvbG81LXRlbmRlcnMiIC1hICIkT1BBTV9QQUNLQUdFX05BTUUiICE9ICIiIF07IHRoZW4KICAgIGV4aXQgMDsKZmkKCmJhc2VkaXI9JChyZWFscGF0aCAiJChkaXJuYW1lICIkMCIpIi8uLi8uLikKdG1wZD0kYmFzZWRpci9fYnVpbGQvc3RhZ2UKcm9vdGRpcj0kdG1wZC9yb290ZGlyCmJpbmRpcj0kcm9vdGRpci91c3IvYmluCmRlYmlhbmRpcj0kcm9vdGRpci9ERUJJQU4KCnRyYXAgJ3JtIC1yZiAkdG1wZCcgMCBJTlQgRVhJVAoKbWtkaXIgLXAgIiRiaW5kaXIiICIkZGViaWFuZGlyIgoKIyBzdGFnZSBhcHAgYmluYXJpZXMKaW5zdGFsbCAkYmFzZWRpci9lbGZ0b29sL3NvbG81LWVsZnRvb2wgJGJpbmRpci9zb2xvNS1lbGZ0b29sCmluc3RhbGwgJGJhc2VkaXIvdGVuZGVycy9odnQvc29sbzUtaHZ0ICRiaW5kaXIvc29sbzUtaHZ0Cmluc3RhbGwgJGJhc2VkaXIvdGVuZGVycy9zcHQvc29sbzUtc3B0ICRiaW5kaXIvc29sbzUtc3B0CgojIGluc3RhbGwgZGViaWFuIG1ldGFkYXRhCmluc3RhbGwgLW0gMDY0NCAkYmFzZWRpci9wYWNrYWdpbmcvZGViaWFuL2NvbnRyb2wgJGRlYmlhbmRpci9jb250cm9sCmluc3RhbGwgLW0gMDY0NCAkYmFzZWRpci9wYWNrYWdpbmcvZGViaWFuL2NoYW5nZWxvZyAkZGViaWFuZGlyL2NoYW5nZWxvZwppbnN0YWxsIC1tIDA2NDQgJGJhc2VkaXIvcGFja2FnaW5nL2RlYmlhbi9jb3B5cmlnaHQgJGRlYmlhbmRpci9jb3B5cmlnaHQKCkFSQ0g9JChkcGtnLWFyY2hpdGVjdHVyZSAtcSBERUJfVEFSR0VUX0FSQ0gpCnNlZCAtaSAtZSAicy9eQXJjaGl0ZWN0dXJlOi4qL0FyY2hpdGVjdHVyZTogJHtBUkNIfS8iICRkZWJpYW5kaXIvY29udHJvbAoKZHBrZy1kZWIgLS1idWlsZCAkcm9vdGRpciAkYmFzZWRpci9zb2xvNS5kZWIKZWNobyAnYmluOiBbICJzb2xvNS5kZWIiIF0nID4gJGJhc2VkaXIvc29sbzUtdGVuZGVycy5pbnN0YWxsCmVjaG8gJ2RvYzogWyAiUkVBRE1FLm1kIiBdJyA+PiAkYmFzZWRpci9zb2xvNS10ZW5kZXJzLmluc3RhbGwK"
  ]
  [
    "sha256=47fd37e1c02926c1d2a7a9df10c3977f5e9474133c946fb90181892d493006e0"
    "bmFtZTogICAgICAgICBzb2xvNQp2ZXJzaW9uOiAgICAgIDAuOS4wCm9yaWdpbjoJICAgICAgbG9jYWwvc29sbzUKY29tbWVudDogICAgICBTb2xvNSB0ZW5kZXJzCnd3dzoJICAgICAgaHR0cHM6Ly9naXRodWIuY29tL1NvbG81L3NvbG81Cm1haW50YWluZXI6ICAgUm9idXIgPHRlYW1Acm9idXIuY29vcD4KcHJlZml4OgkgICAgICAvdXNyL2xvY2FsCmxpY2Vuc2Vsb2dpYzogc2luZ2xlCmxpY2Vuc2VzOiAgICAgW0lTQ10KZmxhdHNpemU6ICAgICAlJUZMQVRTSVpFJSUKY2F0ZWdvcmllczogICBbbG9jYWxdCmNvbmZsaWN0OiAgICAgc29sbzUtaHZ0CgpkZXNjID0gPDxFT0QKU29sbzUgc2FuZGJveGVkIGV4ZWN1dGlvbiBlbnZpcm9ubWVudCAoYWxsIHRlbmRlcnMpCgpFT0Q7Cg"
  ]
  [
    "sha256=562fe1c663e8edf4da8165b0b7a1c8a0a69cf9e9f84b3c79725c6e8ff514e7c2"
    "IyEvYmluL3NoIC1lCgojIG9ubHkgZXhlY3V0ZSBhbnl0aGluZyBpZiBlaXRoZXIKIyAtIHJ1bm5pbmcgdW5kZXIgb3JiIHdpdGggcGFja2FnZSA9IHNvbG81LXRlbmRlcnMKIyAtIG5vdCBydW5uaW5nIHVuZGVyIG9wYW0gYXQgYWxsCmlmIFsgIiRPUkJfQlVJTERJTkdfUEFDS0FHRSIgIT0gInNvbG81LXRlbmRlcnMiIC1hICIkT1BBTV9QQUNLQUdFX05BTUUiICE9ICIiIF07IHRoZW4KICAgIGV4aXQgMDsKZmkKCmJhc2VkaXI9JChyZWFscGF0aCAiJChkaXJuYW1lICIkMCIpIi8uLi8uLikKcGRpcj0kYmFzZWRpci9wYWNrYWdpbmcvRnJlZUJTRAp0bXBkPSRiYXNlZGlyL19idWlsZC9zdGFnZQptYW5pZmVzdD0kdG1wZC8rTUFOSUZFU1QKcm9vdGRpcj0kdG1wZC9yb290ZGlyCmJpbmRpcj0kcm9vdGRpci91c3IvbG9jYWwvYmluCgp0cmFwICdybSAtcmYgJHRtcGQnIDAgSU5UIEVYSVQKCm1rZGlyIC1wICIkYmluZGlyIgoKIyBzdGFnZSBhcHAgYmluYXJpZXMKaW5zdGFsbCAtVSAkYmFzZWRpci9lbGZ0b29sL3NvbG81LWVsZnRvb2wgJGJpbmRpci9zb2xvNS1lbGZ0b29sCmluc3RhbGwgLVUgJGJhc2VkaXIvdGVuZGVycy9odnQvc29sbzUtaHZ0ICRiaW5kaXIvc29sbzUtaHZ0CgojIGNyZWF0ZSArTUFOSUZFU1QKZmxhdHNpemU9JChmaW5kICIkcm9vdGRpciIgLXR5cGUgZiAtZXhlYyBzdGF0IC1mICV6IHt9ICsgfAogICAgICAgICAgICAgICBhd2sgJ0JFR0lOIHtzPTB9IHtzKz0kMX0gRU5EIHtwcmludCBzfScpCgpzZWQgLWUgInM6JSVGTEFUU0laRSUlOiR7ZmxhdHNpemV9OiIgLWUgIi9eW1Z2XWVyc2lvbjovcy8tLy4vZyIgIiRwZGlyL01BTklGRVNUIiA+ICIkbWFuaWZlc3QiCgp7CiAgICBwcmludGYgJ1xuZmlsZXMge1xuJwogICAgZmluZCAiJHJvb3RkaXIiIC10eXBlIGYgLWV4ZWMgc2hhMjU2IC1yIHt9ICsgfCBzb3J0IHwKICAgICAgICBhd2sgJ3twcmludCAiICAgICIgJDIgIjogXCIiICQxICJcIiwiIH0nCiAgICBmaW5kICIkcm9vdGRpciIgLXR5cGUgbCB8IHNvcnQgfAogICAgICAgIGF3ayAie3ByaW50IFwiICAgIFwiXCQxIFwiOiAtLFwifSIKICAgIHByaW50ZiAnfVxuJwp9IHwgc2VkIC1lICJzOiR7cm9vdGRpcn06OiIgPj4gIiRtYW5pZmVzdCIKCmV4cG9ydCBTT1VSQ0VfREFURV9FUE9DSD0kKGdpdCBsb2cgLTEgLS1wcmV0dHk9Zm9ybWF0OiVjdCkKcGtnIGNyZWF0ZSAtciAiJHJvb3RkaXIiIC1NICIkbWFuaWZlc3QiIC1vICRiYXNlZGlyLwptdiAkYmFzZWRpci9zb2xvNS0qLnBrZyAkYmFzZWRpci9zb2xvNS5wa2cKZWNobyAnYmluOiBbICJzb2xvNS5wa2ciIF0nID4gJGJhc2VkaXIvc29sbzUtdGVuZGVycy5pbnN0YWxsCmVjaG8gJ2RvYzogWyAiUkVBRE1FLm1kIiBdJyA+PiAkYmFzZWRpci9zb2xvNS10ZW5kZXJzLmluc3RhbGwK"
  ]
  [
    "sha256=b92f20fb1f1355fc3fff0d347158f6cb496b66b27dcf3507f399ae9e53186a19"
    "UGFja2FnZTogc29sbzUKVmVyc2lvbjogMC45LjAKU2VjdGlvbjogdW5rbm93bgpQcmlvcml0eTogb3B0aW9uYWwKTWFpbnRhaW5lcjogUm9idXIgVGVhbSA8dGVhbUByb2J1ci5jb29wPgpTdGFuZGFyZHMtVmVyc2lvbjogNC40LjEKSG9tZXBhZ2U6IGh0dHBzOi8vZ2l0aHViLmNvbS9Tb2xvNS9zb2xvNQpWY3MtQnJvd3NlcjogaHR0cHM6Ly9naXRodWIuY29tL1NvbG81L3NvbG81ClZjcy1HaXQ6IGh0dHBzOi8vZ2l0aHViLmNvbS9Tb2xvNS9zb2xvNS5naXQKQ29uZmxpY3RzOiBzb2xvNS1odnQKQXJjaGl0ZWN0dXJlOiBhbGwKRGVzY3JpcHRpb246IFNvbG81IHNhbmRib3hlZCBleGVjdXRpb24gZW52aXJvbm1lbnQgKGFsbCB0ZW5kZXJzKQogIFNvbG81IGlzIGEgc2FuZGJveGVkIGV4ZWN1dGlvbiBlbnZpcm9ubWVudCBwcmltYXJpbHkgaW50ZW5kZWQKICBmb3IsIGJ1dCBub3QgbGltaXRlZCB0bywgcnVubmluZyBhcHBsaWNhdGlvbnMgYnVpbHQgdXNpbmcgdmFyaW91cwogIHVuaWtlcm5lbHMgKGEuay5hLiAgbGlicmFyeSBvcGVyYXRpbmcgc3lzdGVtcykuCiAgVGhpcyBwYWNrYWdlIHByb3ZpZGVzIHRoZSBTb2xvNSBjb21wb25lbnRzIG5lZWRlZCB0byBydW4gTWlyYWdlT1MKICB1bmlrZXJuZWxzIG9uIGFsbCB0YXJnZXRzLCBpbmNsdWRpbmcgdGhlLiBUaGUgImh2dCIgdGFyZ2V0IGlzCiAgc3VwcG9ydGVkIG9uIDY0LWJpdCBMaW51eCwgRnJlZUJTRCBhbmQgT3BlbkJTRCBzeXN0ZW1zIHdpdGggaGFyZHdhcmUKICB2aXJ0dWFsaXphdGlvbi4K"
  ]
  [
    "sha256=de076b8c087799fc58be45396bf4778180faface9c1cc3ceaa9ddaed8a583abe"
    "Rm9ybWF0OiBodHRwczovL3d3dy5kZWJpYW4ub3JnL2RvYy9wYWNrYWdpbmctbWFudWFscy9jb3B5cmlnaHQtZm9ybWF0LzEuMC8KVXBzdHJlYW0tTmFtZTogc29sbzUKVXBzdHJlYW0tQ29udGFjdDogUm9idXIgVGVhbSA8dGVhbUByb2J1ci5jb29wPgpTb3VyY2U6IGh0dHBzOi8vZ2l0aHViLmNvbS9zb2xvNS9zb2xvNQoKRmlsZXM6ICoKQ29weXJpZ2h0OiAiRGFuIFdpbGxpYW1zIDxkandpbGxpYUB1cy5pYm0uY29tPiIgIk1hcnRpbiBMdWNpbmEgPG1hcnRpbkBsdWNpbmEubmV0PiIgIlJpY2FyZG8gS29sbGVyIDxrb2xsZXJyQHVzLmlibS5jb20+IgpMaWNlbnNlOiBJU0MK"
  ]
  [
    "sha256=f4fd0f65d13e504e17dbdee98672da77a72e0900a1fef6e955003dcfa7956f07"
    "c29sbzUgKDAuOS4wKSB1bnN0YWJsZTsgdXJnZW5jeT1tZWRpdW0KCiAgKiBJbml0aWFsIHJlbGVhc2UKCiAtLSBSb2J1ciB0ZWFtIDx0ZWFtQHJvYnVyLmNvb3A+Cg"
  ]
]
opam-version: "2.0"
roots: ["solo5-tenders.0.9.0"]
installed: ["conf-libseccomp.1" "conf-pkg-config.3" "solo5-tenders.0.9.0"]
package "conf-libseccomp" {
  opam-version: "2.0"
  version: "1"
  synopsis: "Virtual package relying on a libseccomp system installation"
  description:
    "This package can only install if libseccomp is installed on the system."
  maintainer: "Martin Lucina <martin@lucina.net>"
  authors: "Paul Moore"
  license: "LGPL-2.1-only"
  homepage: "https://github.com/seccomp/libseccomp"
  bug-reports: "https://github.com/ocaml/opam-repository/issues"
  depends: [
    "conf-pkg-config" {build}
  ]
  available: os = "linux"
  flags: conf
  build: ["pkg-config" "--print-errors" "--exists" "libseccomp"]
  depexts: [
    ["libseccomp-dev"] {os-family = "alpine"}
    ["libseccomp-dev"] {os-family = "debian"}
    ["libseccomp-dev"] {os-family = "ubuntu"}
    ["libseccomp-devel"] {os-distribution = "fedora"}
    ["libseccomp-devel"] {os-distribution = "rhel"}
    ["libseccomp-devel"] {os-distribution = "centos"}
    ["libseccomp-devel"] {os-distribution = "ol" & os-version >= "8"}
    ["libseccomp-devel"] {os-family = "suse" | os-family = "opensuse"}
    ["libseccomp"] {os-family = "arch"}
    ["libseccomp"] {os-distribution = "nixos"}
  ]
  x-ci-accept-failures: ["oraclelinux-7"]
}
package "conf-pkg-config" {
  opam-version: "2.0"
  version: "3"
  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"
  depends: [
    ("host-arch-x86_64" {os = "win32" & os-distribution = "msys2"} &
     "conf-mingw-w64-pkgconf-x86_64"
       {os = "win32" & os-distribution = "msys2"} |
     "host-arch-x86_32" {os = "win32" & os-distribution = "msys2"} &
     "conf-mingw-w64-pkgconf-i686" {os = "win32" & os-distribution = "msys2"})
  ]
  flags: conf
  build: [
    ["pkg-config" "--help"] {os != "openbsd" & os != "win32"}
    ["pkgconf" "--version"] {os = "win32" & os-distribution != "msys2"}
  ]
  depexts: [
    ["pkg-config"] {os-family = "debian" | os-family = "ubuntu"}
    ["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"}
    ["pkg-config"] {os-distribution = "nixos"}
    ["pkgconf"] {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"}
    ["pkgconf"] {os-distribution = "cygwin"}
  ]
}
package "solo5-tenders" {
  opam-version: "2.0"
  version: "0.9.0"
  synopsis: "Solo5 sandboxed execution environment"
  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 run MirageOS
unikernels on the host system."""
  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" {build & os = "linux"}
    "conf-libseccomp" {build & os = "linux"}
  ]
  conflicts: [
    "ocaml-freestanding" {< "0.7.0"}
    "solo5-bindings-hvt"
    "solo5-bindings-spt"
    "solo5-bindings-virtio"
    "solo5-bindings-muen"
    "solo5-bindings-genode"
    "solo5-bindings-xen"
    "solo5"
  ]
  available:
    (arch = "x86_64" | arch = "arm64" | arch = "ppc64") &
    (os = "linux" | os = "freebsd" | os = "openbsd")
  build: [
    ["./configure.sh" "--prefix=%{prefix}%" "--disable-toolchain"]
    [make "V=1"]
    ["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
    ["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"}
  ]
  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"
  extra-files: [
    [
      "packaging/FreeBSD/MANIFEST"
      "sha256=47fd37e1c02926c1d2a7a9df10c3977f5e9474133c946fb90181892d493006e0"
    ]
    [
      "packaging/FreeBSD/create_package.sh"
      "sha256=562fe1c663e8edf4da8165b0b7a1c8a0a69cf9e9f84b3c79725c6e8ff514e7c2"
    ]
    [
      "packaging/debian/changelog"
      "sha256=f4fd0f65d13e504e17dbdee98672da77a72e0900a1fef6e955003dcfa7956f07"
    ]
    [
      "packaging/debian/control"
      "sha256=b92f20fb1f1355fc3fff0d347158f6cb496b66b27dcf3507f399ae9e53186a19"
    ]
    [
      "packaging/debian/copyright"
      "sha256=de076b8c087799fc58be45396bf4778180faface9c1cc3ceaa9ddaed8a583abe"
    ]
    [
      "packaging/debian/create_package.sh"
      "sha256=0df2e46c6f2d71f2714d42d1bcd0df89bc4a7ccb555310ee3a5311099dbf65d0"
    ]
  ]
  url {
    src:
      "https://github.com/Solo5/solo5/releases/download/v0.9.0/solo5-v0.9.0.tar.gz"
    checksum:
      "sha512=a3693a70efb576f3fc3332a98712766d946b726dd0963cb9629701b8a7d1e6c7f5f456cf9c2916c4b5c72f829989737710f12ea86a4318cecb33d9ffda62d5fb"
  }
  x-ci-accept-failures: ["centos-7"]
}