Commit graph

342 commits

Author SHA1 Message Date
5caf5e3024 add tar overlay with rw support 2022-09-25 19:28:33 +02:00
51866b74ee tlstunnel-monitoring goes mirage4 2022-09-25 17:39:10 +02:00
5badf9b9a2 tlstunnel goes mirage4 2022-09-25 17:32:08 +02:00
9af38175d0 nqsb.io: fix opam-lock-location 2022-08-30 20:01:42 +02:00
6a8fdd04fd qubes firewall goes mirageos 4 2022-08-30 16:32:29 +02:00
5a49bd5c51 unipi is mirage 4 now 2022-08-30 10:18:15 +02:00
4c220d1cbe mirage unikernels: fix usage of - (previously _) 2022-08-29 20:18:28 +02:00
18bae7ab32 ovpn router goes mirage4 2022-08-29 20:07:22 +02:00
4831384b5f nqsb io is now mirage4 2022-08-29 19:46:40 +02:00
c1da1d7ea2 retreat goes mirageos4 2022-08-29 19:40:01 +02:00
14c8bb4f81 dns-stub and dnsvizor go mirageos4 2022-08-29 19:34:15 +02:00
18d052443b dns-resolver goes mirageos 4 2022-08-29 19:26:30 +02:00
9b4d4e04b0 dns-primary-git goes mirageos 4 2022-08-29 19:15:38 +02:00
029b16dec5 dns-letsencrypt goes mirageos 4 2022-08-29 18:18:40 +02:00
ab04614eaa remove gmp 6.2.1-3 (now released upstream) 2022-08-29 17:57:04 +02:00
9e3e855fd0 tree_layout: Fix brainfart 2022-08-24 10:03:24 +02:00
a62b974418 Add tree_layout#master, modulectomy depends on it 2022-08-24 09:57:16 +02:00
be4861cc8f modulectomy: Add tree-layout dependency 2022-08-23 11:16:19 +02:00
0cfab7af87 opam-graph: add packaging invocations 2022-08-23 10:32:28 +02:00
ab444d9df0 Update modulectomy
Include fmt dependency and packaging script invocations.
2022-08-23 10:29:57 +02:00
2249bdbbe3 dns-secondary-monitoring goes mirage 4 2022-08-22 12:03:02 +02:00
93f158de33 dns-secondary goes mirage 4 2022-08-09 15:23:13 +02:00
4502cce7f5 tlstunnel-monitoring: revert tcpip bound to latest release 2022-08-09 14:43:33 +02:00
f07a331f7a hello / traceroute (mirage 4): execute depext-lockfile as pre-build command 2022-08-08 22:05:57 +02:00
bc0ce94d6d static-website: use lock depext-lockfile pull 2022-08-08 21:02:43 +02:00
6ae0781782 use depend instead of lock and pull 2022-08-08 20:52:18 +02:00
3c69bfbf52 remove tcpip 7.2.99 2022-08-08 18:31:44 +02:00
81ddb231eb fix opam remote for gmp 2022-08-08 18:30:56 +02:00
0f25efd747 add gmp as overlay 2022-08-08 18:23:02 +02:00
96a6d337a7 update static-website to mirageos 4.2 2022-08-05 11:59:53 +02:00
d422e88e38 update traceroute to mirageos 4.2 2022-08-05 11:50:35 +02:00
357651b37a minor 2022-08-05 11:50:06 +02:00
c6127dfa03 hello: re-add sensible synopsis 2022-08-05 11:37:32 +02:00
93e0a26344 upgrade hello unikernel to mirage4 2022-08-05 11:10:46 +02:00
Robur
d84cc0048e orb: update ocaml lower bound 2022-08-03 13:03:04 +00:00
8fcf3c5335 Update builder-web 2022-07-12 17:24:32 +02:00
Robur
a16b340ce6 Further builder-web opam updates 2022-06-23 10:26:08 +00:00
Robur
4dada88918 Update builder-web 2022-06-23 10:19:01 +00:00
c79af8e412 temporarily add icalendar 2022-06-21 08:55:14 +02:00
5bad025780 add unreleased caldav pinned to main branch 2022-06-13 15:39:04 +02:00
314f90d407 tlstunnel-monitoring: require newer tcpip 2022-06-05 16:33:13 +02:00
2269c8d5e6 tcp: increase version 2022-06-05 16:22:11 +02:00
fc12e26410 add tcpip overlay which reports buffer stats 2022-06-05 16:12:02 +02:00
da2c42aeec re-add a dev version of albatross 2022-05-27 16:09:07 +02:00
af09becad1 remove albatross (1.5 now in opam-repo); fix hannes-nqsb-io (bad package name mirage-monitor) 2022-05-27 11:37:50 +02:00
317f614b7a mirage-monitoring is now released to opam-repository 2022-05-24 10:58:16 +02:00
d093b971e8 mirage-monitoring for caldav, remove monitoring-experiments 2022-05-22 22:35:11 +02:00
0de7ffb628 mirage-monitoring for retreat 2022-05-22 22:31:07 +02:00
c10d3d7056 mirage-monitoring for hannes.nqsb.io and robur.io 2022-05-22 22:27:44 +02:00
29ef11bfb6 mirage-monitoring for ovpn-router 2022-05-22 22:23:55 +02:00