Package: coq-hierarchy-builder / 1.10.1-2

Metadata

Package Version Patches format
coq-hierarchy-builder 1.10.1-2 3.0 (quilt)

Patch series

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

HB/common/database.elpi | 20 10 + 10 - 0 !
HB/instance.elpi | 8 4 + 4 - 0 !
HB/structure.elpi | 8 4 + 4 - 0 !
HB/structures.v | 6 3 + 3 - 0 !
4 files changed, 21 insertions(+), 21 deletions(-)

 
 avoid name collision