ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/m/matita/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
matita_0.99.1-3.debian.tar.gz 484811-Dec-2013 21:28
matita_0.99.1-3.dsc 154211-Dec-2013 21:28
matita_0.99.1-3_amd64.deb 2M24-Dec-2013 04:08
matita_0.99.1-3_i386.deb 2M24-Dec-2013 04:08
matita_0.99.1.orig.tar.gz 10M17-May-2012 15:33