|
d0d78822ad
|
static-website: drop http and https arguments for configure
|
2023-09-25 21:44:47 +02:00 |
|
|
2ac197c2bc
|
jackline: avoid ocaml 5
|
2023-09-25 21:42:01 +02:00 |
|
|
1324abc7bd
|
builder-web.opam: update from upstream
|
2023-09-11 12:19:25 +02:00 |
|
|
31d1d569b1
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
|
9ff1c6fd44
|
adapt from upstream
|
2023-08-25 11:55:11 +02:00 |
|
|
5334a491b7
|
update retreat from upstream
|
2023-08-03 14:32:26 +02:00 |
|
|
86af1fb015
|
bump mirage dep to 4.4.0
|
2023-06-21 19:16:32 +02:00 |
|
|
1a0da07032
|
remove dns packages (now released as dns 7.0.2)
|
2023-06-14 01:25:02 +02:00 |
|
|
218985bc46
|
re-add caldavzap to build
|
2023-06-13 10:13:08 +02:00 |
|
|
96509b8911
|
caldav: update monitoring unikernels
|
2023-06-13 09:55:24 +02:00 |
|
|
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 |
|