Debian Patches
Status for coq-elpi/1.16.0-2
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
warning_69.patch
make warning 69 just a warning
Julien Puydt
yes
make_install.patch
fix the install target
Julien Puydt
invalid
All known versions for source package 'coq-elpi'
2.1.0-1
(sid)
1.19.3-2
(trixie)
1.16.0-2
(bookworm)
Links
Package Tracker for 'coq-elpi'
Debian Maintainer Dashboard for 'coq-elpi'
Browse sources for 'coq-elpi/1.16.0-2' on sources.debian.org
DEP3: Patch Tagging Guidelines