Commit graph

369 commits

Author SHA1 Message Date
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
0b80807056 unipi: update from upstream 2022-05-22 17:21:44 +02:00
e1896cb892 builder-web: update opam file from upstream 2022-05-16 12:58:49 +02:00
c8750be325 albatross: update from upstream 2022-05-16 12:24:11 +02:00
f3690bdc4b caldav: require fmt 0.8.7+ 2022-04-15 16:23:44 +02:00
8e73a6ef93 unipi: restrict to irmin < 3.0.0 2022-04-15 16:18:56 +02:00
3ca57bd4c4 caldav: another update 2022-04-15 16:06:13 +02:00
6fc61d2fb3 unipi: adapt bounds 2022-04-15 15:56:34 +02:00
1f26c8361a caldav: restrict to irmin < 3 2022-04-15 15:30:47 +02:00
5639b26b9c restrict paf to < 0.0.9 2022-04-14 11:36:05 +02:00
05549c163a *unikernel: restrict to git=3.7.0 2022-04-11 13:05:50 +02:00
91786483c3 dns-primary-git: update 2022-04-11 12:58:02 +02:00
5ebd054872 fix hello, static-website branch name 2022-04-05 19:16:35 +02:00
0fc43c22af modulectomy: update from upstream 2022-04-04 13:19:31 +02:00
177b46020c mirage-skeleton projects: use mirage3 branch 2022-04-04 12:41:03 +02:00
2f381aa2d4 xmpp: require cstruct >=6.0.0 2022-04-04 12:38:13 +02:00
320191691d more cmdliner 1.1.0 requirements 2022-03-16 13:25:18 +01:00