Reproducible OPAM builds

This website offers binary MirageOS unikernels and supplementary OS packages. If you want to use our binary packages and setup unikernels, follow these instructions. The unikernels are statically linked executables where the execution target is independent of the build platform - so even if they're compiled on a FreeBSD system they can be run on a Linux or OpenBSD host. Many are executed using a solo5 tender. The filename suffix of the unikernel binary indicate the expected execution environment:

• .hvt: hardware virtualized - requires solo5-hvt (Linux KVM, FreeBSD BHyve, OpenBSD VMM),
• .spt: sandboxed process - requires solo5-spt (Linux with seccomp),
• .xen: Xen PVH virtual machine (on a Xen or QubesOS host),
• .virtio: any virtio environment (qemu, GCE, KVM, BHyve),
• .muen: on muen.

A persistent link to the latest successful build is available as /job/*jobname*/build/latest/. Each build can be reproduced with orb. The builds are scheduled and executed daily by builder. This web interface is builder-web. Read further information on our project page. This work has been funded by the European Union under the NGI Pointer program. Contact team ATrobur.coop if you have questions or suggestions.

Search artifact by SHA256

Packages

• albatross
  Albatross - orchestrate and manage MirageOS unikernels with Solo5
  ☑ debian-10 2023-09-30 12:41:39Z albatross.deb SHA256:e7fcc08e262d5690c786541fc8aa0246a1704c954e257df01068176692fc6c2d (16.9MB)
  ☑ debian-11 2023-09-30 12:41:39Z albatross.deb SHA256:86d4950bbbf7bc409800dc8bf9a0dd80824998a6a084cd6ae9f24709ad780843 (16.7MB)
  ☑ freebsd-12 2023-10-01 14:47:20Z albatross.pkg SHA256:be5cd5418c7976d0008d0fdb0c941203c4b6724fcc60d99af6fb1773f6ec22b4 (12.5MB)
  ☑ ubuntu-18.04 2023-09-26 12:41:35Z albatross.deb SHA256:e7a76dbb81030aba65ffd69d03ae2ee6f08430e5a680348c63360d57d049d65f (15.9MB)
  ☑ ubuntu-20.04 2023-09-29 11:15:31Z albatross.deb SHA256:90e3a7920116dbd08914cd91841d66b576723bf97cf2a0981a6c2672698316a3 (17.1MB)
  
• builder
  Scheduling and executing shell jobs
  ☑ debian-10 2023-09-30 21:20:39Z builder.deb SHA256:93c799383d371e19ba82927ffb664cf6ac05376c6deeb34629c0471f6758cfda (7.79MB)
  ☑ debian-11 2023-09-30 21:20:39Z builder.deb SHA256:7b267547210242b152d5f5069289f3d17ff6abd8d84c59edbbc961d14e080832 (7.73MB)
  ☑ freebsd-12 2023-10-01 16:30:20Z builder.pkg SHA256:29b3a2d8c556b7e6abeee33416f9d6b28e3598ef6bfa47db96378e5abc746b8b (6.15MB)
  ☑ ubuntu-18.04 2023-09-26 21:42:33Z builder.deb SHA256:d7672c3c122581ded15c7903dd067b50cc967da58b3ef5a8c691375b84546d38 (7.3MB)
  ☑ ubuntu-20.04 2023-09-29 11:03:03Z builder.deb SHA256:4a1e07dfe41df1e149e7ac57eae7f1d5afadaea7fc96b2f28496f29f0b075dda (7.89MB)
  
• builder-web
  Web interface for builder
  ☑ debian-10 2023-10-01 14:40:40Z builder-web.deb SHA256:3b231a2d3cae5d2b15bf97396389039fffdd3cb35ee36e40cf05129c7f17bc1b (12.8MB)
  ☑ debian-11 2023-10-01 14:40:40Z builder-web.deb SHA256:1f027293e922fe3a17df873425f0e1c2bdd9b5cb69a0d42999a477b20d5e42a3 (12.6MB)
  ☑ freebsd-12 2023-10-01 16:41:08Z builder-web.pkg SHA256:3311555630a57542ea159e28a619d8d844cf422f2a219977132d21a40bb9236d (10.9MB)
  ☑ ubuntu-18.04 2023-09-26 14:40:35Z builder-web.deb SHA256:25010c1e21293576e1332099c36bf16ef8da6ed47d4e8af9c2f16af616ef2282 (12.4MB)
  ☑ ubuntu-20.04 2023-09-28 11:15:16Z builder-web.deb SHA256:b96823a4a3406390b33f1a3d87e0886b85add2ffd0ebc2a587d6fd3d0b38a3bf (12.9MB)
  
