Debian Patches

Status for coq-hierarchy-builder/1.4.0-6

Patch Description Author Forwarded Bugs Origin Last update
fix_elpi_1.17.0.patch fix compilation with recent elpi Pierre Roux, with small changes from J.Puydt yes
fix_testsuite.patch fix the test suite for Coq 8.17 Cyril Cohen & Julien Puydt invalid

All known versions for source package 'coq-hierarchy-builder'

Links