Commit graph

491 commits

Author SHA1 Message Date
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