Index of /trisquel/pool/main/p/proofgeneral
Name Last modified Size
Parent Directory -
proofgeneral-doc_4.3~pre130510-1.1_all.deb 2014-02-28 12:38 642K
proofgeneral_3.7-3.1.diff.gz 2009-11-06 10:04 23K
proofgeneral_3.7-3.1.dsc 2009-11-06 10:04 1.1K
proofgeneral_3.7-3build1.diff.gz 2008-08-06 19:13 21K
proofgeneral_3.7-3build1.dsc 2008-08-06 19:13 1.1K
proofgeneral_3.7-4.diff.gz 2010-10-15 14:09 24K
proofgeneral_3.7-4.dsc 2010-10-15 14:09 1.7K
proofgeneral_3.7.orig.tar.gz 2008-05-03 04:19 1.9M
proofgeneral_4.3~pre130510-1.1.debian.tar.xz 2014-02-28 12:38 19K
proofgeneral_4.3~pre130510-1.1.dsc 2014-02-28 12:38 2.0K
proofgeneral_4.3~pre130510-1.1_all.deb 2014-02-28 12:38 353K
proofgeneral_4.3~pre130510.orig.tar.gz 2013-05-18 17:33 1.0M