Debian Patches

Status for coq-elpi/1.19.3-2

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 Stephane Glondu =?utf-8?q?=3CSt=C3=A9phane_Glondu_glondu=40debian=2Eo?= no 2024-01-03

All known versions for source package 'coq-elpi'

Links