Index of /debian-archive/pool/main/p/proofgeneral/

NameLast ModifiedSizeType
../ -  Directory
proofgeneral-coq_3.5-3_all.deb2005-Apr-30 20:56:3043.0Kapplication/vnd.debian.binary-package
proofgeneral-coq_3.5-4.1_all.deb2006-Dec-19 20:47:0743.6Kapplication/vnd.debian.binary-package
proofgeneral-coq_3.7-3_all.deb2008-Apr-02 13:17:0270.0Kapplication/vnd.debian.binary-package
proofgeneral-coq_3.7-4_all.deb2010-Oct-11 23:48:0870.8Kapplication/vnd.debian.binary-package
proofgeneral-doc_3.5-3_all.deb2005-Apr-30 20:56:30118.1Kapplication/vnd.debian.binary-package
proofgeneral-doc_3.5-4.1_all.deb2006-Dec-19 20:47:07118.6Kapplication/vnd.debian.binary-package
proofgeneral-doc_3.7-3_all.deb2008-Apr-02 13:17:0287.9Kapplication/vnd.debian.binary-package
proofgeneral-doc_3.7-4_all.deb2010-Oct-11 23:48:0888.0Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.2~pre120605-2_all.deb2012-Dec-06 13:41:02655.5Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.3~pre131011-0.2_all.deb2014-Nov-16 18:54:51671.0Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.4.1~pre170114-1_all.deb2017-Jan-16 23:49:15666.1Kapplication/vnd.debian.binary-package
proofgeneral-minlog_3.5-4.1_alpha.deb2006-Dec-20 22:33:0516.7Kapplication/vnd.debian.binary-package
proofgeneral-minlog_3.5-4.1_amd64.deb2006-Dec-20 01:47:0316.6Kapplication/vnd.debian.binary-package
proofgeneral-minlog_3.5-4.1_hppa.deb2006-Dec-19 22:32:0516.8Kapplication/vnd.debian.binary-package
proofgeneral-minlog_3.5-4.1_i386.deb2006-Dec-19 20:47:0716.6Kapplication/vnd.debian.binary-package
proofgeneral-minlog_3.5-4.1_mips.deb2006-Dec-20 22:33:0516.7Kapplication/vnd.debian.binary-package
proofgeneral-minlog_3.5-4.1_mipsel.deb2006-Dec-20 22:33:0516.7Kapplication/vnd.debian.binary-package
proofgeneral-minlog_3.5-4.1_powerpc.deb2006-Dec-20 22:33:0516.5Kapplication/vnd.debian.binary-package
proofgeneral-minlog_3.5-4.1_sparc.deb2006-Dec-20 13:02:0516.5Kapplication/vnd.debian.binary-package
proofgeneral-minlog_3.7-3_all.deb2008-Apr-02 13:17:0219.1Kapplication/vnd.debian.binary-package
proofgeneral-minlog_3.7-4_all.deb2010-Oct-11 23:48:0819.6Kapplication/vnd.debian.binary-package
proofgeneral-misc_3.5-3_all.deb2005-Apr-30 20:56:30146.2Kapplication/vnd.debian.binary-package
proofgeneral-misc_3.5-4.1_all.deb2006-Dec-19 20:47:07146.7Kapplication/vnd.debian.binary-package
proofgeneral-misc_3.7-3_all.deb2008-Apr-02 13:17:02138.2Kapplication/vnd.debian.binary-package
proofgeneral-misc_3.7-4_all.deb2010-Oct-11 23:48:08138.8Kapplication/vnd.debian.binary-package
proofgeneral_3.5-3.diff.gz2005-Apr-30 20:56:308.0Kapplication/gzip
proofgeneral_3.5-3.dsc2004-Aug-20 16:02:420.6Ktext/prs.lines.tag
proofgeneral_3.5-3_all.deb2005-Apr-30 20:56:30408.0Kapplication/vnd.debian.binary-package
proofgeneral_3.5-4.1.diff.gz2006-Dec-19 20:47:0719.6Kapplication/gzip
proofgeneral_3.5-4.1.dsc2006-Dec-19 20:47:070.6Ktext/prs.lines.tag
proofgeneral_3.5-4.1_all.deb2006-Dec-19 20:47:07411.3Kapplication/vnd.debian.binary-package
proofgeneral_3.5.orig.tar.gz2004-Aug-20 15:32:171.7Mapplication/x-gtar-compressed
proofgeneral_3.7-3.diff.gz2008-Apr-02 13:17:0220.9Kapplication/gzip
proofgeneral_3.7-3.dsc2008-Apr-02 13:17:020.7Ktext/prs.lines.tag
proofgeneral_3.7-3_all.deb2008-Apr-02 13:17:02471.9Kapplication/vnd.debian.binary-package
proofgeneral_3.7-4.diff.gz2010-Oct-11 23:48:0824.0Kapplication/gzip
proofgeneral_3.7-4.dsc2010-Oct-11 23:48:081.7Ktext/prs.lines.tag
proofgeneral_3.7-4_all.deb2010-Oct-11 23:48:08471.0Kapplication/vnd.debian.binary-package
proofgeneral_3.7.orig.tar.gz2008-Mar-19 01:47:111.9Mapplication/x-gtar-compressed
proofgeneral_4.2~pre120605-2.debian.tar.gz2012-Dec-06 13:41:0219.3Kapplication/x-gtar-compressed
proofgeneral_4.2~pre120605-2.dsc2012-Dec-06 13:41:021.9Ktext/prs.lines.tag
proofgeneral_4.2~pre120605-2_all.deb2012-Dec-06 13:41:02422.0Kapplication/vnd.debian.binary-package
proofgeneral_4.2~pre120605.orig.tar.gz2012-Jun-09 18:26:54996.4Kapplication/x-gtar-compressed
proofgeneral_4.3~pre131011-0.2.debian.tar.xz2014-Nov-16 18:54:5118.9Kapplication/x-xz
proofgeneral_4.3~pre131011-0.2.dsc2014-Nov-16 18:54:511.9Ktext/prs.lines.tag
proofgeneral_4.3~pre131011-0.2_all.deb2014-Nov-16 18:54:51366.5Kapplication/vnd.debian.binary-package
proofgeneral_4.3~pre131011.orig.tar.xz2014-Aug-12 16:27:0911.0Mapplication/x-xz
proofgeneral_4.4.1~pre170114-1.debian.tar.xz2017-Jan-16 23:49:1519.2Kapplication/x-xz
proofgeneral_4.4.1~pre170114-1.dsc2017-Jan-16 23:49:151.9Ktext/prs.lines.tag
proofgeneral_4.4.1~pre170114-1_all.deb2017-Jan-16 23:49:15589.0Kapplication/vnd.debian.binary-package
proofgeneral_4.4.1~pre170114.orig.tar.xz2017-Jan-16 23:49:158.8Mapplication/x-xz
Orange Romania Communications