Package: coq-elpi / 3.2.0-2

Metadata

Package Version Patches format
coq-elpi 3.2.0-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
increase_timeout.patch | (download)

apps/tc/tests/tlc.v | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 
 increase a timeout to make the compilation less touchy