• jackline
  Jackline - a minimalistic secure XMPP client
  ☑ freebsd-12 2023-10-01 15:13:35Z jackline.pkg SHA256:ca9e01be7b8150b8de07ede75681b1c0978f6890ebaec87f04d4fd2408bb8fb4 (3.89MB)
  ☑ ubuntu-20.04 2023-09-29 11:22:00Z jackline.deb SHA256:94278bbd5a5183bb98688d4c1355e2a576ebaebe4eaafb53f5802b076e69eb25 (4.72MB)
  
• modulectomy
  Dissect OCaml compiled programs, and weight their content
  ☑ debian-10 2023-09-30 21:37:22Z modulectomy.deb SHA256:b7a6d1239049a9e1dc6c936f3b8948a29fc1d0c26b903961fe9baa8ef9e787e6 (1.61MB)
  ☑ debian-11 2023-09-30 21:37:18Z modulectomy.deb SHA256:bdd5db7a396ec8526c3e5983163e931037de7c6c764a157c94df36fd85db61d5 (1.6MB)
  ☑ freebsd-12 2023-10-01 17:12:30Z modulectomy.pkg SHA256:7078571cf28a8f07d30a4c9682585cd89d14b83bca343128f28bfa60d6ea3468 (1.39MB)
  ☑ ubuntu-18.04 2023-09-26 21:22:03Z modulectomy.deb SHA256:901b34c26794564632fd6c6b91ed01cccf7afff2c586e9f0ccd5647b5d981bd4 (1.56MB)
  
• opam-graph
  Graphing dependencies of opam packages
  ☑ debian-10 2023-09-30 21:32:28Z opam-graph.deb SHA256:006200a310975126b24e924ab26eab4d5623242f786a342fea1d79189914c7d5 (2.3MB)
  ☑ debian-11 2023-09-30 21:32:25Z opam-graph.deb SHA256:3e0bff05d41ac49ed7e18fda5274336fb5b9b3531f8af028ff5177c2bcdbd7ad (2.29MB)
  ☑ freebsd-12 2023-10-01 14:47:20Z opam-graph.pkg SHA256:2f6424cbc4817f8c3ca45a63f36244333d250162c193d40540053b602c91dfaf (1.94MB)
  ☑ ubuntu-18.04 2023-09-26 21:35:51Z opam-graph.deb SHA256:04be89168f22aea5f5ca5b049a4880db412b58293676cab0d9e2a77851259002 (2.25MB)
  
• orb
  Check opam package reproducibility
  ☑ debian-10 2023-09-30 21:27:26Z orb.deb SHA256:954f2d40dfbb1b8a25e1437f1019705f18dedefa730841812b503ac2e5c8de6f (4.12MB)
  ☑ debian-11 2023-09-30 21:27:26Z orb.deb SHA256:6b465025d245d3325e0dd4a439efcf5ad0b2608fd4db86df49fdb38a7d2940de (4.14MB)
  ☑ freebsd-12 2023-09-30 17:59:13Z orb.pkg SHA256:cc736f75936d483300069f9acaa4a45e5ef5cb0351b3f2355eb1ef4c7f666a9a (3.5MB)
  ☑ ubuntu-18.04 2023-09-26 21:28:54Z orb.deb SHA256:bab273645ed8ffd0aac6a3e0715b6aa8935620a4ef565656bca0ea5a6ecbb832 (3.94MB)
  ☑ ubuntu-20.04 2023-09-29 11:09:33Z orb.deb SHA256:f9395ec6fda2c8bd78aeb57a6cc07d59428d3e7119230a7e49860f3674429994 (4.18MB)
  
