|
5fc73ff903
|
albatross: updates from upstream
|
2023-05-14 17:46:15 +02:00 |
|
|
719fd338eb
|
upgrade solo5-tenders to 0.8.0
|
2023-05-01 18:30:19 +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 |
|
|
384912c2f0
|
dns-primary-git-monitoring: upgrade to recent changes
|
2022-12-17 17:19:22 +01:00 |
|
|
241bd9f8dc
|
update dns-primary-git
|
2022-12-17 17:14:52 +01:00 |
|
|
cbc6227f95
|
remove solo5-bindings-hvt now that solo5-tenders is around
|
2022-11-17 12:12:48 +01:00 |
|
|
5244b4b659
|
upgrade solo5-tenders to 0.7.4
|
2022-11-15 17:44:14 +01:00 |
|
|
946455dc9a
|
remove roburio and hannes unikernel, now using unipi
|
2022-11-07 11:04:08 +01:00 |
|
|
17fb82c3b1
|
unipi monitoring unikernel
|
2022-11-06 22:11:11 +01:00 |
|
|
ae3232e833
|
opam-mirror: use main branch
|
2022-11-04 10:25:17 +01:00 |
|
|
5e7a64efdb
|
update from upstream (albatross, builder: use http-lwt-client 0.2.0)
|
2022-11-03 15:18:17 +01:00 |
|
|
3a49fd82f2
|
update opam-mirror package
|
2022-11-02 22:23:10 +01:00 |
|
|
410cb90b42
|
update unipi from main branch
|
2022-11-02 22:15:48 +01:00 |
|
|
0e1064337a
|
remove (now relesaed) http-mirage-client
|
2022-11-02 22:13:52 +01:00 |
|
|
680e6ad606
|
caldav-le-monitoring: fix opam
|
2022-10-28 22:09:49 +02:00 |
|
|
1665271341
|
caldav and tar are now merged into opam-repository
|
2022-10-28 21:42:16 +02:00 |
|
|
0694c7a823
|
remove unneeded opam packages
|
2022-10-28 16:29:22 +02:00 |
|