Debian Patches
Status for coq-quickchick/2.0.2-1
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.0.3-2
(sid)
2.0.2-1
(trixie)
1.6.4-3
(bookworm)
Links
Package Tracker for 'coq-quickchick'
Debian Maintainer Dashboard for 'coq-quickchick'
Browse sources for 'coq-quickchick/2.0.2-1' on sources.debian.org
DEP3: Patch Tagging Guidelines