Index of /debian/pool/main/c/coq

Icon  Name                                                Last modified      Size  Description
[DIR] Parent Directory - [   ] coq-libs_8.1.pl3+dfsg-1_all.deb 05-Jan-2008 17:32 12M [   ] coq_8.1.pl3+dfsg-1.diff.gz 05-Jan-2008 17:32 15K [TXT] coq_8.1.pl3+dfsg-1.dsc 05-Jan-2008 17:32 1.0K [   ] coq_8.1.pl3+dfsg.orig.tar.gz 05-Jan-2008 17:32 2.4M [   ] coq_8.1.pl3+dfsg-1+b2_amd64.deb 24-May-2008 00:17 8.6M [   ] coqide_8.1.pl3+dfsg-1+b2_amd64.deb 24-May-2008 00:17 5.0M [   ] coq_8.1.pl3+dfsg-1+b2_sparc.deb 24-May-2008 17:02 9.0M [   ] coqide_8.1.pl3+dfsg-1+b2_sparc.deb 24-May-2008 17:02 5.3M [   ] coq_8.1.pl3+dfsg-1+b2_alpha.deb 25-May-2008 02:02 4.1M [   ] coqide_8.1.pl3+dfsg-1+b2_alpha.deb 25-May-2008 02:02 2.4M [   ] coq_8.1.pl3+dfsg-1+b2_mipsel.deb 25-May-2008 02:02 4.0M [   ] coqide_8.1.pl3+dfsg-1+b2_mipsel.deb 25-May-2008 02:02 2.3M [   ] coq_8.1.pl3+dfsg-1+b2_armel.deb 25-May-2008 07:17 4.0M [   ] coqide_8.1.pl3+dfsg-1+b2_armel.deb 25-May-2008 07:17 2.3M [   ] coq_8.1.pl3+dfsg-1+b2_arm.deb 25-May-2008 17:02 4.0M [   ] coqide_8.1.pl3+dfsg-1+b2_arm.deb 25-May-2008 17:02 2.3M [   ] coq_8.1.pl3+dfsg-1+b2_s390.deb 26-May-2008 02:47 4.1M [   ] coqide_8.1.pl3+dfsg-1+b2_s390.deb 26-May-2008 02:47 2.4M [   ] coq_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 22:17 8.1M [   ] coqide_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 22:17 4.7M [   ] coq_8.1.pl3+dfsg-1+b2_ia64.deb 27-May-2008 20:32 4.3M [   ] coqide_8.1.pl3+dfsg-1+b2_ia64.deb 27-May-2008 20:32 2.4M [   ] coqide_8.1.pl3+dfsg-1+b2_mips.deb 28-May-2008 00:17 2.3M [   ] coq_8.1.pl3+dfsg-1+b2_mips.deb 28-May-2008 00:17 4.0M [   ] coq_8.1.pl3+dfsg-1+b2_powerpc.deb 29-May-2008 01:47 9.0M [   ] coqide_8.1.pl3+dfsg-1+b2_powerpc.deb 29-May-2008 01:47 5.2M [   ] coq_8.1.pl3+dfsg-1+b2_hppa.deb 29-May-2008 20:32 4.1M [   ] coqide_8.1.pl3+dfsg-1+b2_hppa.deb 29-May-2008 20:32 2.3M [   ] coq_8.2.pl2+dfsg-1.debian.tar.gz 02-Jul-2010 23:19 16K [TXT] coq_8.2.pl2+dfsg-1.dsc 02-Jul-2010 23:19 2.1K [   ] coq_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 23:19 15M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 23:19 5.8M [   ] coq-theories_8.2.pl2+dfsg-1_all.deb 02-Jul-2010 23:19 18M [   ] coq_8.2.pl2+dfsg.orig.tar.gz 02-Jul-2010 23:19 3.0M [   ] coqide_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 23:19 6.2M [   ] coq_8.2.pl2+dfsg-1_i386.deb 03-Jul-2010 01:03 13M [   ] coqide_8.2.pl2+dfsg-1_i386.deb 03-Jul-2010 01:03 5.7M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 03-Jul-2010 01:03 5.7M [   ] coq_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 14:32 3.5M [   ] coqide_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 14:32 2.3M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 14:32 1.9M [   ] coq_8.2.pl2+dfsg-1_powerpc.deb 04-Jul-2010 00:42 15M [   ] coqide_8.2.pl2+dfsg-1_powerpc.deb 04-Jul-2010 00:42 6.3M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb 04-Jul-2010 00:42 6.7M [   ] coq_8.2.pl2+dfsg-1_s390.deb 04-Jul-2010 00:42 3.5M [   ] coqide_8.2.pl2+dfsg-1_s390.deb 04-Jul-2010 00:42 2.3M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb 04-Jul-2010 00:42 1.9M [   ] coq_8.2.pl2+dfsg-1_armel.deb 04-Jul-2010 04:17 3.5M [   ] coqide_8.2.pl2+dfsg-1_armel.deb 04-Jul-2010 04:17 2.3M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb 04-Jul-2010 04:17 1.9M [   ] coq_8.2.pl2+dfsg-1_ia64.deb 04-Jul-2010 04:47 3.5M [   ] coqide_8.2.pl2+dfsg-1_ia64.deb 04-Jul-2010 04:47 2.3M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb 04-Jul-2010 04:47 1.9M [   ] coq_8.2.pl2+dfsg-1_mips.deb 04-Jul-2010 20:48 3.5M [   ] coqide_8.2.pl2+dfsg-1_mips.deb 04-Jul-2010 20:48 2.3M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb 04-Jul-2010 20:48 1.9M [   ] coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 21:18 13M [   ] coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 21:18 5.7M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 21:18 5.6M [   ] coq_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 21:18 15M [   ] coqide_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 21:18 6.3M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 21:18 6.4M [   ] coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 21:48 15M [   ] coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 21:48 6.2M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 21:48 5.8M [   ] coq_8.3.pl2+dfsg-1.debian.tar.gz 20-Apr-2011 01:32 16K [TXT] coq_8.3.pl2+dfsg-1.dsc 20-Apr-2011 01:32 2.1K [   ] libcoq-ocaml_8.3.pl2+dfsg-1_amd64.deb 20-Apr-2011 01:32 2.0M [   ] coq-theories_8.3.pl2+dfsg-1_all.deb 20-Apr-2011 01:32 51M [   ] coq_8.3.pl2+dfsg-1_amd64.deb 20-Apr-2011 01:32 5.4M [   ] coq_8.3.pl2+dfsg.orig.tar.gz 20-Apr-2011 01:32 3.0M [   ] coqide_8.3.pl2+dfsg-1_amd64.deb 20-Apr-2011 01:32 5.3M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_amd64.deb 20-Apr-2011 01:32 5.6M [   ] coq_8.3.pl2+dfsg-1_powerpc.deb 20-Apr-2011 02:49 5.3M [   ] coqide_8.3.pl2+dfsg-1_powerpc.deb 20-Apr-2011 02:49 5.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_powerpc.deb 20-Apr-2011 02:49 6.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_powerpc.deb 20-Apr-2011 02:49 2.0M [   ] coq_8.3.pl2+dfsg-1_i386.deb 20-Apr-2011 03:02 4.7M [   ] coqide_8.3.pl2+dfsg-1_i386.deb 20-Apr-2011 03:02 4.9M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_i386.deb 20-Apr-2011 03:02 5.5M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_i386.deb 20-Apr-2011 03:02 1.8M [   ] coq_8.3.pl2+dfsg-1_s390.deb 20-Apr-2011 04:47 1.7M [   ] coqide_8.3.pl2+dfsg-1_s390.deb 20-Apr-2011 04:47 2.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_s390.deb 20-Apr-2011 04:47 2.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_s390.deb 20-Apr-2011 04:47 517K [   ] coq_8.3.pl2+dfsg-1_kfreebsd-i386.deb 20-Apr-2011 05:47 4.7M [   ] coqide_8.3.pl2+dfsg-1_kfreebsd-i386.deb 20-Apr-2011 05:47 4.9M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_kfreebsd-i386.deb 20-Apr-2011 05:47 5.5M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_kfreebsd-i386.deb 20-Apr-2011 05:47 1.8M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_kfreebsd-amd64.deb 20-Apr-2011 06:02 2.0M [   ] coq_8.3.pl2+dfsg-1_kfreebsd-amd64.deb 20-Apr-2011 06:02 5.4M [   ] coqide_8.3.pl2+dfsg-1_kfreebsd-amd64.deb 20-Apr-2011 06:02 5.3M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_kfreebsd-amd64.deb 20-Apr-2011 06:02 5.6M [   ] coq_8.3.pl2+dfsg-1_sparc.deb 20-Apr-2011 11:02 5.3M [   ] coqide_8.3.pl2+dfsg-1_sparc.deb 20-Apr-2011 11:02 5.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_sparc.deb 20-Apr-2011 11:02 6.1M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_sparc.deb 20-Apr-2011 11:02 2.1M [   ] coq_8.3.pl2+dfsg-1_mips.deb 20-Apr-2011 12:02 1.7M [   ] coqide_8.3.pl2+dfsg-1_mips.deb 20-Apr-2011 12:02 2.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_mips.deb 20-Apr-2011 12:02 2.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_mips.deb 20-Apr-2011 12:02 517K [   ] coq_8.3.pl2+dfsg-1_armel.deb 20-Apr-2011 13:32 5.8M [   ] coqide_8.3.pl2+dfsg-1_armel.deb 20-Apr-2011 13:32 5.8M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_armel.deb 20-Apr-2011 13:32 7.2M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_armel.deb 20-Apr-2011 13:32 520K [   ] coq_8.3.pl2+dfsg-1_ia64.deb 20-Apr-2011 15:02 1.7M [   ] coqide_8.3.pl2+dfsg-1_ia64.deb 20-Apr-2011 15:02 2.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_ia64.deb 20-Apr-2011 15:02 2.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_ia64.deb 20-Apr-2011 15:02 520K [   ] coq_8.3.pl2+dfsg-1_mipsel.deb 23-Apr-2011 16:49 1.7M [   ] coqide_8.3.pl2+dfsg-1_mipsel.deb 23-Apr-2011 16:49 2.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_mipsel.deb 23-Apr-2011 16:49 2.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_mipsel.deb 23-Apr-2011 16:49 516K [   ] coq_8.3.pl2+dfsg-1_hurd-i386.deb 28-Apr-2011 17:17 4.7M [   ] coqide_8.3.pl2+dfsg-1_hurd-i386.deb 28-Apr-2011 17:17 4.9M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1_hurd-i386.deb 28-Apr-2011 17:17 5.5M [   ] libcoq-ocaml_8.3.pl2+dfsg-1_hurd-i386.deb 28-Apr-2011 17:17 1.8M [   ] coq-theories_8.3.pl2+dfsg-2_all.deb 03-Nov-2011 06:32 51M [   ] coq_8.3.pl2+dfsg-2.debian.tar.gz 03-Nov-2011 06:32 16K [TXT] coq_8.3.pl2+dfsg-2.dsc 03-Nov-2011 06:32 2.3K [   ] coq_8.3.pl2+dfsg-2_amd64.deb 03-Nov-2011 06:32 5.4M [   ] coqide_8.3.pl2+dfsg-2_amd64.deb 03-Nov-2011 06:32 5.3M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_amd64.deb 03-Nov-2011 06:32 5.6M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_amd64.deb 03-Nov-2011 06:32 2.0M [   ] coq_8.3.pl2+dfsg-2_i386.deb 03-Nov-2011 07:33 4.8M [   ] coqide_8.3.pl2+dfsg-2_i386.deb 03-Nov-2011 07:33 5.0M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_i386.deb 03-Nov-2011 07:33 5.5M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_i386.deb 03-Nov-2011 07:33 1.8M [   ] coq_8.3.pl2+dfsg-2_kfreebsd-i386.deb 03-Nov-2011 08:17 4.8M [   ] coqide_8.3.pl2+dfsg-2_kfreebsd-i386.deb 03-Nov-2011 08:17 5.0M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_kfreebsd-i386.deb 03-Nov-2011 08:17 5.5M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_kfreebsd-i386.deb 03-Nov-2011 08:17 1.8M [   ] coq_8.3.pl2+dfsg-2_s390.deb 03-Nov-2011 08:47 1.7M [   ] coqide_8.3.pl2+dfsg-2_s390.deb 03-Nov-2011 08:47 2.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_s390.deb 03-Nov-2011 08:47 2.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_s390.deb 03-Nov-2011 08:47 517K [   ] coq_8.3.pl2+dfsg-2_sparc.deb 03-Nov-2011 09:32 5.2M [   ] coqide_8.3.pl2+dfsg-2_sparc.deb 03-Nov-2011 09:32 5.2M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_sparc.deb 03-Nov-2011 09:32 6.1M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_sparc.deb 03-Nov-2011 09:32 2.0M [   ] coq_8.3.pl2+dfsg-2_kfreebsd-amd64.deb 03-Nov-2011 11:03 5.4M [   ] coqide_8.3.pl2+dfsg-2_kfreebsd-amd64.deb 03-Nov-2011 11:03 5.3M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_kfreebsd-amd64.deb 03-Nov-2011 11:03 5.6M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_kfreebsd-amd64.deb 03-Nov-2011 11:03 2.0M [   ] coq_8.3.pl2+dfsg-2_mipsel.deb 03-Nov-2011 14:47 1.7M [   ] coqide_8.3.pl2+dfsg-2_mipsel.deb 03-Nov-2011 14:47 2.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_mipsel.deb 03-Nov-2011 14:47 2.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_mipsel.deb 03-Nov-2011 14:47 517K [   ] coq_8.3.pl2+dfsg-2_mips.deb 03-Nov-2011 18:17 1.7M [   ] coqide_8.3.pl2+dfsg-2_mips.deb 03-Nov-2011 18:17 2.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_mips.deb 03-Nov-2011 18:17 2.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_mips.deb 03-Nov-2011 18:17 518K [   ] coq_8.3.pl2+dfsg-2_ia64.deb 03-Nov-2011 20:47 1.7M [   ] coqide_8.3.pl2+dfsg-2_ia64.deb 03-Nov-2011 20:47 2.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_ia64.deb 03-Nov-2011 20:47 2.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_ia64.deb 03-Nov-2011 20:47 520K [   ] coq_8.3.pl2+dfsg-2_powerpc.deb 04-Nov-2011 00:47 5.3M [   ] coqide_8.3.pl2+dfsg-2_powerpc.deb 04-Nov-2011 00:47 5.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_powerpc.deb 04-Nov-2011 00:47 6.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_powerpc.deb 04-Nov-2011 00:47 2.0M [   ] coq_8.3.pl2+dfsg-2_armel.deb 04-Nov-2011 02:18 5.8M [   ] coqide_8.3.pl2+dfsg-2_armel.deb 04-Nov-2011 02:18 5.8M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_armel.deb 04-Nov-2011 02:18 7.2M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_armel.deb 04-Nov-2011 02:18 518K [   ] coq_8.3.pl2+dfsg-2_hurd-i386.deb 05-Nov-2011 08:17 4.8M [   ] coqide_8.3.pl2+dfsg-2_hurd-i386.deb 05-Nov-2011 08:17 5.0M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_hurd-i386.deb 05-Nov-2011 08:17 5.5M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_hurd-i386.deb 05-Nov-2011 08:17 1.8M [   ] coq_8.3.pl2+dfsg-2_armhf.deb 17-Dec-2011 01:32 1.7M [   ] coqide_8.3.pl2+dfsg-2_armhf.deb 17-Dec-2011 01:32 2.4M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-2_armhf.deb 17-Dec-2011 01:32 2.4M [   ] libcoq-ocaml_8.3.pl2+dfsg-2_armhf.deb 17-Dec-2011 01:32 518K [   ] coq-theories_8.3.pl3+dfsg-1_all.deb 25-Dec-2011 21:32 52M [   ] coq_8.3.pl3+dfsg-1.debian.tar.gz 25-Dec-2011 21:32 16K [TXT] coq_8.3.pl3+dfsg-1.dsc 25-Dec-2011 21:32 2.3K [   ] coq_8.3.pl3+dfsg-1_amd64.deb 25-Dec-2011 21:32 5.4M [   ] coq_8.3.pl3+dfsg.orig.tar.gz 25-Dec-2011 21:32 3.0M [   ] coqide_8.3.pl3+dfsg-1_amd64.deb 25-Dec-2011 21:32 5.3M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_amd64.deb 25-Dec-2011 21:32 5.6M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_amd64.deb 25-Dec-2011 21:32 2.0M [   ] coqide_8.3.pl3+dfsg-1_i386.deb 25-Dec-2011 22:47 5.0M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_i386.deb 25-Dec-2011 22:47 1.8M [   ] coq_8.3.pl3+dfsg-1_i386.deb 25-Dec-2011 22:47 4.8M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_i386.deb 25-Dec-2011 22:47 5.5M [   ] coq_8.3.pl3+dfsg-1_kfreebsd-i386.deb 25-Dec-2011 23:02 4.8M [   ] coqide_8.3.pl3+dfsg-1_kfreebsd-i386.deb 25-Dec-2011 23:02 5.0M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_kfreebsd-i386.deb 25-Dec-2011 23:02 5.5M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_kfreebsd-i386.deb 25-Dec-2011 23:02 1.8M [   ] coq_8.3.pl3+dfsg-1_s390.deb 25-Dec-2011 23:02 1.7M [   ] coqide_8.3.pl3+dfsg-1_s390.deb 25-Dec-2011 23:02 2.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_s390.deb 25-Dec-2011 23:02 2.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_s390.deb 25-Dec-2011 23:02 519K [   ] coq_8.3.pl3+dfsg-1_kfreebsd-amd64.deb 25-Dec-2011 23:17 5.4M [   ] coqide_8.3.pl3+dfsg-1_kfreebsd-amd64.deb 25-Dec-2011 23:17 5.3M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_kfreebsd-amd64.deb 25-Dec-2011 23:17 5.6M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_kfreebsd-amd64.deb 25-Dec-2011 23:17 2.0M [   ] coq_8.3.pl3+dfsg-1_armel.deb 26-Dec-2011 00:47 5.8M [   ] coqide_8.3.pl3+dfsg-1_armel.deb 26-Dec-2011 00:47 5.8M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_armel.deb 26-Dec-2011 00:47 7.2M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_armel.deb 26-Dec-2011 00:47 523K [   ] coq_8.3.pl3+dfsg-1_ia64.deb 26-Dec-2011 01:17 1.7M [   ] coqide_8.3.pl3+dfsg-1_ia64.deb 26-Dec-2011 01:17 2.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_ia64.deb 26-Dec-2011 01:17 2.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_ia64.deb 26-Dec-2011 01:17 525K [   ] coq_8.3.pl3+dfsg-1_sparc.deb 26-Dec-2011 01:47 5.2M [   ] coqide_8.3.pl3+dfsg-1_sparc.deb 26-Dec-2011 01:47 5.2M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_sparc.deb 26-Dec-2011 01:47 6.1M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_sparc.deb 26-Dec-2011 01:47 2.0M [   ] coq_8.3.pl3+dfsg-1_armhf.deb 26-Dec-2011 05:02 1.7M [   ] coqide_8.3.pl3+dfsg-1_armhf.deb 26-Dec-2011 05:02 2.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_armhf.deb 26-Dec-2011 05:02 2.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_armhf.deb 26-Dec-2011 05:02 524K [   ] coq_8.3.pl3+dfsg-1_mipsel.deb 26-Dec-2011 05:02 1.7M [   ] coqide_8.3.pl3+dfsg-1_mipsel.deb 26-Dec-2011 05:02 2.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_mipsel.deb 26-Dec-2011 05:02 2.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_mipsel.deb 26-Dec-2011 05:02 518K [   ] coq_8.3.pl3+dfsg-1_powerpc.deb 26-Dec-2011 06:17 5.3M [   ] coqide_8.3.pl3+dfsg-1_powerpc.deb 26-Dec-2011 06:17 5.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_powerpc.deb 26-Dec-2011 06:17 6.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_powerpc.deb 26-Dec-2011 06:17 2.0M [   ] coq_8.3.pl3+dfsg-1_mips.deb 26-Dec-2011 09:02 1.7M [   ] coqide_8.3.pl3+dfsg-1_mips.deb 26-Dec-2011 09:02 2.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_mips.deb 26-Dec-2011 09:02 2.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_mips.deb 26-Dec-2011 09:02 519K [   ] coq_8.3.pl3+dfsg-1_hurd-i386.deb 26-Dec-2011 19:47 4.8M [   ] coqide_8.3.pl3+dfsg-1_hurd-i386.deb 26-Dec-2011 19:47 5.0M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-1_hurd-i386.deb 26-Dec-2011 19:47 5.5M [   ] libcoq-ocaml_8.3.pl3+dfsg-1_hurd-i386.deb 26-Dec-2011 19:47 1.8M [   ] coq_8.4~beta+dfsg.orig.tar.gz 13-Jan-2012 03:02 3.2M [   ] coq-theories_8.4~beta+dfsg-3_all.deb 15-Jan-2012 20:48 62M [   ] coq_8.4~beta+dfsg-3.debian.tar.gz 15-Jan-2012 20:48 17K [TXT] coq_8.4~beta+dfsg-3.dsc 15-Jan-2012 20:48 2.3K [   ] coq_8.4~beta+dfsg-3_amd64.deb 15-Jan-2012 20:48 5.7M [   ] coqide_8.4~beta+dfsg-3_amd64.deb 15-Jan-2012 20:48 1.0M [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_amd64.deb 15-Jan-2012 20:48 5.4M [   ] libcoq-ocaml_8.4~beta+dfsg-3_amd64.deb 15-Jan-2012 20:48 2.2M [   ] coq_8.4~beta+dfsg-3_i386.deb 15-Jan-2012 22:47 5.1M [   ] coqide_8.4~beta+dfsg-3_i386.deb 15-Jan-2012 22:47 811K [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_i386.deb 15-Jan-2012 22:47 5.3M [   ] libcoq-ocaml_8.4~beta+dfsg-3_i386.deb 15-Jan-2012 22:47 1.9M [   ] coq_8.4~beta+dfsg-3_powerpc.deb 15-Jan-2012 22:47 5.6M [   ] coqide_8.4~beta+dfsg-3_powerpc.deb 15-Jan-2012 22:47 915K [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_powerpc.deb 15-Jan-2012 22:47 6.2M [   ] libcoq-ocaml_8.4~beta+dfsg-3_powerpc.deb 15-Jan-2012 22:47 2.2M [   ] coq_8.4~beta+dfsg-3_s390.deb 15-Jan-2012 23:48 1.8M [   ] coqide_8.4~beta+dfsg-3_s390.deb 15-Jan-2012 23:48 318K [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_s390.deb 15-Jan-2012 23:48 2.1M [   ] libcoq-ocaml_8.4~beta+dfsg-3_s390.deb 15-Jan-2012 23:48 569K [   ] coq_8.4~beta+dfsg-3_sparc.deb 16-Jan-2012 00:02 5.4M [   ] coqide_8.4~beta+dfsg-3_sparc.deb 16-Jan-2012 00:02 904K [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_sparc.deb 16-Jan-2012 00:02 5.9M [   ] libcoq-ocaml_8.4~beta+dfsg-3_sparc.deb 16-Jan-2012 00:02 2.2M [   ] coq_8.4~beta+dfsg-3_armel.deb 16-Jan-2012 02:02 6.2M [   ] coqide_8.4~beta+dfsg-3_armel.deb 16-Jan-2012 02:02 912K [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_armel.deb 16-Jan-2012 02:02 7.2M [   ] libcoq-ocaml_8.4~beta+dfsg-3_armel.deb 16-Jan-2012 02:02 569K [   ] coq_8.4~beta+dfsg-3_kfreebsd-amd64.deb 16-Jan-2012 02:47 5.7M [   ] coqide_8.4~beta+dfsg-3_kfreebsd-amd64.deb 16-Jan-2012 02:47 1.0M [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_kfreebsd-amd64.deb 16-Jan-2012 02:47 5.4M [   ] libcoq-ocaml_8.4~beta+dfsg-3_kfreebsd-amd64.deb 16-Jan-2012 02:47 2.2M [   ] coq_8.4~beta+dfsg-3_kfreebsd-i386.deb 16-Jan-2012 02:47 5.0M [   ] coqide_8.4~beta+dfsg-3_kfreebsd-i386.deb 16-Jan-2012 02:47 812K [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_kfreebsd-i386.deb 16-Jan-2012 02:47 5.3M [   ] libcoq-ocaml_8.4~beta+dfsg-3_kfreebsd-i386.deb 16-Jan-2012 02:47 2.0M [   ] coq_8.4~beta+dfsg-3_ia64.deb 16-Jan-2012 03:47 1.8M [   ] coqide_8.4~beta+dfsg-3_ia64.deb 16-Jan-2012 03:47 318K [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_ia64.deb 16-Jan-2012 03:47 2.0M [   ] libcoq-ocaml_8.4~beta+dfsg-3_ia64.deb 16-Jan-2012 03:47 571K [   ] coq_8.4~beta+dfsg-3_mipsel.deb 16-Jan-2012 06:04 1.8M [   ] coqide_8.4~beta+dfsg-3_mipsel.deb 16-Jan-2012 06:04 318K [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_mipsel.deb 16-Jan-2012 06:04 2.1M [   ] libcoq-ocaml_8.4~beta+dfsg-3_mipsel.deb 16-Jan-2012 06:04 566K [   ] coq_8.4~beta+dfsg-3_mips.deb 16-Jan-2012 18:47 1.8M [   ] coqide_8.4~beta+dfsg-3_mips.deb 16-Jan-2012 18:47 317K [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_mips.deb 16-Jan-2012 18:47 2.0M [   ] libcoq-ocaml_8.4~beta+dfsg-3_mips.deb 16-Jan-2012 18:47 567K [   ] coq_8.4~beta+dfsg-3_armhf.deb 22-Jan-2012 17:02 1.8M [   ] coqide_8.4~beta+dfsg-3_armhf.deb 22-Jan-2012 17:02 317K [   ] libcoq-ocaml-dev_8.4~beta+dfsg-3_armhf.deb 22-Jan-2012 17:02 2.1M [   ] libcoq-ocaml_8.4~beta+dfsg-3_armhf.deb 22-Jan-2012 17:02 567K [   ] coq-theories_8.3.pl3+dfsg-2_all.deb 05-Mar-2012 03:02 52M [   ] coq_8.3.pl3+dfsg-2.debian.tar.gz 05-Mar-2012 03:02 16K [TXT] coq_8.3.pl3+dfsg-2.dsc 05-Mar-2012 03:02 2.3K [   ] coq_8.3.pl3+dfsg-2_amd64.deb 05-Mar-2012 03:02 5.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_amd64.deb 05-Mar-2012 03:02 5.6M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_amd64.deb 05-Mar-2012 03:02 2.0M [   ] coqide_8.3.pl3+dfsg-2_amd64.deb 05-Mar-2012 03:02 5.4M [   ] coq_8.3.pl3+dfsg-2_i386.deb 05-Mar-2012 04:47 4.8M [   ] coqide_8.3.pl3+dfsg-2_i386.deb 05-Mar-2012 04:47 5.0M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_i386.deb 05-Mar-2012 04:47 5.5M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_i386.deb 05-Mar-2012 04:47 1.8M [   ] coq_8.3.pl3+dfsg-2_kfreebsd-i386.deb 05-Mar-2012 04:47 4.8M [   ] coqide_8.3.pl3+dfsg-2_kfreebsd-i386.deb 05-Mar-2012 04:47 5.0M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_kfreebsd-i386.deb 05-Mar-2012 04:47 5.5M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_kfreebsd-i386.deb 05-Mar-2012 04:47 1.8M [   ] coq_8.3.pl3+dfsg-2_powerpc.deb 05-Mar-2012 04:47 5.3M [   ] coqide_8.3.pl3+dfsg-2_powerpc.deb 05-Mar-2012 04:47 5.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_powerpc.deb 05-Mar-2012 04:47 6.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_powerpc.deb 05-Mar-2012 04:47 2.0M [   ] coq_8.3.pl3+dfsg-2_sparc.deb 05-Mar-2012 05:17 5.2M [   ] coqide_8.3.pl3+dfsg-2_sparc.deb 05-Mar-2012 05:17 5.2M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_sparc.deb 05-Mar-2012 05:17 6.1M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_sparc.deb 05-Mar-2012 05:17 2.0M [   ] coq_8.3.pl3+dfsg-2_armel.deb 05-Mar-2012 06:32 5.8M [   ] coqide_8.3.pl3+dfsg-2_armel.deb 05-Mar-2012 06:32 5.9M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_armel.deb 05-Mar-2012 06:32 7.2M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_armel.deb 05-Mar-2012 06:32 521K [   ] coq_8.3.pl3+dfsg-2_s390.deb 05-Mar-2012 07:47 1.7M [   ] coqide_8.3.pl3+dfsg-2_s390.deb 05-Mar-2012 07:47 2.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_s390.deb 05-Mar-2012 07:47 2.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_s390.deb 05-Mar-2012 07:47 522K [   ] coq_8.3.pl3+dfsg-2_kfreebsd-amd64.deb 05-Mar-2012 09:02 5.4M [   ] coqide_8.3.pl3+dfsg-2_kfreebsd-amd64.deb 05-Mar-2012 09:02 5.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_kfreebsd-amd64.deb 05-Mar-2012 09:02 5.6M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_kfreebsd-amd64.deb 05-Mar-2012 09:02 2.0M [   ] coq_8.3.pl3+dfsg-2_mipsel.deb 05-Mar-2012 09:47 1.7M [   ] coqide_8.3.pl3+dfsg-2_mipsel.deb 05-Mar-2012 09:47 2.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_mipsel.deb 05-Mar-2012 09:47 2.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_mipsel.deb 05-Mar-2012 09:47 519K [   ] coq_8.3.pl3+dfsg-2_mips.deb 05-Mar-2012 17:03 1.7M [   ] coqide_8.3.pl3+dfsg-2_mips.deb 05-Mar-2012 17:03 2.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_mips.deb 05-Mar-2012 17:03 2.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_mips.deb 05-Mar-2012 17:03 521K [   ] coq_8.3.pl3+dfsg-2_hurd-i386.deb 05-Mar-2012 17:48 4.8M [   ] coqide_8.3.pl3+dfsg-2_hurd-i386.deb 05-Mar-2012 17:48 5.0M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_hurd-i386.deb 05-Mar-2012 17:48 5.5M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_hurd-i386.deb 05-Mar-2012 17:48 1.8M [   ] coq_8.3.pl3+dfsg-2_armhf.deb 06-Mar-2012 10:52 1.7M [   ] coqide_8.3.pl3+dfsg-2_armhf.deb 06-Mar-2012 10:52 2.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_armhf.deb 06-Mar-2012 10:52 2.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_armhf.deb 06-Mar-2012 10:52 521K [   ] coq_8.3.pl3+dfsg-2_ia64.deb 06-Mar-2012 15:32 1.7M [   ] coqide_8.3.pl3+dfsg-2_ia64.deb 06-Mar-2012 15:32 2.4M [   ] libcoq-ocaml-dev_8.3.pl3+dfsg-2_ia64.deb 06-Mar-2012 15:32 2.4M [   ] libcoq-ocaml_8.3.pl3+dfsg-2_ia64.deb 06-Mar-2012 15:32 523K
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80