Commit graph

214 commits

Author SHA1 Message Date
4d003e5587 dune 3.0.3 is out - no need to restrict any package with dune < 3.0 anymore (FreeBSD uses gmake now) 2022-03-02 13:39:36 +01:00
af59db64dd static-website: use port 80 & 443 2022-03-02 12:05:37 +01:00
5e2b2244c5 static website unikernel 2022-03-02 11:59:55 +01:00
3e644df40f use the hello-key as hello unikernel 2022-03-01 22:36:06 +01:00
59fe5abd06 add a hello world unikernel 2022-03-01 22:28:34 +01:00
866ca47c31 dns-primary-git, canopy: restrict to irmin < 3.0 2022-02-28 11:40:01 +01:00
8ab1b53735 albatross: require cmdliner < 1.1.0 2022-02-25 16:02:43 +01:00
6502089e17 monitoring-experiments: require dune < 3 to enable building on FreeBSD 2022-02-25 15:58:18 +01:00
5e86253c00 albatross, builder, jackline: restrict to dune < 3 (until 3.0.3 is released that works on FreeBSD) 2022-02-25 15:50:01 +01:00
Robur
b5c655898c add albatross 2022-02-25 11:30:09 +00:00
f4108c4e0d add solo5-elftool and owee dependency 2022-02-23 22:13:31 +01:00
7f2f93fee5 builder-web: restrict to old dune for now (until 3.0.3 is released) 2022-02-23 13:30:51 +01:00
c8d5e80e29 builder-web requires dream 1.0 alpha2 2022-02-23 13:21:41 +01:00
2303f22168 rename solo5-bindings-hvt version number 2022-02-16 18:00:53 +01:00
a284336efa solo5-bindings-hvt bump version 2022-02-16 16:03:39 +01:00
34dceec1a1 bump solo5 to 0.6.9 2022-02-16 15:59:16 +01:00
ea122e28fb restrict unikernels to git < 3.8.0 2022-02-05 11:41:55 +01:00
b2e27d46f2 Add opam-graph, modulectomy packages
Remove pin-depends in builder-web and add new package opam-graph and
update modulectomy branch.
2022-02-02 13:03:50 +00:00
ec91a8f809 Update builder-web opam file
- Depend on tar, opam-graph, modulectomy
- Add pin-depends on opam-graph, modulectomy
2022-02-02 11:43:50 +00:00
812e7e2ce4 monitoring-experiments: update from upstream (pinned -> dev) 2022-01-29 17:06:31 +01:00
aa3f1f32e7 monitoring-experiments: update opam from upstream 2022-01-29 15:30:07 +01:00
bdb6fecd34 bump monitoring-experiments version number 2022-01-29 00:12:41 +01:00
ec0b382a68 add ~dev suffix to monitoring-experiments 2022-01-28 19:28:34 +01:00
576468ccf4 ptt moved to mirage org 2022-01-27 19:19:07 +01:00
c6b8058230 monitoring-experiments: adapt dependencies from upstream 2022-01-27 14:58:54 +01:00
dd646cf82d monitoring-experiments: adapt from upstream changes 2022-01-27 12:24:31 +01:00
71c81a4133 monitoring-experiments transfered to roburio on github 2022-01-27 12:18:23 +01:00
1990e5762d remove libffi, which was merged upstream 2022-01-27 11:37:32 +01:00
2bd97e75dd add conf-libffi freebsd depext 2022-01-25 17:26:23 +01:00
ac6dfc4dd4 smtp stack 2022-01-25 17:04:46 +01:00
4d90bcd2cc smtp helper packages 2022-01-25 16:34:23 +01:00
4ffdff17e7 dns-letsencrypt updates 2022-01-09 15:51:13 +01:00
38273c53d1 dns-resolver updates 2022-01-09 15:46:48 +01:00
c39bb8f951 mirage-dnsvizor: update 2022-01-09 15:42:48 +01:00
4b41c04623 mirage-dns-stub: update 2022-01-09 15:41:32 +01:00
f407d8cd0e mirage-unikernel-retreat: update 2022-01-09 15:39:39 +01:00
8cd282b9c7 mirage-unikernel-nqsb: update 2022-01-09 15:36:21 +01:00
94d738e14c mirage-dns-secondary-monitoring: update 2022-01-09 15:32:28 +01:00
5c8987d8ab mirage-dns-secondary: update 2022-01-09 15:30:33 +01:00
91a7c04fd6 openvpn: updates 2022-01-09 15:18:18 +01:00
54f6cc2c7d mirage-tlstunnel-monitoring: update 2022-01-09 15:03:05 +01:00
0c44c9f11e mirage-tlstunnel: update 2022-01-09 15:02:19 +01:00
9b1ffb7c91 mirage-unikernel-robur: update 2022-01-09 14:52:59 +01:00
c942476487 mirage-unikernel-hannes-nqsb: update 2022-01-09 14:50:47 +01:00
d0a4385226 mirage-unikernel-caldav-monitoring-le: update 2022-01-09 14:42:02 +01:00
a62f9ac7f1 mirage-unikernel-caldav-monitoring: update 2022-01-09 14:39:17 +01:00
f63bedd669 mirage-unikernel-caldav: update 2022-01-09 14:34:32 +01:00
d1705a14fc mirage-unikernel-unipi-with-kv: update 2022-01-09 14:18:21 +01:00
14c64b1011 mirage-unikernel-unipi: update 2022-01-09 14:12:19 +01:00
56625cd73a update qubes-firewall 2022-01-09 13:39:28 +01:00