Debian Patches
Status for coq/8.19.1+dfsg-2
This source or version is unknown from this service.
All known versions for source package 'coq'
8.20.0+dfsg-1
(sid, trixie)
8.16.1+dfsg-1
(bookworm)
8.12.0-3
(bullseye)
Links
Package Tracker for 'coq'
Debian Maintainer Dashboard for 'coq'
Browse sources for 'coq/8.19.1+dfsg-2' on sources.debian.org
DEP3: Patch Tagging Guidelines