Index of /ubuntu/pool/universe/p/proofgeneral/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
proofgeneral_4.4.1~pre170114-1_all.deb 530K2017-Jan-17 05:23
proofgeneral-doc_4.4.1~pre170114-1_all.deb 656K2017-Jan-17 05:23
proofgeneral_4.4.1~pre170114-1.dsc 19892017-Jan-17 05:13
proofgeneral_4.4.1~pre170114-1.debian.tar.xz 19K2017-Jan-17 05:13
proofgeneral_4.4.1~pre170114.orig.tar.xz 9M2017-Jan-17 05:13
proofgeneral_4.3~pre131011-0.2_all.deb 356K2014-Nov-16 23:34
proofgeneral-doc_4.3~pre131011-0.2_all.deb 665K2014-Nov-16 23:34
proofgeneral_4.3~pre131011-0.2.debian.tar.xz 19K2014-Nov-16 23:33
proofgeneral_4.3~pre131011-0.2.dsc 19752014-Nov-16 23:33
proofgeneral_4.3~pre131011.orig.tar.xz 11M2014-Oct-25 12:32
proofgeneral-doc_4.3~pre130510-1.1_all.deb 642K2014-Feb-28 12:38
proofgeneral_4.3~pre130510-1.1_all.deb 353K2014-Feb-28 12:38
proofgeneral_4.3~pre130510-1.1.debian.tar.xz 19K2014-Feb-28 12:38
proofgeneral_4.3~pre130510-1.1.dsc 20162014-Feb-28 12:38
proofgeneral_4.3~pre130510.orig.tar.gz 1023K2013-May-18 17:33
proofgeneral-coq_3.7-4_all.deb 71K2010-Oct-17 15:05
proofgeneral-doc_3.7-4_all.deb 88K2010-Oct-17 15:05
proofgeneral-minlog_3.7-4_all.deb 20K2010-Oct-17 15:05
proofgeneral-misc_3.7-4_all.deb 139K2010-Oct-17 15:05
proofgeneral_3.7-4_all.deb 474K2010-Oct-17 15:05
proofgeneral_3.7-4.diff.gz 24K2010-Oct-15 14:09
proofgeneral_3.7-4.dsc 17422010-Oct-15 14:09
proofgeneral_3.7.orig.tar.gz 2M2008-May-03 04:19