Patches

Debian Patches

Status for coq-interval/4.6.1-2

Patch	Description	Author	Forwarded	Bugs	Origin	Last update
fix_install.patch	fix the install target	Julien Puydt	invalid

All known versions for source package 'coq-interval'

• 4.11.3-2 (experimental)
• 4.11.1-1 (forky, trixie, sid)
• 4.6.1-2 (bookworm)

Links

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