Patches

Debian Patches

Status for coq-math-classes/9.0.0-2

Patch	Description	Author	Forwarded	Bugs	Origin	Last update
drop_debian_directory.patch	the debian/ directory doesn't contain upstream sources!	Julien Puydt	invalid

All known versions for source package 'coq-math-classes'

• 9.0.0-2 (experimental)
• 8.19.0-1 (forky, trixie, sid)
• 8.15.0-4 (bookworm)

Links

• Package Tracker for 'coq-math-classes'
• Debian Maintainer Dashboard for 'coq-math-classes'
• Browse sources for 'coq-math-classes/9.0.0-2' on sources.debian.org
• DEP3: Patch Tagging Guidelines