Commit graph

313 commits

Author SHA1 Message Date
9a43120577 remove no longer needed overlays 2022-10-26 18:40:09 +02:00
4374f86b98 update opam-mirror 2022-10-26 18:38:40 +02:00
b8a26b9f8c albatross: sync from upstream 2022-10-26 18:17:48 +02:00
272119f282 update builder opam from upstream 2022-10-26 12:13:06 +02:00
e887cd761b Add solo5-tenders package (#2)
Solo5-tenders.0.7.3 is the same as solo5.0.7.3 with only the tenders and solo5-elftool. Solo5-tenders opam file conflicts with solo5 as they provide the same binaries. The OS packages are named solo5 and conflict with solo5-hvt.

Reviewed-on: https://git.robur.io/robur/unikernel-repo/pulls/2
Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
Co-committed-by: Reynir Björnsson <reynir@reynir.dk>
2022-10-25 13:11:51 +00:00
2279c41b62 qubes-firewall: also copy readme in install step 2022-10-13 09:58:57 +02:00
97bb3c31ba qubes-firewall: update to current main branch 2022-10-12 09:15:20 +02:00
149b666612 add http-mirage-client package 2022-10-05 14:42:55 +02:00
843fcf4eee paf is released now 2022-10-05 14:40:12 +02:00
6bd3b48c4b new paf and new git 2022-09-29 14:39:55 +02:00
31a376d2f6 remove mbr-format, mirage-block-partition, oneffs (all now released to the opam repository) 2022-09-29 00:11:46 +02:00
9a47c53208 tar-mirage: fix constraint 2022-09-27 17:33:41 +02:00
8d67d0ba60 tar, tar-mirage: use kv5 branches 2022-09-27 16:56:52 +02:00
883df148ca fix typo in mbr-format opam file 2022-09-27 12:55:52 +02:00
92f5399c09 opam-mirror: update to current build branch 2022-09-27 12:46:30 +02:00
949a1d4042 add mbr-format, oneffs, mirage-block-partition overlays 2022-09-27 12:42:56 +02:00
aac0db1885 add paf with increased timeout 2022-09-26 14:19:40 +02:00
ebcb8cc8ce update opam-mirror unikernel to reflect current branch 2022-09-26 13:49:57 +02:00
74fc7e7604 add git-kv 2022-09-26 13:45:29 +02:00
773bca4f88 fix opam-mirror 2022-09-25 20:10:22 +02:00
613634f567 add opam mirror unikernel 2022-09-25 19:51:46 +02:00
5caf5e3024 add tar overlay with rw support 2022-09-25 19:28:33 +02:00
51866b74ee tlstunnel-monitoring goes mirage4 2022-09-25 17:39:10 +02:00
5badf9b9a2 tlstunnel goes mirage4 2022-09-25 17:32:08 +02:00
9af38175d0 nqsb.io: fix opam-lock-location 2022-08-30 20:01:42 +02:00
6a8fdd04fd qubes firewall goes mirageos 4 2022-08-30 16:32:29 +02:00
5a49bd5c51 unipi is mirage 4 now 2022-08-30 10:18:15 +02:00
4c220d1cbe mirage unikernels: fix usage of - (previously _) 2022-08-29 20:18:28 +02:00
18bae7ab32 ovpn router goes mirage4 2022-08-29 20:07:22 +02:00
4831384b5f nqsb io is now mirage4 2022-08-29 19:46:40 +02:00
c1da1d7ea2 retreat goes mirageos4 2022-08-29 19:40:01 +02:00
14c8bb4f81 dns-stub and dnsvizor go mirageos4 2022-08-29 19:34:15 +02:00
18d052443b dns-resolver goes mirageos 4 2022-08-29 19:26:30 +02:00
9b4d4e04b0 dns-primary-git goes mirageos 4 2022-08-29 19:15:38 +02:00
029b16dec5 dns-letsencrypt goes mirageos 4 2022-08-29 18:18:40 +02:00
ab04614eaa remove gmp 6.2.1-3 (now released upstream) 2022-08-29 17:57:04 +02:00
9e3e855fd0 tree_layout: Fix brainfart 2022-08-24 10:03:24 +02:00
a62b974418 Add tree_layout#master, modulectomy depends on it 2022-08-24 09:57:16 +02:00
be4861cc8f modulectomy: Add tree-layout dependency 2022-08-23 11:16:19 +02:00
0cfab7af87 opam-graph: add packaging invocations 2022-08-23 10:32:28 +02:00
ab444d9df0 Update modulectomy
Include fmt dependency and packaging script invocations.
2022-08-23 10:29:57 +02:00
2249bdbbe3 dns-secondary-monitoring goes mirage 4 2022-08-22 12:03:02 +02:00
93f158de33 dns-secondary goes mirage 4 2022-08-09 15:23:13 +02:00
4502cce7f5 tlstunnel-monitoring: revert tcpip bound to latest release 2022-08-09 14:43:33 +02:00
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