|
|
31d1d569b1
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
|
|
86af1fb015
|
bump mirage dep to 4.4.0
|
2023-06-21 19:16:32 +02:00 |
|
|
|
a0c9cf9b80
|
fix solo5 deps
|
2023-06-02 20:50:14 +02:00 |
|
|
|
68d181f8e5
|
restrict dns-secondary to old solo5
|
2023-05-31 16:23:44 +02:00 |
|
|
|
2469497d27
|
allow tcpip 8.x in unikernels
|
2023-03-17 23:15:41 +01:00 |
|
|
|
920f9213cc
|
update to mirage 4.3.4
|
2023-03-12 16:45:39 +01:00 |
|
|
|
4a9fc8ed0e
|
relax mirage bounds to < 4.4.0 for unikernels
|
2023-02-24 18:29:37 +01:00 |
|
|
|
93f158de33
|
dns-secondary goes mirage 4
|
2022-08-09 15:23:13 +02:00 |
|
