Patches

Debian Patches

Status for coq-quickchick/1.6.4-3

Patch	Description	Author	Forwarded	Bugs	Origin	Last update
fix_install.patch	make install respect DESTDIR	Julien Puydt	yes

All known versions for source package 'coq-quickchick'

• 2.1.1-2 (experimental)
• 2.1.0-1.1 (forky, sid)
• 2.1.0-1 (trixie)
• 1.6.4-3 (bookworm)

Links

• Package Tracker for 'coq-quickchick'
• Debian Maintainer Dashboard for 'coq-quickchick'
• Browse sources for 'coq-quickchick/1.6.4-3' on sources.debian.org
• DEP3: Patch Tagging Guidelines