Debian Patches
Status for coq-elpi/2.5.0-1.1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0001-Increase-timeout-in-test-that-takes-a-bit-longer-on-.patch | Increase a test timeout | Adrian Bunk <bunk@debian.org> | no | 2025-06-15 |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0001-Increase-timeout-in-test-that-takes-a-bit-longer-on-.patch | Increase a test timeout | Adrian Bunk <bunk@debian.org> | no | 2025-06-15 |