Package: coq-hott / 9.0-1

Metadata

Package Version Patches format
coq-hott 9.0-1 3.0 (quilt)

This package has no patches.