Debian Patches
Status for coq-interval/4.9.0-1
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
fix_install.patch
fix the install target
Julien Puydt
not-needed
All known versions for source package 'coq-interval'
4.10.0-1
(sid)
4.9.0-1
(trixie)
4.6.1-2
(bookworm)
Links
Package Tracker for 'coq-interval'
Debian Maintainer Dashboard for 'coq-interval'
Browse sources for 'coq-interval/4.9.0-1' on sources.debian.org
DEP3: Patch Tagging Guidelines