Debian Patches

Status for coq-elpi/2.5.0-1.2

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

All known versions for source package 'coq-elpi'

Links