UDD
Skip Quicknav
Ultimate Database
Bugs search
Maintainer dashboard
Lintian
Lintian tags
Patches
Bugs usertags
Patches
Debian Patches
Status for coq-mtac2/1.4+8.20-1
Search:
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
fix_configure.sh.patch
make configure.sh usable for Debian
Julien Puydt
invalid
Showing 1 to 1 of 1 entry
All known versions for source package 'coq-mtac2'
1.4+8.20-1
(trixie, sid)
1.4+8.16-2
(bookworm)
Links
Package Tracker for 'coq-mtac2'
Debian Maintainer Dashboard for 'coq-mtac2'
Browse sources for 'coq-mtac2/1.4+8.20-1' on sources.debian.org
DEP3: Patch Tagging Guidelines
