UDD
Skip Quicknav
Ultimate Database
Bugs search
Maintainer dashboard
Lintian
Lintian tags
Patches
Bugs usertags
Patches
Debian Patches
Status for coq-dpdgraph/1.0+8.20-1
Search:
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
Showing 1 to 2 of 2 entries
All known versions for source package 'coq-dpdgraph'
1.0+8.20-1
(sid, trixie)
1.0+8.16-2
(bookworm)
Links
Package Tracker for 'coq-dpdgraph'
Debian Maintainer Dashboard for 'coq-dpdgraph'
Browse sources for 'coq-dpdgraph/1.0+8.20-1' on sources.debian.org
DEP3: Patch Tagging Guidelines