5 commits

Author	SHA1	Message	Date
Robur	c992a52f23	unikernels: strip binary in bin, preserve a debug one	2021-06-25 10:06:10 +00:00
Hannes Mehnert	a5b39b6ca2	adapt mirage versions	2021-05-04 00:32:11 +02:00
Hannes Mehnert	11c5357165	dns-primary update to new irmin and dns	2021-04-30 11:04:26 +02:00
Hannes Mehnert	38379a226e	require mirage < 3.10.2 for unikernels that use git (incompatible with conduit 2.3)	2021-04-03 20:19:00 +02:00
Hannes Mehnert	e94f13982a	new primary dns	2021-03-17 22:38:38 +01:00