Package: coq
-
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]