Package: coq-simple-io / 1.11.0-2

Metadata

Package Version Patches format
coq-simple-io 1.11.0-2 3.0 (quilt)

This package has no patches.