| coq-float_8.10.0-1.debian.tar.xz | 3.28 KB | 03/19/2020, 08:13:18 |
| coq-float_8.10.0-1.dsc | 1.90 KB | 03/19/2020, 08:13:17 |
| coq-float_8.10.0.orig.tar.gz | 96.82 KB | 03/19/2020, 08:13:18 |
| coq-float_8.4-3.debian.tar.xz | 3.25 KB | 01/21/2014, 05:18:34 |
| coq-float_8.4-3.dsc | 1.93 KB | 01/21/2014, 05:18:34 |
| coq-float_8.4-5build1.debian.tar.xz | 3.34 KB | 11/04/2015, 15:29:06 |
| coq-float_8.4-5build1.dsc | 1.96 KB | 11/04/2015, 15:29:06 |
| coq-float_8.4.orig.tar.gz | 344.06 KB | 05/09/2013, 05:34:06 |
| libfloat-coq_8.10.0-1_all.deb | 1.17 MB | 03/19/2020, 08:23:15 |
| libfloat-coq_8.4-3_all.deb | 10.91 MB | 01/21/2014, 05:53:53 |
| libfloat-coq_8.4-5build1_all.deb | 10.92 MB | 11/04/2015, 15:56:19 |
