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