Package: coq-stdpp / 1.12.0-1

Metadata

Package Version Patches format
coq-stdpp 1.12.0-1 3.0 (quilt)

This package has no patches.