Commit graph

489 commits

Author SHA1 Message Date
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
96a6d337a7 update static-website to mirageos 4.2 2022-08-05 11:59:53 +02:00
d422e88e38 update traceroute to mirageos 4.2 2022-08-05 11:50:35 +02:00
357651b37a minor 2022-08-05 11:50:06 +02:00
c6127dfa03 hello: re-add sensible synopsis 2022-08-05 11:37:32 +02:00
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
866ca47c31 dns-primary-git, canopy: restrict to irmin < 3.0 2022-02-28 11:40:01 +01:00
8ab1b53735 albatross: require cmdliner < 1.1.0 2022-02-25 16:02:43 +01:00
6502089e17 monitoring-experiments: require dune < 3 to enable building on FreeBSD 2022-02-25 15:58:18 +01:00
5e86253c00 albatross, builder, jackline: restrict to dune < 3 (until 3.0.3 is released that works on FreeBSD) 2022-02-25 15:50:01 +01:00
Robur
b5c655898c add albatross 2022-02-25 11:30:09 +00:00
f4108c4e0d add solo5-elftool and owee dependency 2022-02-23 22:13:31 +01:00
7f2f93fee5 builder-web: restrict to old dune for now (until 3.0.3 is released) 2022-02-23 13:30:51 +01:00
c8d5e80e29 builder-web requires dream 1.0 alpha2 2022-02-23 13:21:41 +01:00
2303f22168 rename solo5-bindings-hvt version number 2022-02-16 18:00:53 +01:00
a284336efa solo5-bindings-hvt bump version 2022-02-16 16:03:39 +01:00
34dceec1a1 bump solo5 to 0.6.9 2022-02-16 15:59:16 +01:00
ea122e28fb restrict unikernels to git < 3.8.0 2022-02-05 11:41:55 +01:00
b2e27d46f2 Add opam-graph, modulectomy packages
Remove pin-depends in builder-web and add new package opam-graph and
update modulectomy branch.
2022-02-02 13:03:50 +00:00
ec91a8f809 Update builder-web opam file
- Depend on tar, opam-graph, modulectomy
- Add pin-depends on opam-graph, modulectomy
2022-02-02 11:43:50 +00:00
812e7e2ce4 monitoring-experiments: update from upstream (pinned -> dev) 2022-01-29 17:06:31 +01:00
aa3f1f32e7 monitoring-experiments: update opam from upstream 2022-01-29 15:30:07 +01:00
bdb6fecd34 bump monitoring-experiments version number 2022-01-29 00:12:41 +01:00
ec0b382a68 add ~dev suffix to monitoring-experiments 2022-01-28 19:28:34 +01:00
576468ccf4 ptt moved to mirage org 2022-01-27 19:19:07 +01:00
c6b8058230 monitoring-experiments: adapt dependencies from upstream 2022-01-27 14:58:54 +01:00
dd646cf82d monitoring-experiments: adapt from upstream changes 2022-01-27 12:24:31 +01:00
71c81a4133 monitoring-experiments transfered to roburio on github 2022-01-27 12:18:23 +01:00
1990e5762d remove libffi, which was merged upstream 2022-01-27 11:37:32 +01:00
2bd97e75dd add conf-libffi freebsd depext 2022-01-25 17:26:23 +01:00
ac6dfc4dd4 smtp stack 2022-01-25 17:04:46 +01:00
4d90bcd2cc smtp helper packages 2022-01-25 16:34:23 +01:00
4ffdff17e7 dns-letsencrypt updates 2022-01-09 15:51:13 +01:00
38273c53d1 dns-resolver updates 2022-01-09 15:46:48 +01:00
c39bb8f951 mirage-dnsvizor: update 2022-01-09 15:42:48 +01:00
4b41c04623 mirage-dns-stub: update 2022-01-09 15:41:32 +01:00
f407d8cd0e mirage-unikernel-retreat: update 2022-01-09 15:39:39 +01:00
8cd282b9c7 mirage-unikernel-nqsb: update 2022-01-09 15:36:21 +01:00
94d738e14c mirage-dns-secondary-monitoring: update 2022-01-09 15:32:28 +01:00
5c8987d8ab mirage-dns-secondary: update 2022-01-09 15:30:33 +01:00
91a7c04fd6 openvpn: updates 2022-01-09 15:18:18 +01:00
54f6cc2c7d mirage-tlstunnel-monitoring: update 2022-01-09 15:03:05 +01:00
0c44c9f11e mirage-tlstunnel: update 2022-01-09 15:02:19 +01:00
9b1ffb7c91 mirage-unikernel-robur: update 2022-01-09 14:52:59 +01:00
c942476487 mirage-unikernel-hannes-nqsb: update 2022-01-09 14:50:47 +01:00
d0a4385226 mirage-unikernel-caldav-monitoring-le: update 2022-01-09 14:42:02 +01:00
a62f9ac7f1 mirage-unikernel-caldav-monitoring: update 2022-01-09 14:39:17 +01:00
f63bedd669 mirage-unikernel-caldav: update 2022-01-09 14:34:32 +01:00
d1705a14fc mirage-unikernel-unipi-with-kv: update 2022-01-09 14:18:21 +01:00
14c64b1011 mirage-unikernel-unipi: update 2022-01-09 14:12:19 +01:00
56625cd73a update qubes-firewall 2022-01-09 13:39:28 +01:00
e8fabd82c3 update dns-primary-git-monitoring 2022-01-09 13:37:13 +01:00
f106f8795d update dns-primary-git 2022-01-09 13:34:07 +01:00
71678b1fc6 rename xmpp packages to dev versions 2021-12-29 01:33:26 +01:00
653b5a1cc3 opam: pinned -> dev 2021-12-28 17:14:54 +01:00
842207b1f4 add jackline & friends 2021-12-28 17:00:22 +01:00
c9f0292923 update dnsvizor opam file 2021-12-21 12:17:29 +01:00
51964a4a4b update traceroute opam file 2021-12-21 12:13:28 +01:00
dc39578ffe update from upstream 2021-12-09 21:59:24 +01:00
Robur
c1f520c3ff modulectomy: add containers-data dep 2021-12-06 12:47:50 +00:00
Robur
39e35110a9 modulectomy: add deps 2021-12-06 11:54:17 +00:00
Robur
ea69e8090b add modulectomy 2021-12-06 11:28:02 +00:00
Robur
111e33d802 update dns-resolver from upstream 2021-11-19 14:27:17 +00:00
Robur
1beaa5d07a update dns-resolver from upstream 2021-11-19 14:17:39 +00:00
7ce4cb8e82 update builder-web from upstream 2021-11-14 13:57:50 +01:00
3953e7d270 move builder to newer version 2021-11-12 12:49:24 +01:00
e2899ca599 update orb.opam from upstream (opam 2.1.1 is good) 2021-11-12 12:37:00 +01:00
cf4596b749 qubes-firewall: build from master branch 2021-11-12 12:32:51 +01:00
46cebf73da remove qubes-firewall-flambda 2021-11-11 10:41:56 +01:00
ae665e02e7 qubes-firewall: update 2021-11-11 10:41:34 +01:00
93b7050d94 update from upstream 2021-11-10 14:09:07 +01:00
c449274b1e let's encrypt: update from upstream 2021-11-10 13:20:00 +01:00
eb55bbb4dc update from upstream 2021-11-09 19:57:32 +01:00
cd28ca5426 update from upstream 2021-11-09 19:53:24 +01:00
Robur
fd06f90db9 increase version number of builder 2021-11-08 15:25:28 +00:00
Robur
2fa3f098f3 builder-web has been adapted to builder 0.2.0 2021-11-03 14:40:45 +00:00
Robur
85e701af97 add dev version of builder 2021-11-03 13:22:05 +00:00
44bb7b9672 dnsvizor: update from upstream 2021-11-03 13:10:31 +01:00
84db128ead update monitoring-experiments from upstream 2021-11-03 09:12:29 +01:00
7568266954 tcpip 6.3.0 is released with the monitoring extensions 2021-11-02 12:27:08 +01:00
67ba11d38e update from upstream 2021-10-20 14:27:04 +02:00
96542b32af sync openvpn from upstream 2021-10-20 11:22:22 +02:00
0945e11934 remove now released dns 6.0.0 2021-10-20 11:02:51 +02:00
8ca4494fa2 openvpn: adapt from upstream 2021-10-19 19:56:59 +02:00
f22caee193 add dnsvizor 2021-10-06 10:28:45 +02:00
99e62d6ce2 add dns-stub 2021-09-29 09:45:43 +02:00
157e707bf6 dns-letsencrypt unikernels require letsencrypt 0.4.0 now 2021-09-27 13:04:56 +02:00
4934f4d0b6 use main branch of retreat 2021-09-16 20:29:25 +02:00
ee480314a6 remove packages released to opam-repository 2021-09-16 11:06:45 +02:00
8bbf1aba8f update openvpn-router to use a block device for storage 2021-09-14 16:06:37 +02:00
8c3b3c48c6 tls from latest release 2021-09-13 21:22:55 +02:00
Robur
48a85f8fa0 updates from upstream 2021-09-13 09:37:09 +00:00
caebf5f999 sync opam from dev repo 2021-09-10 10:00:56 +02:00
Robur
09e54a2fc6 update to builder @main 2021-09-09 12:42:57 +00:00
75d4edc521 remove httpaf-lwt-client 2021-09-06 15:12:50 +02:00
009206298d update httpaf-lwt-client 2021-09-03 10:14:12 +02:00
547c0c2b94 builder on main branch still depends on curly 2021-08-10 19:32:54 +02:00
93380161da add httpaf-lwt-client 2021-08-10 13:36:36 +02:00
e4e0cff283 dns-letsencrypt: newer tls versions are fine 2021-08-09 11:37:50 +02:00
e9ebef6bdd albatross works with new tls as well 2021-08-06 13:09:04 +02:00
d1af4c3b47 openvpn works with new tls as well 2021-08-06 13:08:21 +02:00
5931cbf6fb tlstunnel: require tls-mirage > 0.14.0 2021-08-06 13:06:21 +02:00
ee939d9705 get rid of logs-syslog 2021-08-03 13:06:30 +02:00
06b2f50ded improve packaging: use sh -ex 2021-08-02 15:43:47 +02:00
6e368657c7 orb: sh with more debug 2021-08-02 15:13:45 +02:00
c7430dbc44 upgrade opam to 2.1.99, now that opam 2.1 is released 2021-08-02 14:13:53 +02:00
3f5a9cec19 tlstunnel requires new cstruct 2021-08-02 14:00:10 +02:00
a1b0a6aff8 update tcpip to 6.2.99 2021-08-02 13:52:48 +02:00
531620eff8 remove temporary tls packages 2021-08-02 13:36:50 +02:00
c8161c0ecc openvpn: require cstruct 6.0.0 2021-07-28 17:19:10 +02:00
8c133a61ee new logs-syslog with new tls 2021-07-28 10:29:41 +02:00
a4793f8a15 add tls-dev version, used in tlstunnel-monitoring only 2021-07-28 10:11:14 +02:00
Robur
559e712df7 dns resolver with monitoring 2021-07-27 11:30:17 +00:00
a78323d10c updates for letsencrypt 0.3.0 2021-07-21 11:01:37 +02:00
Robur
92b79b4074 add synopsis to dns-resolver 2021-07-20 15:44:31 +00:00
Robur
f916f62910 add a dns resolver 2021-07-20 15:36:35 +00:00
Robur
c8f0da2869 add omd dependency to builder-web 2021-06-30 12:55:44 +00:00
143a7bdbfa unikernel: enhance synopsis, copy README.md for preservation 2021-06-30 11:21:50 +02:00
df89203e02 albatross: packaging got merged into main 2021-06-29 17:57:46 +02:00
Robur
1628cd2d63 builder-web: debian packaging 2021-06-29 09:48:24 +00:00
f98147a370 traceroute unikernel 2021-06-28 09:59:09 +02:00
Robur
e368bb592e bump opam 2021-06-25 13:42:10 +00:00
Robur
0225b84e8e temporarily overwrite opam core 2021-06-25 13:27:08 +00:00
Robur
c992a52f23 unikernels: strip binary in bin, preserve a debug one 2021-06-25 10:06:10 +00:00
6f6489691d add albatross and solo5-hvt 2021-06-24 23:55:56 +02:00
Robur
3ea7c0aaa1 builder: debian packaging 2021-06-24 14:04:26 +00:00
Robur
7548513ba4 update orb build instructions 2021-06-24 13:22:38 +00:00
Robur
26bd237be3 improve builder-web packaging 2021-06-24 10:47:00 +00:00
Robur
ba7daa8c9f builder: execute packaging script 2021-06-24 10:29:16 +00:00
Robur
056f606ece fix typo 2021-06-24 09:47:30 +00:00
Robur
878baba6eb update orb metadata 2021-06-24 09:38:38 +00:00
Robur
f87cdbbada update orb constraints on opam 2021-06-18 13:33:13 +00:00
ae411b22d2 faraday is now released, no need to pin it 2021-06-17 13:44:51 +02:00
Robur
9801e8257d builder-app.opam: build builder 2021-06-14 10:26:21 +00:00
Robur
2d0ea09cc5 add builder app 2021-06-14 10:15:29 +00:00
Robur
3d1f43ce85 lower bound on dream 2021-06-09 16:12:52 +00:00
Robur
70030f09bf update builder-web from upstream 2021-06-09 16:03:55 +00:00
Robur
254c965533 use our branch of faraday-lwt-unix 2021-06-09 15:54:26 +00:00
Robur
bb706ed6b9 add builder and builder-web 2021-06-09 15:44:18 +00:00
4d2be0c05b caldav is released to opam repository now 2021-05-09 18:15:16 +02:00
ea3f9eade7 fix provision version number 2021-05-04 23:07:44 +02:00
62f9764539 remove pin depend 2021-05-04 23:06:25 +02:00
dc1390c3b9 openvpn router unikernel using caravan 2021-05-04 23:05:34 +02:00
15db88325b orb home is now at roburio 2021-05-04 13:47:47 +02:00
850a2fe9a2 update unipi to new stack 2021-05-04 01:26:13 +02:00
5bb61c7dd1 le-monitoring: fix dns-certify constraint 2021-05-04 00:37:00 +02:00
a5b39b6ca2 adapt mirage versions 2021-05-04 00:32:11 +02:00
16bf93837b caldav updates 2021-05-04 00:31:59 +02:00
5ca40dae0c updated robur.io unikernel 2021-04-30 12:57:17 +02:00
3a9ebc1341 update hannes.nqsb.io 2021-04-30 12:31:33 +02:00
11c5357165 dns-primary update to new irmin and dns 2021-04-30 11:04:26 +02:00
0a0c4570e0 add orb 2021-04-29 13:37:30 +02:00
b5fecc0804 update tlstunnel unikernels 2021-04-26 22:56:24 +02:00
01f025f8a9 update dns-secondary unikernels 2021-04-26 22:37:59 +02:00
7d6c8cdd46 remove dns 5.x packages (now released to opam) 2021-04-26 22:37:47 +02:00
94a1d78c21 dns-letsencrypt: use dns 5.x 2021-04-26 22:28:02 +02:00
38379a226e require mirage < 3.10.2 for unikernels that use git (incompatible with conduit 2.3) 2021-04-03 20:19:00 +02:00
58a1304066 update dns-letsencrypt 2021-03-31 12:49:31 +02:00
063ba0101a new primary dns with monitoring 2021-03-17 22:41:03 +01:00
e94f13982a new primary dns 2021-03-17 22:38:38 +01:00
a7f46e5918 bump retreat 2021-03-17 22:21:16 +01:00
74e198405d add monitoring stuff 2021-03-17 21:29:45 +01:00
36334afcd1 update robur canopy 2021-03-17 21:19:03 +01:00
594d37a2e0 update canopy 2021-03-17 21:10:40 +01:00
49a9c58d5b unipi with kv 2021-03-14 16:47:41 +01:00
c10fc7e933 update unipi 2021-03-14 16:43:21 +01:00
d7c65890f3 caldav-le-monitoring 2021-03-14 14:29:11 +01:00
e822e7bae3 use main branch of caldav 2021-03-09 20:03:23 +01:00
beafcfe4e3 update caldav unikernels 2021-03-09 19:49:19 +01:00
ab8dac7be7 git 3.3.1 is released to opam-repo now 2021-03-05 20:11:33 +01:00
5abe1a2b3d use a git branch 2021-03-04 15:17:43 +01:00
2cb00acfd8 use a branch of git 2021-03-04 14:00:48 +01:00
b1ca7046eb add caldav and webmachine 2021-02-15 14:57:49 +01:00
6e6b1a88ec caldav unikernel 2021-02-15 14:53:14 +01:00
1af9ca71f7 update caldav to new git 2021-02-15 14:29:31 +01:00
34f5ee28cf . 2021-01-27 19:21:01 +01:00