| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-float_8.10.0-1.debian.tar.xz | 3360 bytes | 2020-03-16 10:40:01 |
| 📄 coq-float_8.10.0-1.dsc | 1947 bytes | 2020-03-16 10:40:01 |
| 📄 coq-float_8.10.0.orig.tar.gz | 99147 bytes | 2020-03-16 10:40:01 |
| 📄 libfloat-coq_8.10.0-1_all.deb | 1224940 bytes | 2020-03-16 11:05:17 |