Commit graph

383 commits

Author SHA1 Message Date
ffcd0fc481 monitoring unikernels: update with logs-syslog 0.4.0 2023-06-13 09:32:49 +02:00
76d5b1de07 remove resolver unikernel for now 2023-06-04 18:02:56 +02:00
d7039db83e update unikernels with new logs-syslog 2023-06-04 18:02:12 +02:00
d9a110e36d move git git.robur.coop 2023-06-03 14:54:12 +02:00
8c9723c107 fix path 2023-06-03 12:57:59 +02:00
56594489a8 redirect unikernel 2023-06-03 12:46:57 +02:00
a0c9cf9b80 fix solo5 deps 2023-06-02 20:50:14 +02:00
a0e9264c1e new dns packages 2023-05-31 16:41:47 +02:00
68d181f8e5 restrict dns-secondary to old solo5 2023-05-31 16:23:44 +02:00
91a0f539a3 add local dns-server override 2023-05-31 16:22:56 +02:00
7065a37262 fix 2023-05-28 17:19:40 +02:00
f228c90938 add caldav package 2023-05-28 16:57:23 +02:00
823591e635 opam-mirror: upgrade from upstream 2023-05-28 16:34:23 +02:00
b177fc1548 update caldav-le-monitoring 2023-05-28 15:45:16 +02:00
0d274ed80c packages: require ocaml < 5 (ocaml 5 isn't yet in a nice shape) 2023-05-28 15:00:19 +02:00
5fc73ff903 albatross: updates from upstream 2023-05-14 17:46:15 +02:00
f8e400045f caldav-monitoring: update, and use main branch 2023-04-05 14:25:49 +02:00
5f76b32557 caldav: update from upstream 2023-04-05 12:34:48 +02:00
4ddb0caf67 unipi: new git-mirage 2023-04-03 18:28:31 +02:00
a94d9efedb dns-primary-git: new git-mirage 2023-04-03 18:23:46 +02:00
c61350ec0c unipi: update from upstream 2023-03-24 15:31:55 +01:00
cbd782dd19 openvpn -> miragevpn 2023-03-19 16:57:09 +01:00
2469497d27 allow tcpip 8.x in unikernels 2023-03-17 23:15:41 +01:00
2274298d44 dns-letsencrypt: update to upstream main branch 2023-03-13 13:54:32 +01:00
920f9213cc update to mirage 4.3.4 2023-03-12 16:45:39 +01:00
8935c0c75b tlstunnel, monitoring: use the --enable-monitoring configure option 2023-03-09 13:29:38 +01:00
4a17efb3ab dns-letsencrypt-secondary, monitoring: use the --enable-monitoring configure option 2023-03-09 13:29:25 +01:00
80d944e9e0 dns-primary-git, monitoring: use the --enable-monitoring configure option 2023-03-09 13:27:18 +01:00
de09dd1f33 unipi, monitoring: use the --enable-monitoring configure option 2023-03-09 13:26:30 +01:00
6f880ea3fc dns-secondary, monitoring: use the --enable-monitoring configure option 2023-03-09 13:25:30 +01:00
505b1c5e34 update from upstream 2023-03-09 10:58:02 +01:00
14795a095f openvpn: use main branch, enable monitoring 2023-03-02 23:25:27 +01:00
4a9fc8ed0e relax mirage bounds to < 4.4.0 for unikernels 2023-02-24 18:29:37 +01:00
664a22e0f3 update openvpn unikernel 2023-02-24 18:25:22 +01:00
7fc95e921a update openvpn from upstream 2023-02-24 18:22:08 +01:00
51e2be0ed2 jackline: remove dns-client-lwt dependency 2023-02-24 18:12:48 +01:00
547a9f5843 update jackline to recent changes 2023-02-24 18:10:35 +01:00
c84f4dfcb1 dns-primary-git: update to 4.3.4 2023-02-24 18:00:23 +01:00
f46a4cc0af caldav: update to 4.3.4 2023-02-24 17:56:47 +01:00
8a5c0331af unipi updates 2023-02-24 17:50:22 +01:00
3e754262b6 remove opam-graph, which is released to opam-repository 2023-02-03 21:04:44 +01:00
d5b8326f19 update retreat 2023-01-30 13:49:44 +01:00
d353c4b148 dnsvizor has a readme now 2023-01-30 12:37:40 +01:00
e717a6750b update dns-letsencrypt-monitoring from upstream 2023-01-13 18:48:44 +01:00
e5c701aead update dns-letsencrypt from upstream 2023-01-13 18:19:48 +01:00
5991e1dccf unipi: update from upstream 2022-12-27 14:59:26 +01:00
007e78b1ba caldav-le-monitoring: update 2022-12-19 16:30:41 +01:00
05ed085603 caldav-monitoring: update 2022-12-19 16:22:32 +01:00
4e56df747d caldav-hvt: update 2022-12-19 16:08:52 +01:00
2f33c0d49f upgrade solo5 to 0.7.5 2022-12-17 17:31:01 +01:00