|
|
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 |
|
|
|
f3dabd856c
|
mirage-monitoring for nqsb.io
|
2022-05-22 22:22:23 +02:00 |
|
|
|
55ac02ed72
|
mirage-monitoring for dns-resolver-monitoring
|
2022-05-22 22:20:33 +02:00 |
|
|
|
36df8d576e
|
mirage-monitoring for tlstunnel-monitoring
|
2022-05-22 22:17:25 +02:00 |
|
|
|
132bf9757f
|
mirage-monitoring for dns-letsencrypt-monitoring
|
2022-05-22 22:15:37 +02:00 |
|
|
|
130ad73df0
|
mirage-monitoring for dns-secondary-monitoring
|
2022-05-22 22:13:42 +02:00 |
|
|
|
29bb977296
|
mirage-monitoring and dns-primary-git-monitoring
|
2022-05-22 22:10:49 +02:00 |
|
|
|
e942085670
|
unipi-with-kv: update from upstream
|
2022-05-22 20:59:03 +02:00 |
|
