Debian Patches
Status for coq-iris/4.3.0-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| longer_timeout.patch | longer timeout to avoid failure on riscv64 architecture | Ralf Jung | yes |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| longer_timeout.patch | longer timeout to avoid failure on riscv64 architecture | Ralf Jung | yes |