| Filename | Modification time | Size |
|---|---|---|
| coq-float_8.4-3.debian.tar.xz | 3332 B | |
| coq-float_8.4-3.dsc | 1981 B | |
| coq-float_8.4-5build1.debian.tar.xz | 3424 B | |
| coq-float_8.4-5build1.dsc | 2010 B | |
| coq-float_8.4.orig.tar.gz | 344 KiB | |
| coq-float_8.10.0-1.debian.tar.xz | 3360 B | |
| coq-float_8.10.0-1.dsc | 1947 B | |
| coq-float_8.10.0.orig.tar.gz | 97 KiB | |
| libfloat-coq_8.4-3_all.deb | 11 MiB | |
| libfloat-coq_8.4-5build1_all.deb | 11 MiB | |
| libfloat-coq_8.10.0-1_all.deb | 1195 KiB |
Studenten Net Twente
Mirror service
