Debian Patches

Status for coq-dpdgraph/1.0+8.17-1

Patch Description Author Forwarded Bugs Origin Last update
ignore_warning_70.patch make sure warning 70 isn't an error Julien Puydt yes
use_install.patch use install and $DESTDIR so things get properly installed Julien Puydt invalid

All known versions for source package 'coq-dpdgraph'

Links