../ matita-doc_0.5.7-2ubuntu2_all.deb 07-Jun-2017 01:36 1206948 matita-standard-library_0.5.7-2ubuntu2_all.deb 07-Jun-2017 01:36 16266554 matita_0.5.7-2ubuntu2_i386.deb 07-Jun-2017 01:36 4845088