|
|
ea122e28fb
|
restrict unikernels to git < 3.8.0
|
2022-02-05 11:41:55 +01:00 |
|
|
|
f106f8795d
|
update dns-primary-git
|
2022-01-09 13:34:07 +01:00 |
|
|
|
cd28ca5426
|
update from upstream
|
2021-11-09 19:53:24 +01:00 |
|
|
|
143a7bdbfa
|
unikernel: enhance synopsis, copy README.md for preservation
|
2021-06-30 11:21:50 +02:00 |
|
Robur
|
c992a52f23
|
unikernels: strip binary in bin, preserve a debug one
|
2021-06-25 10:06:10 +00:00 |
|
|
|
a5b39b6ca2
|
adapt mirage versions
|
2021-05-04 00:32:11 +02:00 |
|
|
|
11c5357165
|
dns-primary update to new irmin and dns
|
2021-04-30 11:04:26 +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 |
|
|
|
e94f13982a
|
new primary dns
|
2021-03-17 22:38:38 +01:00 |
|
