../ coq-float_8.10.0-1.debian.tar.xz 19-Mar-2020 08:13 3360 coq-float_8.10.0-1.dsc 19-Mar-2020 08:13 1947 coq-float_8.10.0.orig.tar.gz 19-Mar-2020 08:13 99147 coq-float_8.4-3.debian.tar.xz 21-Jan-2014 05:18 3332 coq-float_8.4-3.dsc 21-Jan-2014 05:18 1981 coq-float_8.4-5build1.debian.tar.xz 04-Nov-2015 15:29 3424 coq-float_8.4-5build1.dsc 04-Nov-2015 15:29 2010 coq-float_8.4.orig.tar.gz 09-May-2013 05:34 352313 libfloat-coq_8.10.0-1_all.deb 19-Mar-2020 08:23 1224024 libfloat-coq_8.4-3_all.deb 21-Jan-2014 05:53 11436338 libfloat-coq_8.4-5build1_all.deb 04-Nov-2015 15:56 11448212
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.