File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-float_8.4-4.debian.tar.xz 336430-Jul-2014 08:21
coq-float_8.4-4.dsc 200330-Jul-2014 08:21
coq-float_8.4.orig.tar.gz 344K08-May-2013 22:56
coq-float_8.9.0-1.debian.tar.xz 302401-Feb-2020 10:45
coq-float_8.9.0-1.dsc 173501-Feb-2020 10:45
coq-float_8.9.0.orig.tar.gz 97K01-Feb-2020 10:45
libfloat-coq_8.4-4_all.deb 11M30-Jul-2014 08:21
libfloat-coq_8.9.0-1_all.deb 1M01-Feb-2020 11:05