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

NameLast ModifiedSizeType
../ -  Directory
proofgeneral-doc_4.3~pre130510-1.1_all.deb2014-Feb-28 07:38:50642.3Kapplication/octet-stream
proofgeneral-doc_4.3~pre131011-0.2_all.deb2014-Nov-16 18:34:01664.9Kapplication/octet-stream
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb2019-Dec-19 13:28:21655.4Kapplication/octet-stream
proofgeneral-doc_4.4.1~pre170114-1_all.deb2017-Jan-17 00:23:47655.7Kapplication/octet-stream
proofgeneral-doc_4.5-1_all.deb2023-Aug-17 13:49:42667.1Kapplication/octet-stream
proofgeneral-doc_4.5-2_all.deb2024-Oct-31 20:59:17646.2Kapplication/octet-stream
proofgeneral_4.3~pre130510-1.1.debian.tar.xz2014-Feb-28 07:38:4218.6Kapplication/octet-stream
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/octet-stream
proofgeneral_4.3~pre130510.orig.tar.gz2013-May-18 13:33:350.9Mapplication/octet-stream
proofgeneral_4.3~pre131011-0.2.debian.tar.xz2014-Nov-16 18:33:4918.9Kapplication/octet-stream
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/octet-stream
proofgeneral_4.3~pre131011.orig.tar.xz2014-Oct-25 08:32:1811.0Mapplication/octet-stream
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz2019-Dec-19 12:58:1819.4Kapplication/octet-stream
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/octet-stream
proofgeneral_4.4.1~pre170114-1.debian.tar.xz2017-Jan-17 00:13:1819.2Kapplication/octet-stream
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/octet-stream
proofgeneral_4.4.1~pre170114.orig.tar.xz2017-Jan-17 00:13:188.8Mapplication/octet-stream
proofgeneral_4.5-1.debian.tar.xz2023-Aug-17 13:16:0616.8Kapplication/octet-stream
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/octet-stream
proofgeneral_4.5-2.debian.tar.xz2024-Oct-31 15:06:5116.9Kapplication/octet-stream
proofgeneral_4.5-2.dsc2024-Oct-31 15:06:512.0Kapplication/octet-stream
proofgeneral_4.5-2_all.deb2024-Oct-31 20:59:17576.2Kapplication/octet-stream
proofgeneral_4.5.orig.tar.gz2023-Aug-17 13:16:061.1Mapplication/octet-stream