Index of /Debian/debian/pool/main/c/coq
Name Last modified Size Description
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
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
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
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
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
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
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
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