Index of /main/c/coq-float/
../
coq-float_8.10.0-1.debian.tar.xz 16-Mar-2020 10:40 3360
coq-float_8.10.0-1.dsc 16-Mar-2020 10:40 1947
coq-float_8.10.0.orig.tar.gz 16-Mar-2020 10:40 99147
coq-float_8.2-1.2-5.debian.tar.gz 17-Aug-2012 12:10 3053
coq-float_8.2-1.2-5.dsc 17-Aug-2012 12:10 1974
coq-float_8.2-1.2.orig.tar.gz 17-Aug-2012 12:10 322949
coq-float_8.3pl1-3.debian.tar.gz 03-Aug-2012 21:19 3300
coq-float_8.3pl1-3.dsc 03-Aug-2012 21:19 2014
coq-float_8.3pl1-4.debian.tar.gz 06-Jun-2012 21:47 3314
coq-float_8.3pl1-4.dsc 06-Jun-2012 21:47 2014
coq-float_8.3pl1.orig.tar.gz 19-Apr-2012 00:00 359738
coq-float_8.4-1.debian.tar.gz 08-May-2013 22:56 3371
coq-float_8.4-1.dsc 08-May-2013 22:56 1987
coq-float_8.4-2.debian.tar.gz 07-Dec-2013 09:47 3405
coq-float_8.4-2.dsc 07-Dec-2013 09:47 1987
coq-float_8.4-3.debian.tar.xz 20-Jan-2014 08:16 3332
coq-float_8.4-3.dsc 20-Jan-2014 08:16 1981
coq-float_8.4-4.debian.tar.xz 30-Jul-2014 08:21 3364
coq-float_8.4-4.dsc 30-Jul-2014 08:21 2003
coq-float_8.4-5.debian.tar.xz 14-Oct-2015 20:42 3368
coq-float_8.4-5.dsc 14-Oct-2015 20:42 1986
coq-float_8.4.orig.tar.gz 08-May-2013 22:56 352313
coq-float_8.9.0-1.debian.tar.xz 01-Feb-2020 18:29 3024
coq-float_8.9.0-1.dsc 01-Feb-2020 18:29 1735
coq-float_8.9.0.orig.tar.gz 01-Feb-2020 18:29 99020