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

../
proofgeneral-doc_4.3~pre131011-0.2_all.deb         02-Dec-2023 23:22              687198
proofgeneral-doc_4.4.1~pre170114-1_all.deb         02-Dec-2023 08:34              682170
proofgeneral_4.3~pre131011-0.2.debian.tar.xz       02-Dec-2023 23:22               19412
proofgeneral_4.3~pre131011-0.2.dsc                 02-Dec-2023 23:22                1975
proofgeneral_4.3~pre131011-0.2_all.deb             02-Dec-2023 23:22              375316
proofgeneral_4.3~pre131011.orig.tar.xz             02-Dec-2023 23:22            11592524
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       02-Dec-2023 08:34               19736
proofgeneral_4.4.1~pre170114-1.dsc                 02-Dec-2023 08:34                1989
proofgeneral_4.4.1~pre170114-1_all.deb             02-Dec-2023 08:34              603216
proofgeneral_4.4.1~pre170114.orig.tar.xz           02-Dec-2023 08:34             9299752