ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/p/proofgeneral/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
proofgeneral_4.3~pre131011-0.2.dsc 197517-Nov-2014 03:33
proofgeneral_4.4.1~pre170114-1.2.dsc 198319-Dec-2019 21:58
proofgeneral_4.4.1~pre170114-1.dsc 198917-Jan-2017 09:13
proofgeneral_4.5-1.dsc 200017-Aug-2023 21:16
proofgeneral_4.3~pre130510-1.1.dsc 201628-Feb-2014 16:38
proofgeneral_4.5-1.debian.tar.xz 17K17-Aug-2023 21:16
proofgeneral_4.3~pre130510-1.1.debian.tar.xz 19K28-Feb-2014 16:38
proofgeneral_4.3~pre131011-0.2.debian.tar.xz 19K17-Nov-2014 03:33
proofgeneral_4.4.1~pre170114-1.debian.tar.xz 19K17-Jan-2017 09:13
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19K19-Dec-2019 21:58
proofgeneral_4.3~pre130510-1.1_all.deb 353K28-Feb-2014 16:38
proofgeneral_4.3~pre131011-0.2_all.deb 356K17-Nov-2014 03:34
proofgeneral_4.4.1~pre170114-1.2_all.deb 530K19-Dec-2019 22:28
proofgeneral_4.4.1~pre170114-1_all.deb 530K17-Jan-2017 09:23
proofgeneral_4.5-1_all.deb 577K17-Aug-2023 21:49
proofgeneral-doc_4.3~pre130510-1.1_all.deb 642K28-Feb-2014 16:38
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 655K19-Dec-2019 22:28
proofgeneral-doc_4.4.1~pre170114-1_all.deb 656K17-Jan-2017 09:23
proofgeneral-doc_4.3~pre131011-0.2_all.deb 665K17-Nov-2014 03:34
proofgeneral-doc_4.5-1_all.deb 667K17-Aug-2023 21:49
proofgeneral_4.3~pre130510.orig.tar.gz 1023K18-May-2013 21:33
proofgeneral_4.5.orig.tar.gz 1M17-Aug-2023 21:16
proofgeneral_4.4.1~pre170114.orig.tar.xz 9M17-Jan-2017 09:13
proofgeneral_4.3~pre131011.orig.tar.xz 11M25-Oct-2014 16:32