Patches

Debian Patches

Status for coq-hierarchy-builder/1.10.1-2

Patch	Description	Author	Forwarded	Bugs	Origin	Last update
elpi_343.patch	avoid name collision	Enrico Tassi	yes

All known versions for source package 'coq-hierarchy-builder'

• 1.10.1-2 (experimental)
• 1.8.1-1 (trixie, forky, sid)
• 1.4.0-2 (bookworm)

Links

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