ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/p/p9m4/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
p9m4_0.5.dfsg-3.dsc 172615-Dec-2015 03:09
p9m4_0.5.dfsg-2.1.dsc 202314-Dec-2011 15:03
p9m4_0.5.dfsg-3.debian.tar.xz 879215-Dec-2015 03:09
p9m4_0.5.dfsg-2.1.diff.gz 887014-Dec-2011 15:03
prover9-mace4_0.5.dfsg-3_all.deb 51K15-Dec-2015 03:40
prover9-mace4_0.5.dfsg-2.1_all.deb 68K14-Dec-2011 15:04
p9m4_0.5.dfsg.orig.tar.gz 87K07-May-2008 16:04