|
|
4a1c42366d
|
dns-primary-git is 4.8 now
|
2024-10-14 11:19:00 +02:00 |
|
|
|
35dfda6f35
|
dns-primary-git: mirage 4.7
|
2024-09-11 21:33:07 +02:00 |
|
|
|
7dae23eb7f
|
unikernels: relax solo5 upper bound
|
2024-05-30 09:34:53 +02:00 |
|
|
|
b56f27361a
|
DNS unikernels: update to 4.5.1
|
2024-05-20 11:51:03 +02:00 |
|
|
|
135df0d300
|
dns-primary-git uses mirage 4.5.0
|
2024-05-08 22:27:13 +02:00 |
|
|
|
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 |
|
|
|
a94d9efedb
|
dns-primary-git: new git-mirage
|
2023-04-03 18:23:46 +02:00 |
|
|
|
2469497d27
|
allow tcpip 8.x in unikernels
|
2023-03-17 23:15:41 +01:00 |
|
|
|
c84f4dfcb1
|
dns-primary-git: update to 4.3.4
|
2023-02-24 18:00:23 +01:00 |
|
|
|
241bd9f8dc
|
update dns-primary-git
|
2022-12-17 17:14:52 +01:00 |
|
|
|
4c220d1cbe
|
mirage unikernels: fix usage of - (previously _)
|
2022-08-29 20:18:28 +02:00 |
|
|
|
9b4d4e04b0
|
dns-primary-git goes mirageos 4
|
2022-08-29 19:15:38 +02:00 |
|
