Debian Patches
Status for coq-iris/4.2.0-3
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.2.0-3
(sid, trixie)
4.0.0-3
(bookworm)
Links
Package Tracker for 'coq-iris'
Debian Maintainer Dashboard for 'coq-iris'
Browse sources for 'coq-iris/4.2.0-3' on sources.debian.org
DEP3: Patch Tagging Guidelines