ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/p/prover9-manual/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
prover9-manual_0.0.200902a.orig.tar.gz 1010K29-Apr-2009 17:05
prover9-manual_0.0.200902a-2.dsc 196804-May-2013 15:33
prover9-manual_0.0.200902a-2.debian.tar.gz 470304-May-2013 15:33
prover9-manual_0.0.200902a-2.1.dsc 198006-Jan-2021 09:40
prover9-manual_0.0.200902a-2.1.debian.tar.xz 466806-Jan-2021 09:40
prover9-doc_0.0.200902a-2_all.deb 944K04-May-2013 15:33
prover9-doc_0.0.200902a-2.1_all.deb 837K06-Jan-2021 09:40