Package: proofgeneral

• 4.5-3 (main) [trixie, forky, sid]
• 4.4.1~pre170114-1.2 (main) [bullseye, bookworm]
• 4.4.1~pre170114-1 (main) [stretch]
• 4.3~pre131011-0.2 (main) [jessie, jessie-kfreebsd]
• 4.2~pre120605-2 (main) [wheezy]
• 3.7-4 (main) [squeeze]
• 3.7-3 (main) [lenny]
• 3.5-4.1 (main) [etch, etch-m68k]
• 3.5-3 (main) [sarge]