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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libfloat-coq_8.4-5build1_all.deb 11M2015-Nov-04 15:56
coq-float_8.4-5build1.debian.tar.xz 34242015-Nov-04 15:29
coq-float_8.4-5build1.dsc 20102015-Nov-04 15:29
libfloat-coq_8.4-3_all.deb 11M2014-Jan-21 05:53
coq-float_8.4-3.debian.tar.xz 33322014-Jan-21 05:18
coq-float_8.4-3.dsc 19812014-Jan-21 05:18
coq-float_8.4.orig.tar.gz 344K2013-May-09 05:34
libfloat-coq_8.2-1.2-9_all.deb 13M2012-Jan-08 02:35
coq-float_8.2-1.2-9.debian.tar.gz 34742012-Jan-08 02:34
coq-float_8.2-1.2-9.dsc 20212012-Jan-08 02:34
coq-float_8.2-1.2.orig.tar.gz 315K2009-Apr-28 23:05