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'

Links