ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/p/prover9-manual/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
prover9-manual_0.0.200902a.orig.tar.gz 1010K15-Mar-2009 05:32
prover9-manual_0.0.200902a-2.dsc 196804-May-2013 09:20
prover9-manual_0.0.200902a-2.debian.tar.gz 470304-May-2013 09:20
prover9-manual_0.0.200902a-2.1.dsc 198006-Jan-2021 02:32
prover9-manual_0.0.200902a-2.1.debian.tar.xz 466806-Jan-2021 02:32
prover9-doc_0.0.200902a-2_all.deb 946K04-May-2013 09:20
prover9-doc_0.0.200902a-2.1_all.deb 837K06-Jan-2021 03:29