Index of /Linux/Debian/debian/pool/main/c/coq-float
Name Last modified Size Description
Parent Directory -
coq-float_8.1-1.0-4.diff.gz 20-Jan-2008 00:32 3.8K
coq-float_8.1-1.0-4.dsc 20-Jan-2008 00:32 764
coq-float_8.1-1.0.orig.tar.gz 30-Aug-2007 21:02 313K
coq-float_8.2-1.2-5.debian.tar.gz 04-Jul-2010 00:42 3.0K
coq-float_8.2-1.2-5.dsc 04-Jul-2010 00:42 1.9K
coq-float_8.2-1.2-7.debian.tar.gz 21-Apr-2011 00:17 3.4K
coq-float_8.2-1.2-7.dsc 21-Apr-2011 00:17 1.9K
coq-float_8.2-1.2-8.debian.tar.gz 03-Nov-2011 14:03 3.4K
coq-float_8.2-1.2-8.dsc 03-Nov-2011 14:03 2.0K
coq-float_8.2-1.2-9.debian.tar.gz 26-Dec-2011 01:32 3.4K
coq-float_8.2-1.2-9.dsc 26-Dec-2011 01:32 2.0K
coq-float_8.2-1.2.orig.tar.gz 13-Mar-2009 18:17 315K
coq-float_8.3pl1-1.debian.tar.gz 10-Jan-2012 05:03 3.2K
coq-float_8.3pl1-1.dsc 10-Jan-2012 05:03 2.0K
coq-float_8.3pl1-2.debian.tar.gz 06-Mar-2012 17:03 3.2K
coq-float_8.3pl1-2.dsc 06-Mar-2012 17:03 2.0K
coq-float_8.3pl1.orig.tar.gz 10-Jan-2012 05:03 351K
libfloat-coq_8.1-1.0-4_all.deb 20-Jan-2008 00:32 9.4M
libfloat-coq_8.2-1.2-5_all.deb 04-Jul-2010 00:42 10M
libfloat-coq_8.2-1.2-7_all.deb 21-Apr-2011 00:17 13M
libfloat-coq_8.2-1.2-8_all.deb 03-Nov-2011 14:03 13M
libfloat-coq_8.2-1.2-9_all.deb 26-Dec-2011 01:32 13M
libfloat-coq_8.3pl1-1_all.deb 10-Jan-2012 05:03 16M
libfloat-coq_8.3pl1-2_all.deb 06-Mar-2012 17:03 16M
Microsoft-IIS/10.0 Server at ftp.twaren.net Port 80