Package: coq-float / 1:8.2-1.2-5

Metadata

Package Version Patches format
coq-float 1:8.2-1.2-5 3.0 (quilt)

This package has no patches.