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 |
|
|
|
415b921b45
|
tlstunnel update
|
2021-01-27 19:17:23 +01:00 |
|
|
|
26f97442f6
|
robur + full: require old irmin (which include old git), since API changed in git 3.x
|
2021-01-22 12:43:57 +01:00 |
|
|
|
06f27671c7
|
use mirage at master for dns
|
2021-01-22 11:18:36 +01:00 |
|
|
|
79325d6009
|
upgrade dns-primary-git, fix constraints
|
2021-01-18 18:02:24 +01:00 |
|
|
|
e42b2035de
|
upgrade secondary
|
2021-01-18 17:56:30 +01:00 |
|
|
|
220984e0d5
|
upgrade let's encrypt
|
2021-01-18 17:51:58 +01:00 |
|
|
|
a5c021c97a
|
updated ovpn router
|
2021-01-18 17:30:21 +01:00 |
|
|
|
14f1447f07
|
dns 4 bugfixes is released
|
2021-01-12 16:15:43 +01:00 |
|
|
|
8e985ff8f3
|
dns master is now 5.0.0
|
2021-01-11 14:05:14 +01:00 |
|
|
|
584a53ffdf
|
awa now landed in opam repo, remove here
|
2021-01-07 18:05:11 +01:00 |
|
|
|
1561d914e2
|
remove pin depend
|
2021-01-07 15:52:35 +01:00 |
|
|
|
78d4bfa9f0
|
add awa temporarily
|
2021-01-07 15:51:52 +01:00 |
|
|
|
e7664880cb
|
temporarily pin awa
|
2021-01-07 15:48:31 +01:00 |
|
|
|
e72806d590
|
updgrade caldav to NG
|
2021-01-07 15:38:31 +01:00 |
|
|
|
30b8beda5e
|
roburio NG
|
2021-01-07 14:26:15 +01:00 |
|
|
|
2900b3d80f
|
stage dns 5.0.0
|
2021-01-06 14:39:14 +01:00 |
|
|
|
6c6fa042c9
|
tlstunnel monitoring
|
2021-01-06 14:23:00 +01:00 |
|
|
|
6e2202e913
|
hannes nqsb: use right url
|
2020-12-21 18:03:02 +01:00 |
|
|
|
9eb0685d3d
|
conduit newer
|
2020-12-21 17:52:07 +01:00 |
|
|
|
9f17e1869a
|
hannes.nqsb: typo in version constraint
|
2020-12-21 16:57:47 +01:00 |
|
|
|
9c76e4e078
|
remove old unikernel
|
2020-12-21 16:52:49 +01:00 |
|
|
|
c2ab7bc465
|
hannes.nqsb.io: require monitoring-experiments 0.2.0
|
2020-12-21 16:30:04 +01:00 |
|
|
|
98f4dd4117
|
nqsbio:lower bound for monitoring-experiments
|
2020-12-21 15:56:14 +01:00 |
|
|
|
4274b96ac0
|
update hannes.nqsb.io unikernel, bump version
|
2020-12-21 15:50:52 +01:00 |
|
|
|
abeb7541b9
|
update nqsb.io unikernel, bump version
|
2020-12-21 15:44:29 +01:00 |
|
|
|
09b77e97d0
|
move dns to mirage/ocaml-dns#master
|
2020-12-17 15:09:29 +01:00 |
|
|
|
7c97086877
|
dns: use another branch
|
2020-12-11 12:39:05 +01:00 |
|
|
|
eb47f7f223
|
add a qubes-firewall flambda, and also set best-fit as default
|
2020-12-05 13:18:28 +01:00 |
|
|
|
0ea06dad55
|
dns-sec use default branch
|
2020-12-04 17:48:11 +01:00 |
|
|
|
0539eaeaea
|
dns-le use default branch
|
2020-12-04 17:45:15 +01:00 |
|
|
|
c206492c74
|
avoid logs-syslog 0.3.0 atm
|
2020-12-04 17:08:37 +01:00 |
|
|
|
f157a133cb
|
qubes firewall rename
|
2020-12-04 16:16:04 +01:00 |
|
|
|
bb9dfddf5a
|
renames and dns unikernels
|
2020-12-04 15:47:07 +01:00 |
|
|
|
1503fab9ff
|
unipi
|
2020-12-04 15:25:54 +01:00 |
|
|
|
8ac1096ca5
|
tlstunnel
|
2020-12-04 14:52:15 +01:00 |
|
|
|
a3f3bc757c
|
qubes-firewall: do not install stuff into etc
|
2020-12-04 09:19:19 +01:00 |
|
|
|
c034aa2888
|
qubes-firewall
|
2020-12-03 21:20:25 +01:00 |
|
|
|
17f63cbc94
|
more unikernels
|
2020-11-25 00:01:31 +01:00 |
|
|
|
e3998114f3
|
initial
|
2020-11-24 22:35:06 +01:00 |
|
