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