Debian Patches
Status for paramcoq/1.1.3+coq8.19-2
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
fix_typo.patch
fix a typo
Julien Puydt
yes
All known versions for source package 'paramcoq'
1.1.3+coq8.19-2
(trixie, sid)
1.1.3+coq8.16-3
(bookworm)
Links
Package Tracker for 'paramcoq'
Debian Maintainer Dashboard for 'paramcoq'
Browse sources for 'paramcoq/1.1.3+coq8.19-2' on sources.debian.org
DEP3: Patch Tagging Guidelines