Patches

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'

• 3.2.0-3 (experimental)
• 2.5.0-1.2 (forky, sid)
• 2.5.0-1.1 (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