Package without url removed
Coq's package removed
'archive' keyword replaced by 'http'