|
|
2374e966f8
|
remove dns, which has been released a long time ago
|
2024-08-26 16:06:58 +02:00 |
|
|
|
c216572037
|
Revert "revert orb, we need opam 2.1.2"
This reverts commit b775eccb7b.
|
2024-08-23 13:15:40 +02:00 |
|
|
|
d66f9fa58e
|
builder-web: update constraints from upstream
There were some lower bounds that we were missing. Since we prefer newer
packages it should not make a difference for reproducibility (inshallah)
|
2024-08-19 12:21:55 +02:00 |
|
|
|
e830765150
|
builder-web: remove upper bound on dream
Locally, builder-web seems to build fine with dream.1.0.0~alpha6.
|
2024-08-19 12:12:46 +02:00 |
|
|
|
aa7fc13f83
|
add mollymawk unikernel
|
2024-08-17 12:21:08 +02:00 |
|
|
|
c46e689dc9
|
albatross: remove, since the latest is the released version
|
2024-08-17 12:16:52 +02:00 |
|
|
|
3ac5d936c1
|
Update builder-web according to upstream
|
2024-08-16 08:38:07 +02:00 |
|
|
|
d8e4fa48db
|
builder-web: Set upper bound on tar
|
2024-08-12 10:11:47 +02:00 |
|
|
|
b775eccb7b
|
revert orb, we need opam 2.1.2
|
2024-08-08 12:24:47 +02:00 |
|
|
|
13088c3910
|
orb requires opam 2.2 now
|
2024-08-08 10:36:35 +02:00 |
|
|
|
958cc781ea
|
miragevpn: update to mirage 4.6.0
|
2024-08-05 16:51:30 +02:00 |
|
|
|
0e0533ac17
|
Add upper constraint on opam-state
The API has changed, and I can't figure out how to update orb yet.
|
2024-07-29 16:23:59 +02:00 |
|
|
|
2748f80afe
|
Revert "miragevpn_qubes: try the update branch"
This reverts commit 2b7201182f.
|
2024-07-01 11:06:31 +02:00 |
|
|
|
2b7201182f
|
miragevpn_qubes: try the update branch
|
2024-07-01 10:18:02 +02:00 |
|
|
|
c57424bb2c
|
qubes-miragevpn: revert tcpip bound
|
2024-06-30 21:24:39 +02:00 |
|
|
|
bbb2f4bb94
|
qubes-miragevpn: update to mirage 4.6.0
|
2024-06-30 21:24:09 +02:00 |
|
|
|
b79d2106cf
|
opam-graph: uses a tar.bz2
|
2024-06-27 09:15:57 +02:00 |
|
Robur Team
|
4255f62a34
|
qubes: for now require tcpip < 8.1.0
|
2024-06-26 14:48:24 +00:00 |
|
Robur Team
|
215dfeb335
|
a miragevpn-qubes unikernel
|
2024-06-26 14:24:31 +00:00 |
|
Robur Team
|
35828e57db
|
add a miragevpn-server unikernel
|
2024-06-26 14:17:24 +00:00 |
|
Robur Team
|
81f4b9b048
|
ready for miragevpn
|
2024-06-26 14:12:31 +00:00 |
|
Robur Team
|
9cc313c191
|
builder-web, opam-graph: use github as source for now
|
2024-06-26 11:03:27 +00:00 |
|
|
|
60ff26d3dd
|
modulectomy, opam-graph: put 5 as an upper bound
|
2024-06-02 22:40:01 +02:00 |
|
|
|
9292b8f29e
|
builder-web: restrict to dream < alpha6 for now
|
2024-06-02 22:36:27 +02:00 |
|
|
|
82e7a9ee42
|
add checksums for files, otherwise opam complains
|
2024-06-02 22:12:07 +02:00 |
|
|
|
7dae23eb7f
|
unikernels: relax solo5 upper bound
|
2024-05-30 09:34:53 +02:00 |
|
|
|
8f9ebf28ea
|
Merge branch 'solo5-tenders.0.8.0'
|
2024-05-30 09:16:52 +02:00 |
|
|
|
f382aaed32
|
upgrade to 0.8.1
|
2024-05-30 09:16:32 +02:00 |
|
|
|
25fcda1475
|
miragevpn: update from upstream
|
2024-05-29 09:46:17 +02:00 |
|
|
|
4e90143e00
|
unipi: require git-kv 0.0.5 and ohex
|
2024-05-27 12:49:36 +02:00 |
|
|
|
0a5f3a7752
|
caldav upgrade to mirage 4.5.1
|
2024-05-24 08:48:06 +02:00 |
|
|
|
5132f0793d
|
further 4.5.1 ports (unipi, tlstunnel, ovpn_router)
|
2024-05-20 11:55:30 +02:00 |
|
|
|
b56f27361a
|
DNS unikernels: update to 4.5.1
|
2024-05-20 11:51:03 +02:00 |
|
|
|
11badf4787
|
qubes-firewall: update from upstream
|
2024-05-10 19:33:24 +02:00 |
|
|
|
d10b81bd2d
|
ovpn-router uses mirage 4.5.0 now
|
2024-05-09 18:35:29 +02:00 |
|
|
|
56673cbf1e
|
opam-mirror uses mirage 4.5.0 now
|
2024-05-09 18:32:48 +02:00 |
|
|
|
4e37bbb7b9
|
retreat uses mirage 4.5.0 now
|
2024-05-09 18:23:43 +02:00 |
|
|
|
6c52d39a3d
|
unipi is mirage 4.5.0 now
|
2024-05-09 14:19:09 +02:00 |
|
|
|
8dde47eb09
|
tlstunnel is mirage 4.5.0 now
|
2024-05-09 13:24:56 +02:00 |
|
|
|
4946f00a21
|
dns-primary-git-monitoring: use solo5 0.7 series for now
|
2024-05-08 22:28:53 +02:00 |
|
|
|
135df0d300
|
dns-primary-git uses mirage 4.5.0
|
2024-05-08 22:27:13 +02:00 |
|
|
|
1942b773bc
|
dns-letsencrypt-secondary uses mirage 4.5.0
|
2024-05-08 22:18:21 +02:00 |
|
|
|
3bc78d3206
|
dns-secondary uses mirage 4.5.0
|
2024-05-08 21:46:11 +02:00 |
|
|
|
1170b98d9b
|
traceroute uses mirage 4.5 now
|
2024-05-08 20:50:52 +02:00 |
|
|
|
725eedf16b
|
albatross: sync from upstream
|
2024-05-08 20:31:09 +02:00 |
|
|
|
53844126b1
|
dnsvizor is 4.5.0 now, redirect removed
|
2024-05-08 20:26:11 +02:00 |
|
|
|
d5ce92b007
|
caldav: from upstream
|
2024-05-07 13:38:38 +02:00 |
|
|
|
17e002efc3
|
caldav: from upstream
|
2024-05-07 11:12:45 +02:00 |
|
|
|
ed817b3d71
|
caldav-monitoring is using mirage 4.5 now
|
2024-05-06 23:49:47 +02:00 |
|
|
|
6d2f9b2a61
|
caldav is using mirage 4.5 now
|
2024-05-06 23:46:28 +02:00 |
|
|
|
4b7ca571c0
|
mirage 4.5 unikernels: update build instructions
|
2024-05-06 19:55:42 +02:00 |
|
|
|
1fa654b0b6
|
hello is mirage 4.5 now
|
2024-05-06 19:46:52 +02:00 |
|
|
|
a8e46b93a9
|
static-website is mirage 4.5 now
|
2024-05-06 19:45:13 +02:00 |
|
|
|
31bec0bced
|
qubes firewall: update to 4.5.0
|
2024-05-06 19:39:12 +02:00 |
|
|
|
0daa7acf4e
|
miragevpn: sync from upstream
|
2024-03-28 14:49:45 +01:00 |
|
|
|
017995be0e
|
utcp: update opam from upstream
|
2024-03-27 21:22:13 +01:00 |
|
|
|
37a43fa845
|
opam-mirror: upper bound on mirage-block-partition
|
2024-03-21 11:28:42 +01:00 |
|
|
|
a3019bad4e
|
randomconv upper bounds
|
2024-03-14 18:52:46 +01:00 |
|
|
|
d99b0a5753
|
update synopsis of smtp unikernels, remove description
|
2024-02-27 19:43:23 +01:00 |
|
|
|
4917f2cfba
|
smtp spamfilter
|
2024-02-27 19:30:35 +01:00 |
|
|
|
e7a761efb3
|
smtp verifier
|
2024-02-27 19:21:56 +01:00 |
|
|
|
1bfa766067
|
smtp unikernels: let's use solo5 0.7
|
2024-02-27 19:16:07 +01:00 |
|
|
|
5efddc2823
|
smtp submission unikernel
|
2024-02-27 19:15:17 +01:00 |
|
|
|
486b7d243a
|
smtp relay unikernel
|
2024-02-27 19:11:11 +01:00 |
|
|
|
b723dadfff
|
add smtp stack, signer
|
2024-02-27 19:04:06 +01:00 |
|
|
|
44ffd65e41
|
retreat: enable-monitoring
|
2024-02-18 23:01:34 +01:00 |
|
|
|
79435604ed
|
move builder forward
|
2023-12-12 11:07:55 +01:00 |
|
|
|
e58953cc86
|
use experimental branch for dns to avoid lots of connections attempts
|
2023-11-28 15:46:23 +01:00 |
|
|
|
a0f6ae6d02
|
Revert "remove dns packages (now released as dns 7.0.2)"
This reverts commit 1a0da07032.
|
2023-11-28 15:41:29 +01:00 |
|
|
|
949f5f5014
|
dns-secondary-monitoring: use utcp
|
2023-11-23 16:28:24 +01:00 |
|
|
|
93dfd32f14
|
tlstunnel-monitoring: use utcp
|
2023-11-23 16:22:04 +01:00 |
|
|
|
db3502a1cd
|
upgrade retreat unikernel to use utcp
|
2023-11-23 15:34:37 +01:00 |
|
|
|
2874f2c541
|
add utcp
|
2023-11-23 14:40:51 +01:00 |
|
|
|
34894a4a17
|
update unipi-with-kv to mirage4
|
2023-10-24 13:37:17 +02:00 |
|
|
|
d24d35b12a
|
update from upstream
|
2023-10-24 09:22:40 +02:00 |
|
|
|
d3548afbce
|
miragevpn opam: sync from upstream
|
2023-09-27 22:57:38 +02:00 |
|
|
|
d0d78822ad
|
static-website: drop http and https arguments for configure
|
2023-09-25 21:44:47 +02:00 |
|
|
|
2ac197c2bc
|
jackline: avoid ocaml 5
|
2023-09-25 21:42:01 +02:00 |
|
|
|
1324abc7bd
|
builder-web.opam: update from upstream
|
2023-09-11 12:19:25 +02:00 |
|
|
|
31d1d569b1
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
|
|
9ff1c6fd44
|
adapt from upstream
|
2023-08-25 11:55:11 +02:00 |
|
|
|
5334a491b7
|
update retreat from upstream
|
2023-08-03 14:32:26 +02:00 |
|
|
|
86af1fb015
|
bump mirage dep to 4.4.0
|
2023-06-21 19:16:32 +02:00 |
|
|
|
1a0da07032
|
remove dns packages (now released as dns 7.0.2)
|
2023-06-14 01:25:02 +02:00 |
|
|
|
218985bc46
|
re-add caldavzap to build
|
2023-06-13 10:13:08 +02:00 |
|
|
|
96509b8911
|
caldav: update monitoring unikernels
|
2023-06-13 09:55:24 +02:00 |
|
|
|
ffcd0fc481
|
monitoring unikernels: update with logs-syslog 0.4.0
|
2023-06-13 09:32:49 +02:00 |
|
|
|
76d5b1de07
|
remove resolver unikernel for now
|
2023-06-04 18:02:56 +02:00 |
|
|
|
d7039db83e
|
update unikernels with new logs-syslog
|
2023-06-04 18:02:12 +02:00 |
|
|
|
d9a110e36d
|
move git git.robur.coop
|
2023-06-03 14:54:12 +02:00 |
|
|
|
8c9723c107
|
fix path
|
2023-06-03 12:57:59 +02:00 |
|
|
|
56594489a8
|
redirect unikernel
|
2023-06-03 12:46:57 +02:00 |
|
|
|
a0c9cf9b80
|
fix solo5 deps
|
2023-06-02 20:50:14 +02:00 |
|
|
|
a0e9264c1e
|
new dns packages
|
2023-05-31 16:41:47 +02:00 |
|
|
|
68d181f8e5
|
restrict dns-secondary to old solo5
|
2023-05-31 16:23:44 +02:00 |
|
|
|
91a0f539a3
|
add local dns-server override
|
2023-05-31 16:22:56 +02:00 |
|
|
|
7065a37262
|
fix
|
2023-05-28 17:19:40 +02:00 |
|
|
|
f228c90938
|
add caldav package
|
2023-05-28 16:57:23 +02:00 |
|
|
|
823591e635
|
opam-mirror: upgrade from upstream
|
2023-05-28 16:34:23 +02:00 |
|
|
|
b177fc1548
|
update caldav-le-monitoring
|
2023-05-28 15:45:16 +02:00 |
|
