|
|
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 |
|
