-
5bd0c6f2e7
upgrade orb version number (now that 1.0 is released)
main
Hannes Mehnert
2024-09-13 18:36:19 +0200
-
b6a410b2a8
caldav: update from upstream
Hannes Mehnert
2024-09-12 17:58:25 +0200
-
d7610c4c9f
mollymawk is mirage 4.7.0 now
Hannes Mehnert
2024-09-11 22:52:20 +0200
-
3c15aec70c
dns-stub: update to mirage 4.7.0
Hannes Mehnert
2024-09-11 22:33:17 +0200
-
71245903f9
unipi: mirage 4.7
Hannes Mehnert
2024-09-11 22:31:19 +0200
-
7e4da81600
tlstunnel: mirage 4.7
Hannes Mehnert
2024-09-11 22:22:53 +0200
-
b9cddd5bdc
dnsvizor: mirage 4.7
Hannes Mehnert
2024-09-11 21:53:01 +0200
-
5ce9ae54e3
dns-secondary: mirage 4.7
Hannes Mehnert
2024-09-11 21:42:02 +0200
-
35dfda6f35
dns-primary-git: mirage 4.7
Hannes Mehnert
2024-09-11 21:33:07 +0200
-
4f9984c0e4
dns-letsencrypt-secondary: mirage 4.7
Hannes Mehnert
2024-09-11 21:26:13 +0200
-
4d4c7011ef
static-website: mirage 4.7
Hannes Mehnert
2024-09-11 21:08:47 +0200
-
a335acd9fd
hello: with 4.7.0
Hannes Mehnert
2024-09-11 21:06:24 +0200
-
8b21ed81dc
retreat: with 4.7.0
Hannes Mehnert
2024-09-11 21:04:41 +0200
-
7105dfbcc2
update traceroute
Hannes Mehnert
2024-09-11 20:56:16 +0200
-
d3d6b0279d
update utcp from upstream
Hannes Mehnert
2024-09-11 20:33:52 +0200
-
26d7a22be8
mollymawk: update mirage bounds
Hannes Mehnert
2024-09-11 13:15:04 +0200
-
0737f4ec38
update builder, builder-web, albatross
Hannes Mehnert
2024-09-05 19:06:53 +0200
-
07821cbe87
Merge pull request 'Pin builder' (#2) from pin-builder into main
Reynir Björnsson
2024-08-29 08:32:35 +0000
-
-
201c82e837
Pin builder
Reynir Björnsson
2024-08-29 10:30:59 +0200
-
-
6d01cfce95
Merge pull request 'Revert "revert orb, we need opam 2.1.2"' (#1) from orb-opam.2.2.1 into main
Reynir Björnsson
2024-08-26 16:01:44 +0000
-
-
2374e966f8
remove dns, which has been released a long time ago
Hannes Mehnert
2024-08-26 16:06:58 +0200
-
c216572037
Revert "revert orb, we need opam 2.1.2"
Reynir Björnsson
2024-08-23 13:15:40 +0200
-
-
d66f9fa58e
builder-web: update constraints from upstream
Reynir Björnsson
2024-08-19 12:21:55 +0200
-
e830765150
builder-web: remove upper bound on dream
Reynir Björnsson
2024-08-19 12:12:46 +0200
-
aa7fc13f83
add mollymawk unikernel
Hannes Mehnert
2024-08-17 12:21:08 +0200
-
c46e689dc9
albatross: remove, since the latest is the released version
Hannes Mehnert
2024-08-17 12:16:52 +0200
-
3ac5d936c1
Update builder-web according to upstream
Reynir Björnsson
2024-08-16 08:38:07 +0200
-
d8e4fa48db
builder-web: Set upper bound on tar
Reynir Björnsson
2024-08-12 10:11:47 +0200
-
b775eccb7b
revert orb, we need opam 2.1.2
Hannes Mehnert
2024-08-08 12:24:47 +0200
-
13088c3910
orb requires opam 2.2 now
Hannes Mehnert
2024-08-08 10:36:35 +0200
-
958cc781ea
miragevpn: update to mirage 4.6.0
Hannes Mehnert
2024-08-05 16:51:30 +0200
-
0e0533ac17
Add upper constraint on opam-state
Reynir Björnsson
2024-07-29 16:23:59 +0200
-
2748f80afe
Revert "miragevpn_qubes: try the update branch"
Hannes Mehnert
2024-07-01 11:06:31 +0200
-
2b7201182f
miragevpn_qubes: try the update branch
Hannes Mehnert
2024-07-01 10:17:57 +0200
-
c57424bb2c
qubes-miragevpn: revert tcpip bound
Hannes Mehnert
2024-06-30 21:24:39 +0200
-
bbb2f4bb94
qubes-miragevpn: update to mirage 4.6.0
Hannes Mehnert
2024-06-30 21:24:09 +0200
-
b79d2106cf
opam-graph: uses a tar.bz2
Hannes Mehnert
2024-06-27 09:15:57 +0200
-
4255f62a34
qubes: for now require tcpip < 8.1.0
Robur Team
2024-06-26 14:48:24 +0000
-
215dfeb335
a miragevpn-qubes unikernel
Robur Team
2024-06-26 14:24:31 +0000
-
35828e57db
add a miragevpn-server unikernel
Robur Team
2024-06-26 14:17:24 +0000
-
81f4b9b048
ready for miragevpn
Robur Team
2024-06-26 14:12:31 +0000
-
9cc313c191
builder-web, opam-graph: use github as source for now
Robur Team
2024-06-26 11:03:27 +0000
-
60ff26d3dd
modulectomy, opam-graph: put 5 as an upper bound
Hannes Mehnert
2024-06-02 22:40:01 +0200
-
9292b8f29e
builder-web: restrict to dream < alpha6 for now
Hannes Mehnert
2024-06-02 22:36:27 +0200
-
82e7a9ee42
add checksums for files, otherwise opam complains
Hannes Mehnert
2024-06-02 22:12:07 +0200
-
7dae23eb7f
unikernels: relax solo5 upper bound
Hannes Mehnert
2024-05-30 09:34:53 +0200
-
8f9ebf28ea
Merge branch 'solo5-tenders.0.8.0'
Hannes Mehnert
2024-05-30 09:16:52 +0200
-
-
f382aaed32
upgrade to 0.8.1
Hannes Mehnert
2024-05-30 09:16:32 +0200
-
25fcda1475
miragevpn: update from upstream
Hannes Mehnert
2024-05-29 09:46:17 +0200
-
4e90143e00
unipi: require git-kv 0.0.5 and ohex
Hannes Mehnert
2024-05-27 12:49:36 +0200
-
0a5f3a7752
caldav upgrade to mirage 4.5.1
Hannes Mehnert
2024-05-24 08:48:06 +0200
-
5132f0793d
further 4.5.1 ports (unipi, tlstunnel, ovpn_router)
Hannes Mehnert
2024-05-20 11:55:30 +0200
-
b56f27361a
DNS unikernels: update to 4.5.1
Hannes Mehnert
2024-05-20 11:51:03 +0200
-
11badf4787
qubes-firewall: update from upstream
Hannes Mehnert
2024-05-10 19:33:20 +0200
-
d10b81bd2d
ovpn-router uses mirage 4.5.0 now
Hannes Mehnert
2024-05-09 18:35:29 +0200
-
56673cbf1e
opam-mirror uses mirage 4.5.0 now
Hannes Mehnert
2024-05-09 18:32:48 +0200
-
4e37bbb7b9
retreat uses mirage 4.5.0 now
Hannes Mehnert
2024-05-09 18:23:43 +0200
-
6c52d39a3d
unipi is mirage 4.5.0 now
Hannes Mehnert
2024-05-09 14:19:09 +0200
-
8dde47eb09
tlstunnel is mirage 4.5.0 now
Hannes Mehnert
2024-05-09 13:24:56 +0200
-
4946f00a21
dns-primary-git-monitoring: use solo5 0.7 series for now
Hannes Mehnert
2024-05-08 22:28:53 +0200
-
135df0d300
dns-primary-git uses mirage 4.5.0
Hannes Mehnert
2024-05-08 22:27:13 +0200
-
1942b773bc
dns-letsencrypt-secondary uses mirage 4.5.0
Hannes Mehnert
2024-05-08 22:18:21 +0200
-
3bc78d3206
dns-secondary uses mirage 4.5.0
Hannes Mehnert
2024-05-08 21:46:11 +0200
-
1170b98d9b
traceroute uses mirage 4.5 now
Hannes Mehnert
2024-05-08 20:50:52 +0200
-
725eedf16b
albatross: sync from upstream
Hannes Mehnert
2024-05-08 20:31:09 +0200
-
53844126b1
dnsvizor is 4.5.0 now, redirect removed
Hannes Mehnert
2024-05-08 20:26:11 +0200
-
d5ce92b007
caldav: from upstream
Hannes Mehnert
2024-05-07 13:38:38 +0200
-
17e002efc3
caldav: from upstream
Hannes Mehnert
2024-05-07 11:12:45 +0200
-
ed817b3d71
caldav-monitoring is using mirage 4.5 now
Hannes Mehnert
2024-05-06 23:49:47 +0200
-
6d2f9b2a61
caldav is using mirage 4.5 now
Hannes Mehnert
2024-05-06 23:46:28 +0200
-
4b7ca571c0
mirage 4.5 unikernels: update build instructions
Hannes Mehnert
2024-05-06 19:55:42 +0200
-
1fa654b0b6
hello is mirage 4.5 now
Hannes Mehnert
2024-05-06 19:46:52 +0200
-
a8e46b93a9
static-website is mirage 4.5 now
Hannes Mehnert
2024-05-06 19:45:13 +0200
-
31bec0bced
qubes firewall: update to 4.5.0
Hannes Mehnert
2024-05-06 19:39:12 +0200
-
0daa7acf4e
miragevpn: sync from upstream
Hannes Mehnert
2024-03-28 14:49:45 +0100
-
017995be0e
utcp: update opam from upstream
Hannes Mehnert
2024-03-27 21:22:13 +0100
-
37a43fa845
opam-mirror: upper bound on mirage-block-partition
Reynir Björnsson
2024-03-21 11:28:42 +0100
-
a3019bad4e
randomconv upper bounds
Hannes Mehnert
2024-03-14 18:52:46 +0100
-
d99b0a5753
update synopsis of smtp unikernels, remove description
Hannes Mehnert
2024-02-27 19:43:23 +0100
-
4917f2cfba
smtp spamfilter
Hannes Mehnert
2024-02-27 19:30:35 +0100
-
e7a761efb3
smtp verifier
Hannes Mehnert
2024-02-27 19:21:56 +0100
-
1bfa766067
smtp unikernels: let's use solo5 0.7
Hannes Mehnert
2024-02-27 19:16:07 +0100
-
5efddc2823
smtp submission unikernel
Hannes Mehnert
2024-02-27 19:15:17 +0100
-
486b7d243a
smtp relay unikernel
Hannes Mehnert
2024-02-27 19:11:11 +0100
-
b723dadfff
add smtp stack, signer
Hannes Mehnert
2024-02-27 19:04:06 +0100
-
44ffd65e41
retreat: enable-monitoring
Hannes Mehnert
2024-02-18 23:01:34 +0100
-
79435604ed
move builder forward
Hannes Mehnert
2023-12-12 11:07:55 +0100
-
e58953cc86
use experimental branch for dns to avoid lots of connections attempts
Hannes Mehnert
2023-11-28 15:46:23 +0100
-
a0f6ae6d02
Revert "remove dns packages (now released as dns 7.0.2)"
Hannes Mehnert
2023-11-28 15:41:29 +0100
-
949f5f5014
dns-secondary-monitoring: use utcp
Hannes Mehnert
2023-11-23 16:28:24 +0100
-
93dfd32f14
tlstunnel-monitoring: use utcp
Hannes Mehnert
2023-11-23 16:22:04 +0100
-
db3502a1cd
upgrade retreat unikernel to use utcp
Hannes Mehnert
2023-11-23 15:34:37 +0100
-
2874f2c541
add utcp
Hannes Mehnert
2023-11-23 14:40:51 +0100
-
34894a4a17
update unipi-with-kv to mirage4
Hannes Mehnert
2023-10-24 13:37:17 +0200
-
d24d35b12a
update from upstream
Hannes Mehnert
2023-10-24 09:22:40 +0200
-
d3548afbce
miragevpn opam: sync from upstream
Hannes Mehnert
2023-09-27 22:57:38 +0200
-
d0d78822ad
static-website: drop http and https arguments for configure
Hannes Mehnert
2023-09-25 21:44:47 +0200
-
2ac197c2bc
jackline: avoid ocaml 5
Hannes Mehnert
2023-09-25 21:42:01 +0200
-
1324abc7bd
builder-web.opam: update from upstream
Hannes Mehnert
2023-09-11 12:19:25 +0200
-
31d1d569b1
roburio -> robur-coop
Hannes Mehnert
2023-09-09 14:19:41 +0200