extra-files: [ [ "sha512=0860d1a9f834c28554461a7eb25ded55f206c9c1979119b950baded5e0bc2172e8df74b81fc18e12122320a8a1b589710de8b3f2bcc3464a9b2d24596f7dec98" "c29sbzUgKDAuNy41KSB1bnN0YWJsZTsgdXJnZW5jeT1tZWRpdW0KCiAgKiBJbml0aWFsIHJlbGVhc2UKCiAtLSBSb2J1ciB0ZWFtIDx0ZWFtQHJvYnVyLmNvb3A+Cg==" ] [ "sha512=383c4dde2ee85ad9357bcec3053a91326b9e091cd4cfb15c8c163af6c9d8b0759fcce21f9e7278b3444f7733886f468f59cec82322864f42b6ea7010e543bc3d" "IyEvYmluL3NoIC1lCgojIG9ubHkgZXhlY3V0ZSBhbnl0aGluZyBpZiBlaXRoZXIKIyAtIHJ1bm5pbmcgdW5kZXIgb3JiIHdpdGggcGFja2FnZSA9IHNvbG81LXRlbmRlcnMKIyAtIG5vdCBydW5uaW5nIHVuZGVyIG9wYW0gYXQgYWxsCmlmIFsgIiRPUkJfQlVJTERJTkdfUEFDS0FHRSIgIT0gInNvbG81LXRlbmRlcnMiIC1hICIkT1BBTV9QQUNLQUdFX05BTUUiICE9ICIiIF07IHRoZW4KICAgIGV4aXQgMDsKZmkKCmJhc2VkaXI9JChyZWFscGF0aCAiJChkaXJuYW1lICIkMCIpIi8uLi8uLikKdG1wZD0kYmFzZWRpci9fYnVpbGQvc3RhZ2UKcm9vdGRpcj0kdG1wZC9yb290ZGlyCmJpbmRpcj0kcm9vdGRpci91c3IvYmluCmRlYmlhbmRpcj0kcm9vdGRpci9ERUJJQU4KCnRyYXAgJ3JtIC1yZiAkdG1wZCcgMCBJTlQgRVhJVAoKbWtkaXIgLXAgIiRiaW5kaXIiICIkZGViaWFuZGlyIgoKIyBzdGFnZSBhcHAgYmluYXJpZXMKaW5zdGFsbCAkYmFzZWRpci9lbGZ0b29sL3NvbG81LWVsZnRvb2wgJGJpbmRpci9zb2xvNS1lbGZ0b29sCmluc3RhbGwgJGJhc2VkaXIvdGVuZGVycy9odnQvc29sbzUtaHZ0ICRiaW5kaXIvc29sbzUtaHZ0Cmluc3RhbGwgJGJhc2VkaXIvdGVuZGVycy9zcHQvc29sbzUtc3B0ICRiaW5kaXIvc29sbzUtc3B0CgojIGluc3RhbGwgZGViaWFuIG1ldGFkYXRhCmluc3RhbGwgLW0gMDY0NCAkYmFzZWRpci9wYWNrYWdpbmcvZGViaWFuL2NvbnRyb2wgJGRlYmlhbmRpci9jb250cm9sCmluc3RhbGwgLW0gMDY0NCAkYmFzZWRpci9wYWNrYWdpbmcvZGViaWFuL2NoYW5nZWxvZyAkZGViaWFuZGlyL2NoYW5nZWxvZwppbnN0YWxsIC1tIDA2NDQgJGJhc2VkaXIvcGFja2FnaW5nL2RlYmlhbi9jb3B5cmlnaHQgJGRlYmlhbmRpci9jb3B5cmlnaHQKCkFSQ0g9JChkcGtnLWFyY2hpdGVjdHVyZSAtcSBERUJfVEFSR0VUX0FSQ0gpCnNlZCAtaSAtZSAicy9eQXJjaGl0ZWN0dXJlOi4qL0FyY2hpdGVjdHVyZTogJHtBUkNIfS8iICRkZWJpYW5kaXIvY29udHJvbAoKZHBrZy1kZWIgLS1idWlsZCAkcm9vdGRpciAkYmFzZWRpci9zb2xvNS5kZWIKZWNobyAnYmluOiBbICJzb2xvNS5kZWIiIF0nID4gJGJhc2VkaXIvc29sbzUtdGVuZGVycy5pbnN0YWxsCmVjaG8gJ2RvYzogWyAiUkVBRE1FLm1kIiBdJyA+PiAkYmFzZWRpci9zb2xvNS10ZW5kZXJzLmluc3RhbGwK" ] [ "sha512=3c3c3b5d82fbd2651b9701f42a010c0a8a25f7b9dd0c134bc1f254a45d5d6b2589140f25af2a2ea87af2b5973a89e351d3a15e597026b850c110022f49a78f7d" "IyEvYmluL3NoIC1lCgojIG9ubHkgZXhlY3V0ZSBhbnl0aGluZyBpZiBlaXRoZXIKIyAtIHJ1bm5pbmcgdW5kZXIgb3JiIHdpdGggcGFja2FnZSA9IHNvbG81LXRlbmRlcnMKIyAtIG5vdCBydW5uaW5nIHVuZGVyIG9wYW0gYXQgYWxsCmlmIFsgIiRPUkJfQlVJTERJTkdfUEFDS0FHRSIgIT0gInNvbG81LXRlbmRlcnMiIC1hICIkT1BBTV9QQUNLQUdFX05BTUUiICE9ICIiIF07IHRoZW4KICAgIGV4aXQgMDsKZmkKCmJhc2VkaXI9JChyZWFscGF0aCAiJChkaXJuYW1lICIkMCIpIi8uLi8uLikKcGRpcj0kYmFzZWRpci9wYWNrYWdpbmcvRnJlZUJTRAp0bXBkPSRiYXNlZGlyL19idWlsZC9zdGFnZQptYW5pZmVzdD0kdG1wZC8rTUFOSUZFU1QKcm9vdGRpcj0kdG1wZC9yb290ZGlyCmJpbmRpcj0kcm9vdGRpci91c3IvbG9jYWwvYmluCgp0cmFwICdybSAtcmYgJHRtcGQnIDAgSU5UIEVYSVQKCm1rZGlyIC1wICIkYmluZGlyIgoKIyBzdGFnZSBhcHAgYmluYXJpZXMKaW5zdGFsbCAtVSAkYmFzZWRpci9lbGZ0b29sL3NvbG81LWVsZnRvb2wgJGJpbmRpci9zb2xvNS1lbGZ0b29sCmluc3RhbGwgLVUgJGJhc2VkaXIvdGVuZGVycy9odnQvc29sbzUtaHZ0ICRiaW5kaXIvc29sbzUtaHZ0CgojIGNyZWF0ZSArTUFOSUZFU1QKZmxhdHNpemU9JChmaW5kICIkcm9vdGRpciIgLXR5cGUgZiAtZXhlYyBzdGF0IC1mICV6IHt9ICsgfAogICAgICAgICAgICAgICBhd2sgJ0JFR0lOIHtzPTB9IHtzKz0kMX0gRU5EIHtwcmludCBzfScpCgpzZWQgLWUgInM6JSVGTEFUU0laRSUlOiR7ZmxhdHNpemV9OiIgLWUgIi9eW1Z2XWVyc2lvbjovcy8tLy4vZyIgIiRwZGlyL01BTklGRVNUIiA+ICIkbWFuaWZlc3QiCgp7CiAgICBwcmludGYgJ1xuZmlsZXMge1xuJwogICAgZmluZCAiJHJvb3RkaXIiIC10eXBlIGYgLWV4ZWMgc2hhMjU2IC1yIHt9ICsgfCBzb3J0IHwKICAgICAgICBhd2sgJ3twcmludCAiICAgICIgJDIgIjogXCIiICQxICJcIiwiIH0nCiAgICBmaW5kICIkcm9vdGRpciIgLXR5cGUgbCB8IHNvcnQgfAogICAgICAgIGF3ayAie3ByaW50IFwiICAgIFwiXCQxIFwiOiAtLFwifSIKICAgIHByaW50ZiAnfVxuJwp9IHwgc2VkIC1lICJzOiR7cm9vdGRpcn06OiIgPj4gIiRtYW5pZmVzdCIKCmV4cG9ydCBTT1VSQ0VfREFURV9FUE9DSD0kKGdpdCBsb2cgLTEgLS1wcmV0dHk9Zm9ybWF0OiVjdCkKcGtnIGNyZWF0ZSAtciAiJHJvb3RkaXIiIC1NICIkbWFuaWZlc3QiIC1vICRiYXNlZGlyLwptdiAkYmFzZWRpci9zb2xvNS0qLnBrZyAkYmFzZWRpci9zb2xvNS5wa2cKZWNobyAnYmluOiBbICJzb2xvNS5wa2ciIF0nID4gJGJhc2VkaXIvc29sbzUtdGVuZGVycy5pbnN0YWxsCmVjaG8gJ2RvYzogWyAiUkVBRE1FLm1kIiBdJyA+PiAkYmFzZWRpci9zb2xvNS10ZW5kZXJzLmluc3RhbGwK" ] [ "sha512=3cc9a0487fb822ee5038bcb8eb98dcc7716d278be4e1a0aa0faf5d1aba911fa4c9399bff8d5bd28252db5a2cc4361c1b088e20c7ed6a4f14a222a09bfdfbca89" "UGFja2FnZTogc29sbzUKVmVyc2lvbjogMC43LjUKU2VjdGlvbjogdW5rbm93bgpQcmlvcml0eTogb3B0aW9uYWwKTWFpbnRhaW5lcjogUm9idXIgVGVhbSA8dGVhbUByb2J1ci5jb29wPgpTdGFuZGFyZHMtVmVyc2lvbjogNC40LjEKSG9tZXBhZ2U6IGh0dHBzOi8vZ2l0aHViLmNvbS9Tb2xvNS9zb2xvNQpWY3MtQnJvd3NlcjogaHR0cHM6Ly9naXRodWIuY29tL1NvbG81L3NvbG81ClZjcy1HaXQ6IGh0dHBzOi8vZ2l0aHViLmNvbS9Tb2xvNS9zb2xvNS5naXQKQ29uZmxpY3RzOiBzb2xvNS1odnQKQXJjaGl0ZWN0dXJlOiBhbGwKRGVzY3JpcHRpb246IFNvbG81IHNhbmRib3hlZCBleGVjdXRpb24gZW52aXJvbm1lbnQgKGFsbCB0ZW5kZXJzKQogIFNvbG81IGlzIGEgc2FuZGJveGVkIGV4ZWN1dGlvbiBlbnZpcm9ubWVudCBwcmltYXJpbHkgaW50ZW5kZWQKICBmb3IsIGJ1dCBub3QgbGltaXRlZCB0bywgcnVubmluZyBhcHBsaWNhdGlvbnMgYnVpbHQgdXNpbmcgdmFyaW91cwogIHVuaWtlcm5lbHMgKGEuay5hLiAgbGlicmFyeSBvcGVyYXRpbmcgc3lzdGVtcykuCiAgVGhpcyBwYWNrYWdlIHByb3ZpZGVzIHRoZSBTb2xvNSBjb21wb25lbnRzIG5lZWRlZCB0byBydW4gTWlyYWdlT1MKICB1bmlrZXJuZWxzIG9uIGFsbCB0YXJnZXRzLCBpbmNsdWRpbmcgdGhlLiBUaGUgImh2dCIgdGFyZ2V0IGlzCiAgc3VwcG9ydGVkIG9uIDY0LWJpdCBMaW51eCwgRnJlZUJTRCBhbmQgT3BlbkJTRCBzeXN0ZW1zIHdpdGggaGFyZHdhcmUKICB2aXJ0dWFsaXphdGlvbi4K" ] [ "sha512=41189e6c9b2e9882c0326faf30c16f1929093b970b1d6042c370a90bc0cd707ae49dd52a110a22ddba7a12d488dd9bb06a630facd2866e32a173e06b93e6a7cd" "bmFtZTogICAgICAgICBzb2xvNQp2ZXJzaW9uOiAgICAgIDAuNy41Cm9yaWdpbjoJICAgICAgbG9jYWwvc29sbzUKY29tbWVudDogICAgICBTb2xvNSB0ZW5kZXJzCnd3dzoJICAgICAgaHR0cHM6Ly9naXRodWIuY29tL1NvbG81L3NvbG81Cm1haW50YWluZXI6ICAgUm9idXIgPHRlYW1Acm9idXIuY29vcD4KcHJlZml4OgkgICAgICAvdXNyL2xvY2FsCmxpY2Vuc2Vsb2dpYzogc2luZ2xlCmxpY2Vuc2VzOiAgICAgW0lTQ10KZmxhdHNpemU6ICAgICAlJUZMQVRTSVpFJSUKY2F0ZWdvcmllczogICBbbG9jYWxdCmNvbmZsaWN0OiAgICAgc29sbzUtaHZ0CgpkZXNjID0gPDxFT0QKU29sbzUgc2FuZGJveGVkIGV4ZWN1dGlvbiBlbnZpcm9ubWVudCAoYWxsIHRlbmRlcnMpCgpFT0Q7Cg==" ] [ "sha512=722fe8f14e03d015dec7bced1b3cca619e0aee2d9e067e298281052956b24aa41ed95f9c1917205a37097261d5ae3707c8053bad8aea144f0220ff50c02b9625" "Rm9ybWF0OiBodHRwczovL3d3dy5kZWJpYW4ub3JnL2RvYy9wYWNrYWdpbmctbWFudWFscy9jb3B5cmlnaHQtZm9ybWF0LzEuMC8KVXBzdHJlYW0tTmFtZTogc29sbzUKVXBzdHJlYW0tQ29udGFjdDogUm9idXIgVGVhbSA8dGVhbUByb2J1ci5jb29wPgpTb3VyY2U6IGh0dHBzOi8vZ2l0aHViLmNvbS9zb2xvNS9zb2xvNQoKRmlsZXM6ICoKQ29weXJpZ2h0OiAiRGFuIFdpbGxpYW1zIDxkandpbGxpYUB1cy5pYm0uY29tPiIgIk1hcnRpbiBMdWNpbmEgPG1hcnRpbkBsdWNpbmEubmV0PiIgIlJpY2FyZG8gS29sbGVyIDxrb2xsZXJyQHVzLmlibS5jb20+IgpMaWNlbnNlOiBJU0MK" ] ] opam-version: "2.0" roots: ["solo5-tenders.0.7.5"] installed: ["solo5-tenders.0.7.5"] package "solo5-tenders" { opam-version: "2.0" version: "0.7.5" 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 " "Martin Lucina " "Ricardo Koller " ] 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" "sha512=41189e6c9b2e9882c0326faf30c16f1929093b970b1d6042c370a90bc0cd707ae49dd52a110a22ddba7a12d488dd9bb06a630facd2866e32a173e06b93e6a7cd" ] [ "packaging/FreeBSD/create_package.sh" "sha512=3c3c3b5d82fbd2651b9701f42a010c0a8a25f7b9dd0c134bc1f254a45d5d6b2589140f25af2a2ea87af2b5973a89e351d3a15e597026b850c110022f49a78f7d" ] [ "packaging/debian/changelog" "sha512=0860d1a9f834c28554461a7eb25ded55f206c9c1979119b950baded5e0bc2172e8df74b81fc18e12122320a8a1b589710de8b3f2bcc3464a9b2d24596f7dec98" ] [ "packaging/debian/control" "sha512=3cc9a0487fb822ee5038bcb8eb98dcc7716d278be4e1a0aa0faf5d1aba911fa4c9399bff8d5bd28252db5a2cc4361c1b088e20c7ed6a4f14a222a09bfdfbca89" ] [ "packaging/debian/copyright" "sha512=722fe8f14e03d015dec7bced1b3cca619e0aee2d9e067e298281052956b24aa41ed95f9c1917205a37097261d5ae3707c8053bad8aea144f0220ff50c02b9625" ] [ "packaging/debian/create_package.sh" "sha512=383c4dde2ee85ad9357bcec3053a91326b9e091cd4cfb15c8c163af6c9d8b0759fcce21f9e7278b3444f7733886f468f59cec82322864f42b6ea7010e543bc3d" ] ] url { src: "https://github.com/Solo5/solo5/releases/download/v0.7.5/solo5-v0.7.5.tar.gz" checksum: "sha512=1e8be23e84e54f8fdb364e8d2a20933150930b43f91085b4dd378ed6445718ef38abca98bcfd0a1e68cdbda747bf829551f0b2a31cdcfe13db219e332512ff79" } }