Debian Patches
Status for coq-doc/8.16.1-1
This package does not include any patches.
All known versions for source package 'coq-doc'
8.20.0-2
(trixie, sid)
8.16.1-1
(bookworm)
Links
Package Tracker for 'coq-doc'
Debian Maintainer Dashboard for 'coq-doc'
Browse sources for 'coq-doc/8.16.1-1' on sources.debian.org
DEP3: Patch Tagging Guidelines