Package: coq

• 9.1.0+dfsg-2 (main) [experimental]
• 9.1.0+dfsg-1 (main) [experimental]
• 8.20.1+dfsg-1 (main) [trixie, forky, sid]
• 8.16.1+dfsg-1 (main) [bookworm]
• 8.12.0-3 (main) [bullseye]
• 8.9.0-1 (main) [buster]
• 8.6-4 (main) [stretch]
• 8.4pl4dfsg-1 (main) [jessie, jessie-kfreebsd]
• 8.3.pl4+dfsg-2 (main) [wheezy]
• 8.2.pl2+dfsg-1 (main) [squeeze]
• 8.1.pl3+dfsg-1 (main) [lenny]
• 8.0pl3-2 (main) [etch, etch-m68k]
• 8.0pl2-2 (main) [sarge]
• 7.2-9 (main) [woody]
• 6.3.1-2 (main) [potato]