
30 Jul
2014
30 Jul
'14
11:43 a.m.
Hi, I really like to see big formally verified software. But it seems your provide no way to verify the downloads from your repositories. I think you should use signed git tags and also ensure that repo verify those. HW42