ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/p/proofgeneral/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
proofgeneral_4.4.1~pre170114.orig.tar.xz 9M17-Jan-2017 01:49
proofgeneral_4.5.orig.tar.gz 1M17-Aug-2023 16:46
proofgeneral-doc_4.5-1_all.deb 681K17-Aug-2023 17:22
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 666K19-Dec-2019 13:21
proofgeneral_4.5-1_all.deb 625K17-Aug-2023 17:22
proofgeneral_4.4.1~pre170114-1.2_all.deb 589K19-Dec-2019 13:21
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19K19-Dec-2019 12:06
proofgeneral_4.5-1.debian.tar.xz 17K17-Aug-2023 16:46
proofgeneral_4.5-1.dsc 200017-Aug-2023 16:46
proofgeneral_4.4.1~pre170114-1.2.dsc 198319-Dec-2019 12:06