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

Icon  Name                              Last modified      Size  Description
[DIR] Parent Directory - [   ] libfloat-coq_8.3pl1-4_all.deb 09-Jun-2012 03:06 16M [   ] libfloat-coq_8.2-1.2-9_all.deb 08-Jan-2012 10:35 13M [   ] libfloat-coq_8.2-1.2-7_all.deb 20-May-2011 02:04 13M [   ] libfloat-coq_8.2-1.2-5_all.deb 29-Jul-2010 22:05 10M [   ] libfloat-coq_8.2-1.2-4_all.deb 10-Mar-2010 21:04 10M [   ] libfloat-coq_8.1-1.0-3_all.deb 11-Jan-2008 18:04 9.4M [   ] coq-float_8.3pl1.orig.tar.gz 01-May-2012 03:41 351K [TXT] coq-float_8.3pl1-4.dsc 08-Jun-2012 22:36 2.0K [   ] coq-float_8.3pl1-4.debian.tar.gz 08-Jun-2012 22:36 3.2K [   ] coq-float_8.2-1.2.orig.tar.gz 29-Apr-2009 07:05 315K [TXT] coq-float_8.2-1.2-9.dsc 08-Jan-2012 10:34 2.0K [   ] coq-float_8.2-1.2-9.debian.tar.gz 08-Jan-2012 10:34 3.4K [TXT] coq-float_8.2-1.2-7.dsc 30-Apr-2011 23:05 1.9K [   ] coq-float_8.2-1.2-7.debian.tar.gz 30-Apr-2011 23:05 3.4K [TXT] coq-float_8.2-1.2-5.dsc 29-Jul-2010 21:05 1.3K [   ] coq-float_8.2-1.2-5.debian.tar.gz 29-Jul-2010 21:05 3.0K [TXT] coq-float_8.2-1.2-4.dsc 10-Mar-2010 21:04 1.9K [   ] coq-float_8.2-1.2-4.diff.gz 10-Mar-2010 21:04 2.7K [   ] coq-float_8.1-1.0.orig.tar.gz 29-Oct-2007 02:08 313K [TXT] coq-float_8.1-1.0-3.dsc 19-Nov-2007 20:03 595 [   ] coq-float_8.1-1.0-3.diff.gz 19-Nov-2007 20:03 3.7K
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80