• solo5
  Solo5 sandboxed execution environment
  ☑ debian-10 2023-09-30 21:26:17Z solo5.deb SHA256:ffb7bb9b0c7b8e2aa2c7bf9e7f94694d0b6cf4d466d66762f863140346bf98fe (95.7kB)
  ☑ debian-11 2023-09-30 21:26:13Z solo5.deb SHA256:67d2768befd0946495225b0d8b0e27518281da3db5e109fdaf33b055895a3fc9 (99kB)
  ☑ freebsd-12 2023-10-01 17:13:32Z solo5.pkg SHA256:1261f0f2595e66f743365f8cce010f686cf8b6ec11040b7134ff6ef2851b5f4a (61.6kB)
  ☑ ubuntu-18.04 2023-09-26 21:20:35Z solo5.deb SHA256:d200da4210fde1333c0cd6218e59d451b627aca8fdfd123a4fee22347a6e56a9 (91.7kB)
  ☑ ubuntu-20.04 2023-09-29 11:29:54Z solo5.deb SHA256:7db3cfd9d3898b5ed7b2396aea847c62f11cfd9e673e56c0e88ae9e44cf89940 (104kB)
  
• solo5-hvt
  Solo5 sandboxed execution environment (hvt target)
  ☑ debian-10 2022-11-15 10:17:28Z solo5-hvt.deb SHA256:29878f0769dde834726fe01d0fb801659fbb77bcc9b6e434c6137c88508e5fa2 (75.6kB)
  ☑ debian-11 2022-11-15 10:17:22Z solo5-hvt.deb SHA256:8cf7dd1f95fb95dcc797e103005444e578275ee3cdce1af2623ca5d98da8aea2 (79kB)
  ☑ freebsd-12 2022-11-14 22:10:54Z solo5-hvt.pkg SHA256:f6e90602cba33170bbaefac3cf33a368daa2bd9daedda52d833d4af0503e4b88 (60.7kB)
  ☑ ubuntu-18.04 2022-11-15 10:17:46Z solo5-hvt.deb SHA256:49c20c0449ae3e25fe0d6fb29af76a12a45c66c1b4ea68efaa6db51cf315ed5f (71.3kB)
  ☑ ubuntu-20.04 2022-11-14 19:57:42Z solo5-hvt.deb SHA256:bbbdfaf2a3518efdb1b70ca7328a96c1884a0af0803d4056581f1e5eb67c7ad6 (80.9kB)
  

Unikernels

• caldav
  A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
  ☑ freebsd-12 2023-10-01 16:20:05Z caldav.hvt SHA256:31fa1c719f3ab5d7c89711a79acbe57f1685c2dc7dc2eae254f59173e7f6e209 (13.7MB)
  
• dns-letsencrypt
  A DNS secondary server that pushes certificates signed by let's encrypt when certificate signing requests without a valid certificate are in the zone (using TLSA records)
  ☑ freebsd-12 2023-10-01 17:46:43Z letsencrypt.hvt SHA256:fd09f27f26a841e36d05cc6bfd921087d4cfc8c3651d60f7c780eddbe6d6d380 (7.68MB)
  
• dns-primary-git
  A primary DNS server unikernel that stores zone files in a remote git repository
  ☑ freebsd-12 2023-10-01 15:47:02Z primary-git.hvt SHA256:205209cda5b33704d6b4838ce1b44a9c0eacc18bf39183bf739caf49d82c78c7 (8.63MB)
  
• dns-resolver
  A recursive DNS resolver as a unikernel
  ☑ freebsd-12 2023-03-02 22:19:44Z resolver.hvt SHA256:380a80c637760011a596f5203664032255de25f84614937619b2258f0999bc31 (6.01MB)
  
• dns-secondary
  A DNS secondary unikernel
  ☑ freebsd-12 2023-10-01 15:15:19Z secondary.hvt SHA256:9e4ea75ff034258551639543535d0f36b0b978b8d2c9272d4cc3470979232c63 (3.42MB)
  
• dns-stub
  A DNS stub resolver
  ☑ freebsd-12 2023-10-01 17:20:54Z dns-stub.hvt SHA256:f11a72e28bb273911979bb6c894524dfad84cdb0bca4745365799cbac39b3c83 (5.91MB)
  
• dnsvizor
  A DNS resolver and DHCP server
  ☑ freebsd-12 2023-10-01 16:12:59Z dnsvizor.hvt SHA256:03167efba64b677c7ff74c3c81f7b992a0976d63d294c9dd53d5bf341d54c2e0 (6.81MB)
  
• hello
  The famous hello world unikernel
  ☑ freebsd-12 2023-09-30 18:05:03Z hello-key.hvt SHA256:6dc3763247cbadffd570af0a1173d0b83844e93c207a3a8e52939e0886c799f9 (1.77MB)
  
