30 Jul
                
                    2014
                
            
            
                30 Jul
                
                '14
                
            
            
            
        
    
                4: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