Package: coq-ext-lib / 0.11.7-2

Metadata

Package Version Patches format
coq-ext-lib 0.11.7-2 3.0 (quilt)

This package has no patches.