|
|
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 |
|
|
|
019cec9d65
|
orb: update from upstream (cmdliner 1.1.0)
|
2022-03-15 21:54:29 +01:00 |
|
|
|
48725da0c6
|
builder: update from upstream (cmdliner 1.1.0)
|
2022-03-15 21:53:38 +01:00 |
|
|
|
92e62cb149
|
albatross: update from upstream
|
2022-03-15 21:34:37 +01:00 |
|
|
|
4c9d58751f
|
use modulectomy from main branch
|
2022-03-03 15:21:11 +01:00 |
|
|
|
67e8f660f1
|
restrict ptt to irmin < 3
|
2022-03-03 11:25:06 +01:00 |
|
|
|
4d003e5587
|
dune 3.0.3 is out - no need to restrict any package with dune < 3.0 anymore (FreeBSD uses gmake now)
|
2022-03-02 13:39:36 +01:00 |
|
|
|
af59db64dd
|
static-website: use port 80 & 443
|
2022-03-02 12:05:37 +01:00 |
|
|
|
5e2b2244c5
|
static website unikernel
|
2022-03-02 11:59:55 +01:00 |
|
|
|
3e644df40f
|
use the hello-key as hello unikernel
|
2022-03-01 22:36:06 +01:00 |
|
|
|
59fe5abd06
|
add a hello world unikernel
|
2022-03-01 22:28:34 +01:00 |
|
