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

directories: 0, files: 28

NameLast modifiedSize
../
proofgeneral_4.5.orig.tar.gz2023-08-17 19:16:061.14 MiB
proofgeneral_4.5-3_all.deb2024-11-28 00:56:37576.38 KiB
proofgeneral_4.5-3.dsc2024-11-28 00:56:302.07 KiB
proofgeneral_4.5-3.debian.tar.xz2024-11-28 00:56:3017.02 KiB
proofgeneral_4.5-1_all.deb2023-08-17 19:49:42576.53 KiB
proofgeneral_4.5-1.dsc2023-08-17 19:16:061.95 KiB
proofgeneral_4.5-1.debian.tar.xz2023-08-17 19:16:0616.79 KiB
proofgeneral_4.4.1~pre170114.orig.tar.xz2017-01-17 06:13:188.87 MiB
proofgeneral_4.4.1~pre170114-1_all.deb2017-01-17 06:23:49529.89 KiB
proofgeneral_4.4.1~pre170114-1.dsc2017-01-17 06:13:181.94 KiB
proofgeneral_4.4.1~pre170114-1.debian.tar.xz2017-01-17 06:13:1819.27 KiB
proofgeneral_4.4.1~pre170114-1.2_all.deb2019-12-19 19:28:21529.70 KiB
proofgeneral_4.4.1~pre170114-1.2.dsc2019-12-19 18:58:171.94 KiB
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz2019-12-19 18:58:1819.44 KiB
proofgeneral_4.3~pre131011.orig.tar.xz2014-10-25 14:32:1811.05 MiB
proofgeneral_4.3~pre131011-0.2_all.deb2014-11-17 00:34:02355.74 KiB
proofgeneral_4.3~pre131011-0.2.dsc2014-11-17 00:33:491.93 KiB
proofgeneral_4.3~pre131011-0.2.debian.tar.xz2014-11-17 00:33:4918.96 KiB
proofgeneral_4.3~pre130510.orig.tar.gz2013-05-18 19:33:351023.10 KiB
proofgeneral_4.3~pre130510-1.1_all.deb2014-02-28 13:38:50353.08 KiB
proofgeneral_4.3~pre130510-1.1.dsc2014-02-28 13:38:421.97 KiB
proofgeneral_4.3~pre130510-1.1.debian.tar.xz2014-02-28 13:38:4218.66 KiB
proofgeneral-doc_4.5-3_all.deb2024-11-28 00:56:36646.29 KiB
proofgeneral-doc_4.5-1_all.deb2023-08-17 19:49:42667.19 KiB
proofgeneral-doc_4.4.1~pre170114-1_all.deb2017-01-17 06:23:47655.78 KiB
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb2019-12-19 19:28:21655.41 KiB
proofgeneral-doc_4.3~pre131011-0.2_all.deb2014-11-17 00:34:01664.90 KiB
proofgeneral-doc_4.3~pre130510-1.1_all.deb2014-02-28 13:38:50642.32 KiB