Debian Patches
Status for coq-elpi/2.1.0-1
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
0001-Increase-timeout-in-test-that-takes-a-bit-longer-on-.patch
Increase timeout in test that takes a bit longer on riscv64
Stéphane Glondu
yes
All known versions for source package 'coq-elpi'
2.1.0-1
(sid)
1.19.3-2
(trixie)
1.16.0-2
(bookworm)
Links
Package Tracker for 'coq-elpi'
Debian Maintainer Dashboard for 'coq-elpi'
Browse sources for 'coq-elpi/2.1.0-1' on sources.debian.org
DEP3: Patch Tagging Guidelines