/ubuntu/pool/universe/c/coq-float/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| libfloat-coq_8.4-3_all.deb | 10.9 MiB | 2014-Jan-21 08:53 |
| libfloat-coq_8.4-5build1_all.deb | 10.9 MiB | 2015-Nov-04 18:56 |
| libfloat-coq_8.10.0-1_all.deb | 1.2 MiB | 2020-Mar-19 11:23 |