Package: coq-record-update / 0.3.6-1

Metadata

Package Version Patches format
coq-record-update 0.3.6-1 3.0 (quilt)

This package has no patches.