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

NameLast ModifiedSizeType
../ -  Directory
proofgeneral-doc_4.3~pre130510-1.1_all.deb2014-Feb-28 13:38:50642.3Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.3~pre131011-0.2_all.deb2014-Nov-17 00:34:01664.9Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb2019-Dec-19 19:28:21655.4Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.4.1~pre170114-1_all.deb2017-Jan-17 06:23:47655.7Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.5-1_all.deb2023-Aug-17 19:49:42667.1Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.5-2_all.deb2024-Nov-01 01:59:17646.2Kapplication/vnd.debian.binary-package
proofgeneral_4.3~pre130510-1.1.debian.tar.xz2014-Feb-28 13:38:4218.6Kapplication/x-xz
proofgeneral_4.3~pre130510-1.1.dsc2014-Feb-28 13:38:421.9Ktext/prs.lines.tag
proofgeneral_4.3~pre130510-1.1_all.deb2014-Feb-28 13:38:50353.0Kapplication/vnd.debian.binary-package
proofgeneral_4.3~pre130510.orig.tar.gz2013-May-18 19:33:350.9Mapplication/x-gtar-compressed
proofgeneral_4.3~pre131011-0.2.debian.tar.xz2014-Nov-17 00:33:4918.9Kapplication/x-xz
proofgeneral_4.3~pre131011-0.2.dsc2014-Nov-17 00:33:491.9Ktext/prs.lines.tag
proofgeneral_4.3~pre131011-0.2_all.deb2014-Nov-17 00:34:02355.7Kapplication/vnd.debian.binary-package
proofgeneral_4.3~pre131011.orig.tar.xz2014-Oct-25 14:32:1811.0Mapplication/x-xz
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz2019-Dec-19 18:58:1819.4Kapplication/x-xz
proofgeneral_4.4.1~pre170114-1.2.dsc2019-Dec-19 18:58:171.9Ktext/prs.lines.tag
proofgeneral_4.4.1~pre170114-1.2_all.deb2019-Dec-19 19:28:21529.7Kapplication/vnd.debian.binary-package
proofgeneral_4.4.1~pre170114-1.debian.tar.xz2017-Jan-17 06:13:1819.2Kapplication/x-xz
proofgeneral_4.4.1~pre170114-1.dsc2017-Jan-17 06:13:181.9Ktext/prs.lines.tag
proofgeneral_4.4.1~pre170114-1_all.deb2017-Jan-17 06:23:49529.9Kapplication/vnd.debian.binary-package
proofgeneral_4.4.1~pre170114.orig.tar.xz2017-Jan-17 06:13:188.8Mapplication/x-xz
proofgeneral_4.5-1.debian.tar.xz2023-Aug-17 19:16:0616.8Kapplication/x-xz
proofgeneral_4.5-1.dsc2023-Aug-17 19:16:061.9Ktext/prs.lines.tag
proofgeneral_4.5-1_all.deb2023-Aug-17 19:49:42576.5Kapplication/vnd.debian.binary-package
proofgeneral_4.5-2.debian.tar.xz2024-Oct-31 20:06:5116.9Kapplication/x-xz
proofgeneral_4.5-2.dsc2024-Oct-31 20:06:512.0Ktext/prs.lines.tag
proofgeneral_4.5-2_all.deb2024-Nov-01 01:59:17576.2Kapplication/vnd.debian.binary-package
proofgeneral_4.5.orig.tar.gz2023-Aug-17 19:16:061.1Mapplication/x-gtar-compressed
lighttpd/1.4.59