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