Commit graph

486 commits

Author SHA1 Message Date
3c15aec70c dns-stub: update to mirage 4.7.0 2024-09-11 22:33:17 +02:00
71245903f9 unipi: mirage 4.7 2024-09-11 22:31:19 +02:00
7e4da81600 tlstunnel: mirage 4.7 2024-09-11 22:22:53 +02:00
b9cddd5bdc dnsvizor: mirage 4.7 2024-09-11 21:53:01 +02:00
5ce9ae54e3 dns-secondary: mirage 4.7 2024-09-11 21:42:02 +02:00
35dfda6f35 dns-primary-git: mirage 4.7 2024-09-11 21:33:07 +02:00
4f9984c0e4 dns-letsencrypt-secondary: mirage 4.7 2024-09-11 21:26:13 +02:00
4d4c7011ef static-website: mirage 4.7 2024-09-11 21:08:47 +02:00
a335acd9fd hello: with 4.7.0 2024-09-11 21:06:24 +02:00
8b21ed81dc retreat: with 4.7.0 2024-09-11 21:04:41 +02:00
7105dfbcc2 update traceroute 2024-09-11 20:56:16 +02:00
d3d6b0279d update utcp from upstream 2024-09-11 20:33:52 +02:00
26d7a22be8 mollymawk: update mirage bounds 2024-09-11 13:15:04 +02:00
0737f4ec38 update builder, builder-web, albatross 2024-09-05 19:06:53 +02:00
201c82e837 Pin builder
Due to builder now depending on versions that will make builder-web
break...
2024-08-29 10:30:59 +02:00
6d01cfce95 Merge pull request 'Revert "revert orb, we need opam 2.1.2"' (#1) from orb-opam.2.2.1 into main
Reviewed-on: https://git.robur.coop///robur/unikernel-repo/pulls/1
2024-08-26 16:01:44 +00:00
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