/ubuntu/pool/universe/c/coq-float/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libfloat-coq_8.10.0-1_all.deb1.2 MiB2020-Mar-19 08:23
coq-float_8.10.0-1.debian.tar.xz3.3 KiB2020-Mar-19 08:13
coq-float_8.10.0.orig.tar.gz96.8 KiB2020-Mar-19 08:13
coq-float_8.10.0-1.dsc1.9 KiB2020-Mar-19 08:13
libfloat-coq_8.4-5build1_all.deb10.9 MiB2015-Nov-04 15:56
coq-float_8.4-5build1.dsc2.0 KiB2015-Nov-04 15:29
coq-float_8.4-5build1.debian.tar.xz3.3 KiB2015-Nov-04 15:29
libfloat-coq_8.4-3_all.deb10.9 MiB2014-Jan-21 05:53
coq-float_8.4-3.debian.tar.xz3.3 KiB2014-Jan-21 05:18
coq-float_8.4-3.dsc1.9 KiB2014-Jan-21 05:18
coq-float_8.4.orig.tar.gz344.1 KiB2013-May-09 05:34