Package: coq
- 8.18.0+dfsg-1 (main) [trixie, 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]