Debian Patches

Status for coq-unicoq/1.6-8.16-2

All known versions for source package 'coq-unicoq'

• 1.6-8.20-1 (sid, trixie)
• 1.6-8.16-2 (bookworm)

Links

• Package Tracker for 'coq-unicoq'
• Debian Maintainer Dashboard for 'coq-unicoq'
• Browse sources for 'coq-unicoq/1.6-8.16-2' on sources.debian.org
• DEP3: Patch Tagging Guidelines