Package: coq-float
- 1:8.4-4 (main) [jessie, jessie-kfreebsd] *
- 1:8.3pl1-4 (main) [wheezy] *
- 1:8.2-1.2-5 (main) [squeeze] *
- 1:8.1-1.0-4 (main) [lenny]
* This package has no patches yet.
Note: packages without a link may have patches in a different format
than 3.0 (quilt).