Patches

Debian Patches

Status for coq-gappa/1.7.1-2

This package does not include any patches.

All known versions for source package 'coq-gappa'

• 1.7.1-2 (experimental)
• 1.7.0-1 (sid, trixie, forky)
• 1.5.2-5 (bookworm)

Links

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