Debian Patches

Status for coq-hammer/1.3.2+8.18-1

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'

Links