e5c701aead
update dns-letsencrypt from upstream
2023-01-13 18:19:48 +01:00
5991e1dccf
unipi: update from upstream
2022-12-27 14:59:26 +01:00
007e78b1ba
caldav-le-monitoring: update
2022-12-19 16:30:41 +01:00
05ed085603
caldav-monitoring: update
2022-12-19 16:22:32 +01:00
4e56df747d
caldav-hvt: update
2022-12-19 16:08:52 +01:00
2f33c0d49f
upgrade solo5 to 0.7.5
2022-12-17 17:31:01 +01:00
384912c2f0
dns-primary-git-monitoring: upgrade to recent changes
2022-12-17 17:19:22 +01:00
241bd9f8dc
update dns-primary-git
2022-12-17 17:14:52 +01:00
cbc6227f95
remove solo5-bindings-hvt now that solo5-tenders is around
2022-11-17 12:12:48 +01:00
5244b4b659
upgrade solo5-tenders to 0.7.4
2022-11-15 17:44:14 +01:00
946455dc9a
remove roburio and hannes unikernel, now using unipi
2022-11-07 11:04:08 +01:00
17fb82c3b1
unipi monitoring unikernel
2022-11-06 22:11:11 +01:00
ae3232e833
opam-mirror: use main branch
2022-11-04 10:25:17 +01:00
5e7a64efdb
update from upstream (albatross, builder: use http-lwt-client 0.2.0)
2022-11-03 15:18:17 +01:00
3a49fd82f2
update opam-mirror package
2022-11-02 22:23:10 +01:00
410cb90b42
update unipi from main branch
2022-11-02 22:15:48 +01:00
0e1064337a
remove (now relesaed) http-mirage-client
2022-11-02 22:13:52 +01:00
680e6ad606
caldav-le-monitoring: fix opam
2022-10-28 22:09:49 +02:00
1665271341
caldav and tar are now merged into opam-repository
2022-10-28 21:42:16 +02:00
0694c7a823
remove unneeded opam packages
2022-10-28 16:29:22 +02:00
a3504851ab
caldav-le-monitoring is now with mirage4
2022-10-28 16:28:18 +02:00
007b6c0aa2
caldav-monitoring is on mirage4 now
2022-10-28 16:20:44 +02:00
231be75dd8
caldav: upgrade to mirage 4
2022-10-28 16:18:46 +02:00
57272be65a
temporarily add tar overlay
2022-10-28 13:34:38 +02:00
8ee6a94f7b
update qubes-mirage-firewall
2022-10-27 15:06:55 +02:00
c4e96cf44d
dnsvizor/dns-stub: update to recent changes
2022-10-27 12:45:11 +02:00
9a43120577
remove no longer needed overlays
2022-10-26 18:40:09 +02:00
4374f86b98
update opam-mirror
2022-10-26 18:38:40 +02:00
b8a26b9f8c
albatross: sync from upstream
2022-10-26 18:17:48 +02:00
272119f282
update builder opam from upstream
2022-10-26 12:13:06 +02:00
e887cd761b
Add solo5-tenders package ( #2 )
...
Solo5-tenders.0.7.3 is the same as solo5.0.7.3 with only the tenders and solo5-elftool. Solo5-tenders opam file conflicts with solo5 as they provide the same binaries. The OS packages are named solo5 and conflict with solo5-hvt.
Reviewed-on: https://git.robur.io/robur/unikernel-repo/pulls/2
Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
Co-committed-by: Reynir Björnsson <reynir@reynir.dk>
2022-10-25 13:11:51 +00:00
2279c41b62
qubes-firewall: also copy readme in install step
2022-10-13 09:58:57 +02:00
97bb3c31ba
qubes-firewall: update to current main branch
2022-10-12 09:15:20 +02:00
149b666612
add http-mirage-client package
2022-10-05 14:42:55 +02:00
843fcf4eee
paf is released now
2022-10-05 14:40:12 +02:00
6bd3b48c4b
new paf and new git
2022-09-29 14:39:55 +02:00
31a376d2f6
remove mbr-format, mirage-block-partition, oneffs (all now released to the opam repository)
2022-09-29 00:11:46 +02:00
9a47c53208
tar-mirage: fix constraint
2022-09-27 17:33:41 +02:00
8d67d0ba60
tar, tar-mirage: use kv5 branches
2022-09-27 16:56:52 +02:00
883df148ca
fix typo in mbr-format opam file
2022-09-27 12:55:52 +02:00
92f5399c09
opam-mirror: update to current build branch
2022-09-27 12:46:30 +02:00
949a1d4042
add mbr-format, oneffs, mirage-block-partition overlays
2022-09-27 12:42:56 +02:00
aac0db1885
add paf with increased timeout
2022-09-26 14:19:40 +02:00
ebcb8cc8ce
update opam-mirror unikernel to reflect current branch
2022-09-26 13:49:57 +02:00
74fc7e7604
add git-kv
2022-09-26 13:45:29 +02:00
773bca4f88
fix opam-mirror
2022-09-25 20:10:22 +02:00
613634f567
add opam mirror unikernel
2022-09-25 19:51:46 +02:00
5caf5e3024
add tar overlay with rw support
2022-09-25 19:28:33 +02:00
51866b74ee
tlstunnel-monitoring goes mirage4
2022-09-25 17:39:10 +02:00
5badf9b9a2
tlstunnel goes mirage4
2022-09-25 17:32:08 +02:00
9af38175d0
nqsb.io: fix opam-lock-location
2022-08-30 20:01:42 +02:00
6a8fdd04fd
qubes firewall goes mirageos 4
2022-08-30 16:32:29 +02:00
5a49bd5c51
unipi is mirage 4 now
2022-08-30 10:18:15 +02:00
4c220d1cbe
mirage unikernels: fix usage of - (previously _)
2022-08-29 20:18:28 +02:00
18bae7ab32
ovpn router goes mirage4
2022-08-29 20:07:22 +02:00
4831384b5f
nqsb io is now mirage4
2022-08-29 19:46:40 +02:00
c1da1d7ea2
retreat goes mirageos4
2022-08-29 19:40:01 +02:00
14c8bb4f81
dns-stub and dnsvizor go mirageos4
2022-08-29 19:34:15 +02:00
18d052443b
dns-resolver goes mirageos 4
2022-08-29 19:26:30 +02:00
9b4d4e04b0
dns-primary-git goes mirageos 4
2022-08-29 19:15:38 +02:00
029b16dec5
dns-letsencrypt goes mirageos 4
2022-08-29 18:18:40 +02:00
ab04614eaa
remove gmp 6.2.1-3 (now released upstream)
2022-08-29 17:57:04 +02:00
9e3e855fd0
tree_layout: Fix brainfart
2022-08-24 10:03:24 +02:00
a62b974418
Add tree_layout#master, modulectomy depends on it
2022-08-24 09:57:16 +02:00
be4861cc8f
modulectomy: Add tree-layout dependency
2022-08-23 11:16:19 +02:00
0cfab7af87
opam-graph: add packaging invocations
2022-08-23 10:32:28 +02:00
ab444d9df0
Update modulectomy
...
Include fmt dependency and packaging script invocations.
2022-08-23 10:29:57 +02:00
2249bdbbe3
dns-secondary-monitoring goes mirage 4
2022-08-22 12:03:02 +02:00
93f158de33
dns-secondary goes mirage 4
2022-08-09 15:23:13 +02:00
4502cce7f5
tlstunnel-monitoring: revert tcpip bound to latest release
2022-08-09 14:43:33 +02:00
f07a331f7a
hello / traceroute (mirage 4): execute depext-lockfile as pre-build command
2022-08-08 22:05:57 +02:00
bc0ce94d6d
static-website: use lock depext-lockfile pull
2022-08-08 21:02:43 +02:00
6ae0781782
use depend instead of lock and pull
2022-08-08 20:52:18 +02:00
3c69bfbf52
remove tcpip 7.2.99
2022-08-08 18:31:44 +02:00
81ddb231eb
fix opam remote for gmp
2022-08-08 18:30:56 +02:00
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
