DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
Patches
/
coq-float
/1:8.2-1.2-5
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.