Package: dh-coq / 0.14

Metadata

Package Version Patches format
dh-coq 0.14 3.0 (native)

This package has no patches.