Info repository: differenze tra le versioni

(Usato il protocollo "file://" invece di "http://" (dovrebbe essere più affidabile))
(Ripristinate le descrizioni)