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'

Links