Debian Patches
Status for coq-hammer/1.3.2+8.19-2
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
use_libexec.patch
put internal executables away in /usr/libexec
Julien Puydt
yes
All known versions for source package 'coq-hammer'
1.3.2+8.19-2
(sid, trixie)
1.3.2+8.16-2
(bookworm)
Links
Package Tracker for 'coq-hammer'
Debian Maintainer Dashboard for 'coq-hammer'
Browse sources for 'coq-hammer/1.3.2+8.19-2' on sources.debian.org
DEP3: Patch Tagging Guidelines