Index of /ubuntu-old/pool/universe/m/matita/
name
size
date
matita-standard-library_0.5.7-2ubuntu2_all.deb
15.51M
2022-01-19 10:21:44
matita_0.5.7-2ubuntu2_amd64.deb
4.80M
2022-01-19 10:21:44
matita-doc_0.5.7-2ubuntu2_all.deb
1.15M
2022-01-19 10:21:43