Patches

Debian Patches

Status for coq-iris/4.4.0-2

Patch	Description	Author	Forwarded	Bugs	Origin	Last update
longer_timeout.patch	longer timeout to avoid failure on riscv64 architecture	Ralf Jung	yes

All known versions for source package 'coq-iris'

• 4.4.0-2 (experimental)
• 4.3.0-1 (forky, trixie, sid)
• 4.0.0-3 (bookworm)

Links

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