• opam-mirror
  An unikernel implementing an opam-repository and archive mirror
  ☑ freebsd-12 2023-10-01 17:37:08Z mirror.hvt SHA256:fac051e0ced4a6c360a3dbd81464af38537a1a86acee1d1debf4b66d7d9c2664 (8.82MB)
  
• qubes-firewall
  A QubesOS firewall as unikernel
  ☑ debian-11 2021-11-08 11:45:36Z qubes_firewall.xen SHA256:d1e8ff8aaf4e3705bf94523808c24cd709273270f1a3232f70a871ec07fa1995 (4.23MB)
  ☑ freebsd-12 2022-11-12 23:12:28Z qubes-firewall.xen SHA256:d566e5fbbf040fd02390330f4794746b62ca1991341578f00e7c536b097e4c94 (4.6MB)
  ☑ ubuntu-20.04 2023-09-29 10:54:37Z qubes-firewall.xen SHA256:8e1d32819d333ed1f36d989ee45da12092a6605079a91d5d3800faa931891819 (4.4MB)
  
• qubes-firewall-flambda
  A QubesOS firewall as unikernel using the OCaml flambda middle-end
  ☑ freebsd-12 2021-11-10 22:44:28Z qubes_firewall.xen SHA256:7ba67cdf7f3977616324a4946795226db4ad4c7b79b9bbcc210383ce1bbbc3d1 (4.5MB)
  
• smtp-relay
  SMTP relay unikernel
  ☑ freebsd-12 2022-08-31 15:47:28Z relay.hvt SHA256:d79091800b8fbc533dff93467bf60ca08136425622073a90880c6eb83edc92e1 (11.5MB)
  
• smtp-signer
  DKIM Signer unikernel
  ☑ freebsd-12 2022-08-31 14:21:59Z signer.hvt SHA256:302afa98e3974f0ead04914632a757370e1b7bcac90b0d8ad10d6062e19eb27e (8.19MB)
  
• smtp-spamfilter
  A spamfilter unikernel
  ☑ freebsd-12 2022-08-31 17:31:10Z spamfilter.hvt SHA256:3b5dd9a9de332c9c30e564b943b8c1a9f06aec7fb679b9383484cabb919b98b3 (8.77MB)
  
• smtp-submission
  SMTP submission unikernel
  ☑ freebsd-12 2022-08-31 17:34:15Z submission.hvt SHA256:e97f047b55e234b9fc851fb41c9f145db3155d2e18a150767d9341d69878d123 (11.6MB)
  
• smtp-verifier
  SMTP receiver unikernel
  ☑ freebsd-12 2022-08-31 14:34:25Z verifier.hvt SHA256:60b35d0c7264fa790ef2f31433efd3a32c791a6641fa20fb2ce4c9f2f486654d (8.12MB)
  
• static-website
  A static website example unikernel
  ☑ freebsd-12 2023-10-01 14:55:49Z https.hvt SHA256:d9e9251e300ef3668f92c7832c1abf290e144a1eb38844902502bf979bd2d4e4 (6.91MB)
  
• tlstunnel
  A TLS reverse proxy unikernel
  ☑ freebsd-12 2023-10-01 15:26:48Z tlstunnel.hvt SHA256:8f0ad4385742c052c461eb50f7374738ea466f5ab2d1d07ec7c0afeb59b4955c (5.49MB)
  
• traceroute
  A unikernel executing a traceroute
  ☑ freebsd-12 2023-09-30 17:51:33Z traceroute.hvt SHA256:95cc49bad13f623c2666918c33f33a4d9b2e05db39e73254086c19c4b3a6d467 (2.38MB)
  
• unipi
  A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge
  ☑ freebsd-12 2023-10-01 15:30:03Z unipi.hvt SHA256:c97321c2f6804567a6d09509b63869528ffee8f08691fb69815ad3401c582aba (9.6MB)
  
• unipi-with-kv
  A web server unikernel which content is stored in a remote git repository, TLS certificate in a key-value store (at compile time)
  ☑ freebsd-12 2023-09-30 17:26:36Z unipi.hvt SHA256:d34900e377adc564acbcac448bd0f40077adafed670c9b7136c9a7ff0d09b1ea (11.9MB)
  

Unikernels (with metrics reported to Influx)

