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

NameLast ModifiedSizeType
../ -  Directory
proofgeneral-doc_4.3~pre130510-1.1_all.deb2014-Feb-28 07:38:50642.3Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.3~pre131011-0.2_all.deb2014-Nov-16 18:34:01664.9Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb2019-Dec-19 13:28:21655.4Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.4.1~pre170114-1_all.deb2017-Jan-17 00:23:47655.7Kapplication/vnd.debian.binary-package
proofgeneral-doc_4.5-1_all.deb2023-Aug-17 13:49:42667.1Kapplication/vnd.debian.binary-package
proofgeneral_4.3~pre130510-1.1.debian.tar.xz2014-Feb-28 07:38:4218.6Kapplication/x-xz
proofgeneral_4.3~pre130510-1.1.dsc2014-Feb-28 07:38:421.9Kapplication/octet-stream
proofgeneral_4.3~pre130510-1.1_all.deb2014-Feb-28 07:38:50353.0Kapplication/vnd.debian.binary-package
proofgeneral_4.3~pre130510.orig.tar.gz2013-May-18 13:33:350.9Mapplication/x-gtar-compressed
proofgeneral_4.3~pre131011-0.2.debian.tar.xz2014-Nov-16 18:33:4918.9Kapplication/x-xz
proofgeneral_4.3~pre131011-0.2.dsc2014-Nov-16 18:33:491.9Kapplication/octet-stream
proofgeneral_4.3~pre131011-0.2_all.deb2014-Nov-16 18:34:02355.7Kapplication/vnd.debian.binary-package
proofgeneral_4.3~pre131011.orig.tar.xz2014-Oct-25 08:32:1811.0Mapplication/x-xz
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz2019-Dec-19 12:58:1819.4Kapplication/x-xz
proofgeneral_4.4.1~pre170114-1.2.dsc2019-Dec-19 12:58:171.9Kapplication/octet-stream
proofgeneral_4.4.1~pre170114-1.2_all.deb2019-Dec-19 13:28:21529.7Kapplication/vnd.debian.binary-package
proofgeneral_4.4.1~pre170114-1.debian.tar.xz2017-Jan-17 00:13:1819.2Kapplication/x-xz
proofgeneral_4.4.1~pre170114-1.dsc2017-Jan-17 00:13:181.9Kapplication/octet-stream
proofgeneral_4.4.1~pre170114-1_all.deb2017-Jan-17 00:23:49529.9Kapplication/vnd.debian.binary-package
proofgeneral_4.4.1~pre170114.orig.tar.xz2017-Jan-17 00:13:188.8Mapplication/x-xz
proofgeneral_4.5-1.debian.tar.xz2023-Aug-17 13:16:0616.8Kapplication/x-xz
proofgeneral_4.5-1.dsc2023-Aug-17 13:16:061.9Kapplication/octet-stream
proofgeneral_4.5-1_all.deb2023-Aug-17 13:49:42576.5Kapplication/vnd.debian.binary-package
proofgeneral_4.5.orig.tar.gz2023-Aug-17 13:16:061.1Mapplication/x-gtar-compressed
lighttpd/1.4.53