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]