Package: proofgeneral
- 4.5-1 (main) [trixie, 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]