Package: coq-doc
- 8.18.0-1 (non-free) [trixie, sid] *
- 8.16.1-1 (non-free) [bookworm] *
- 8.4pl4-2 (non-free) [stretch]
- 8.4pl4-1 (non-free) [jessie, jessie-kfreebsd] *
- 8.3pl4-1 (non-free) [wheezy] *
- 8.2pl1-1 (non-free) [squeeze] *
- 8.1-3 (non-free) [lenny]
- 7.2-1 (main) [woody]
- 6.3.1-2 (main) [potato]
* This package has no patches yet.
Note: packages without a link may have patches in a different format
than 3.0 (quilt).