| Parent directory/ | - | - |
| libfloat-coq_8.10.0-1_all.deb | 1.2 MiB | Thu, 19 March 2020 09:23:15 AM |
| coq-float_8.10.0-1.debian.tar.xz | 3.3 KiB | Thu, 19 March 2020 09:13:18 AM |
| coq-float_8.10.0.orig.tar.gz | 96.8 KiB | Thu, 19 March 2020 09:13:18 AM |
| coq-float_8.10.0-1.dsc | 1.9 KiB | Thu, 19 March 2020 09:13:17 AM |
| libfloat-coq_8.4-5build1_all.deb | 10.9 MiB | Wed, 4 November 2015 04:56:19 PM |
| coq-float_8.4-5build1.debian.tar.xz | 3.3 KiB | Wed, 4 November 2015 04:29:06 PM |
| coq-float_8.4-5build1.dsc | 2.0 KiB | Wed, 4 November 2015 04:29:06 PM |
| coq-float_8.4.orig.tar.gz | 344.1 KiB | Thu, 9 May 2013 06:34:06 AM |