• caldav-le-monitoring
  A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx and certificate retrieval via DNS and let's encrypt
  ☑ freebsd-12 2023-10-01 16:54:27Z caldav.hvt SHA256:05c1c0ea79ae341ac32b77c0bf2c43beb843540108cf758920a5d9ca9e340a45 (13.9MB)
  
• caldav-monitoring
  A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx
  ☑ freebsd-12 2023-09-30 17:32:05Z caldav.hvt SHA256:87eadd4740687c27c07105a09eb73a814097a326d187c150a35cbd0a8cd03b8d (13.8MB)
  
• dns-letsencrypt-monitoring
  A DNS secondary server that pushes certificates signed by let's encrypt when certificate signing requests without a valid certificate are in the zone (using TLSA records), reports metrics to influx
  ☑ freebsd-12 2023-10-01 16:03:36Z letsencrypt.hvt SHA256:9767bc672c5d8aa9bd9a2bd0f7f3fc63701288fe15bb3bd5c6b1f0c07df52a38 (7.93MB)
  
• dns-primary-git-monitoring
  A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
  ☑ freebsd-12 2023-09-30 17:41:13Z primary-git.hvt SHA256:218f8da56dfabe4b04fefe4e61bb3665b908c5074a6812018dc72d9d673e2048 (8.81MB)
  
• dns-resolver-monitoring
  A recursive DNS resolver as a unikernel (with monitoring to influx)
  ☑ freebsd-12 2023-03-02 00:00:01Z resolver.hvt SHA256:d7c0c4ca418870c3e87d5dc4086197ef7e285bce51369ed9511eaa2e962c935e (6.82MB)
  
• dns-secondary-monitoring
  A DNS secondary unikernel which reports metrics to influx
  ☑ freebsd-12 2023-10-01 15:58:42Z secondary.hvt SHA256:75e0d77fc8a666c793ebcf8e4f257aba162328b9117723b48e9a0d7682306b4a (3.66MB)
  
• hannes-nqsb-io
  The unikernel used for the blog https://hannes.robur.coop, content stored in a remote git repository, reports metrics to influx
  ☑ freebsd-12 2022-11-06 22:52:27Z canopy.hvt SHA256:da6bdd4edcadee61a70dd1f2a6dc964a4ee0a0ae0ae623496932dac01599fb1f (12.6MB)
  
• miragevpn-router
  An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
  ☑ freebsd-12 2023-10-01 17:30:12Z ovpn-router.hvt SHA256:377140ba1609648b013aa63527e1d9e0c7b08dd79f8cee7f96360d7c50587ece (6.46MB)
  
• nqsbio
  The unikernel used for https://nqsb.io and subdomains, reports metrics to influx
  ☑ freebsd-12 2023-10-01 16:38:50Z nqsbio.hvt SHA256:7433ecddbb745a6abd09b2977405e79fac0a3d541e9286bfd50f7f84d127d1e7 (4.12MB)
  
• redirect-monitoring
  Redirect HTTP requests
  ☑ freebsd-12 2023-10-01 15:42:47Z redirect.hvt SHA256:ea6dabda6dd0ab32188f251b5d741a9a7033fff409939d423e492a4f0be9075c (5.63MB)
  
• retreat
  The unikernel serving http://retreat.mirage.io with metrics reported to influx
  ☑ freebsd-12 2023-10-01 16:54:21Z retreat.hvt SHA256:1b6e9ec82f007de7de821f4b1793721b0437cb87af7ced0f48266dbf7a4da959 (6.16MB)
  
• roburio
  The unikernel used for the website https://robur.coop, content stored in a remote git repository, reports metrics to influx
  ☑ freebsd-12 2022-11-06 21:31:13Z canopy.hvt SHA256:f78e95c277d6bfff72530645ff4d45f6a800f4fded8728af8877d79389e7d6c4 (12.6MB)
  
• tlstunnel-monitoring
  A TLS reverse proxy unikernel, reports metrics to influx
  ☑ freebsd-12 2023-10-01 17:15:31Z tlstunnel.hvt SHA256:4081a12d677d961ac3f81164f3559c53e619327c6c2940f25389f3768d7cdf97 (5.73MB)
  
• unipi-monitoring
  A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge, which reports metrics to influx
  ☑ freebsd-12 2023-10-01 14:58:22Z unipi.hvt SHA256:8fd67cf24f1dff8bb4d8752722cc1d85f34a87a2d1ec6fce43170f3006816e2f (9.78MB)
  

View the latest failed builds here.