Parent directory/ | - | - |
coq_7.2.orig.tar.gz | 1.1 MiB | 2002-Jan-18 23:26 |
coq_7.2-9.dsc | 614 B | 2002-Feb-15 21:15 |
coq_7.2-9_i386.deb | 7.8 MiB | 2002-Feb-15 21:24 |
coq_7.2-9.diff.gz | 4.5 KiB | 2002-Feb-15 21:24 |
coq_7.2-9_arm.deb | 8.1 MiB | 2002-Feb-16 13:41 |
coq_7.2-9_s390.deb | 6.9 MiB | 2002-Feb-16 16:14 |
coq_7.2-9_hppa.deb | 7.0 MiB | 2002-Feb-16 20:11 |
coq_7.2-9_ia64.deb | 9.5 MiB | 2002-Feb-16 20:11 |
coq_7.2-9_alpha.deb | 8.5 MiB | 2002-Feb-16 20:22 |
coq_7.2-9_sparc.deb | 6.9 MiB | 2002-Feb-16 20:32 |
coq_7.2-9_mipsel.deb | 6.9 MiB | 2002-Feb-16 20:32 |
coq_7.2-9_mips.deb | 6.9 MiB | 2002-Feb-16 20:33 |
coq_7.2-9_powerpc.deb | 6.9 MiB | 2002-Feb-16 20:36 |
coq_7.2-9_m68k.deb | 6.8 MiB | 2002-Feb-18 13:12 |
coq_8.0pl2-2_i386.deb | 5.8 MiB | 2005-Apr-01 00:17 |
coq7-libs_8.0pl2-2_all.deb | 3.6 MiB | 2005-Apr-01 00:17 |
coqide_8.0pl2-2_i386.deb | 3.9 MiB | 2005-Apr-01 00:17 |
coq_8.0pl2-2_powerpc.deb | 6.6 MiB | 2005-Apr-01 02:02 |
coqide_8.0pl2-2_powerpc.deb | 4.3 MiB | 2005-Apr-01 02:02 |
coq_8.0pl2-2_hppa.deb | 7.0 MiB | 2005-Apr-01 03:32 |
coqide_8.0pl2-2_hppa.deb | 4.5 MiB | 2005-Apr-01 03:32 |
coq_8.0pl2-2_ia64.deb | 3.0 MiB | 2005-Apr-01 03:47 |
coqide_8.0pl2-2_ia64.deb | 1.9 MiB | 2005-Apr-01 03:47 |
coqide_8.0pl2-2_sparc.deb | 4.4 MiB | 2005-Apr-01 04:17 |
coq_8.0pl2-2_sparc.deb | 6.7 MiB | 2005-Apr-01 04:17 |
coqide_8.0pl2-2_mipsel.deb | 1.9 MiB | 2005-Apr-01 05:02 |
coq_8.0pl2-2_mipsel.deb | 2.7 MiB | 2005-Apr-01 05:02 |
coqide_8.0pl2-2_alpha.deb | 1.9 MiB | 2005-Apr-01 05:17 |
coq_8.0pl2-2_alpha.deb | 2.8 MiB | 2005-Apr-01 05:17 |
coq_8.0pl2-2_s390.deb | 2.8 MiB | 2005-Apr-01 10:32 |
coqide_8.0pl2-2_s390.deb | 1.9 MiB | 2005-Apr-01 10:32 |
coqide_8.0pl2-2_m68k.deb | 1.9 MiB | 2005-Apr-02 12:17 |
coq_8.0pl2-2_m68k.deb | 2.6 MiB | 2005-Apr-02 12:17 |
coqide_8.0pl2-2_mips.deb | 1.9 MiB | 2005-Apr-04 20:02 |
coq_8.0pl2-2_mips.deb | 2.7 MiB | 2005-Apr-04 20:02 |
coq_8.0pl2-2_arm.deb | 2.7 MiB | 2005-Apr-09 02:18 |
coqide_8.0pl2-2_arm.deb | 1.9 MiB | 2005-Apr-09 02:18 |
coq-libs_8.0pl2-2_all.deb | 3.6 MiB | 2005-Apr-30 13:54 |
coq_8.0pl2-2.diff.gz | 10.8 KiB | 2005-Apr-30 13:54 |
coq_8.0pl2-2.dsc | 919 B | 2005-Apr-30 13:54 |
coq_8.0pl2.orig.tar.gz | 2.2 MiB | 2005-Apr-30 13:54 |
coq_8.0pl3.orig.tar.gz | 2.2 MiB | 2006-Jan-24 00:02 |
coqide_8.0pl3-2_i386.deb | 3.3 MiB | 2006-Feb-19 14:32 |
coq-libs_8.0pl3-2_all.deb | 3.6 MiB | 2006-Feb-19 14:32 |
coq_8.0pl3-2.diff.gz | 15.9 KiB | 2006-Feb-19 14:32 |
coq_8.0pl3-2.dsc | 891 B | 2006-Feb-19 14:32 |
coq7-libs_8.0pl3-2_all.deb | 3.6 MiB | 2006-Feb-19 14:32 |
coq_8.0pl3-2_i386.deb | 5.8 MiB | 2006-Feb-19 14:32 |
coqide_8.0pl3-2_hppa.deb | 1.3 MiB | 2006-Feb-19 19:47 |
coqide_8.0pl3-2_ia64.deb | 1.3 MiB | 2006-Feb-19 19:47 |
coq_8.0pl3-2_hppa.deb | 2.8 MiB | 2006-Feb-19 19:47 |
coq_8.0pl3-2_ia64.deb | 3.0 MiB | 2006-Feb-19 19:47 |
coqide_8.0pl3-2_s390.deb | 1.3 MiB | 2006-Feb-19 23:47 |
coq_8.0pl3-2_s390.deb | 2.8 MiB | 2006-Feb-19 23:47 |
coq_8.0pl3-2_arm.deb | 2.7 MiB | 2006-Feb-20 04:47 |
coqide_8.0pl3-2_arm.deb | 1.3 MiB | 2006-Feb-20 04:47 |
coq_8.0pl3-2_sparc.deb | 6.7 MiB | 2006-Feb-20 04:47 |
coqide_8.0pl3-2_sparc.deb | 3.8 MiB | 2006-Feb-20 04:47 |
coq_8.0pl3-2_alpha.deb | 2.9 MiB | 2006-Feb-20 19:02 |
coqide_8.0pl3-2_alpha.deb | 1.3 MiB | 2006-Feb-20 19:02 |
coq_8.0pl3-2_mips.deb | 2.8 MiB | 2006-Feb-20 19:02 |
coqide_8.0pl3-2_mips.deb | 1.3 MiB | 2006-Feb-20 19:02 |
coqide_8.0pl3-2_powerpc.deb | 3.7 MiB | 2006-Feb-20 19:02 |
coqide_8.0pl3-2_mipsel.deb | 1.3 MiB | 2006-Feb-20 19:02 |
coq_8.0pl3-2_mipsel.deb | 2.8 MiB | 2006-Feb-20 19:02 |
coq_8.0pl3-2_powerpc.deb | 6.6 MiB | 2006-Feb-20 19:02 |
coq_8.0pl3-2_m68k.deb | 2.6 MiB | 2006-Feb-23 20:02 |
coqide_8.0pl3-2_m68k.deb | 1.3 MiB | 2006-Feb-23 20:02 |
coqide_8.0pl3-2_amd64.deb | 3.5 MiB | 2006-Mar-31 17:02 |
coq_8.0pl3-2_amd64.deb | 6.2 MiB | 2006-Mar-31 17:02 |
coq_8.1.pl3+dfsg-1.diff.gz | 15.2 KiB | 2008-Jan-05 11:32 |
coq_8.1.pl3+dfsg-1.dsc | 1.0 KiB | 2008-Jan-05 11:32 |
coq_8.1.pl3+dfsg.orig.tar.gz | 2.4 MiB | 2008-Jan-05 11:32 |
coq-libs_8.1.pl3+dfsg-1_all.deb | 12.0 MiB | 2008-Jan-05 11:32 |
coqide_8.1.pl3+dfsg-1+b2_amd64.deb | 5.0 MiB | 2008-May-23 18:17 |
coq_8.1.pl3+dfsg-1+b2_amd64.deb | 8.6 MiB | 2008-May-23 18:17 |
coq_8.1.pl3+dfsg-1+b2_sparc.deb | 9.0 MiB | 2008-May-24 11:02 |
coqide_8.1.pl3+dfsg-1+b2_sparc.deb | 5.3 MiB | 2008-May-24 11:02 |
coq_8.1.pl3+dfsg-1+b2_alpha.deb | 4.1 MiB | 2008-May-24 20:02 |
coqide_8.1.pl3+dfsg-1+b2_alpha.deb | 2.4 MiB | 2008-May-24 20:02 |
coq_8.1.pl3+dfsg-1+b2_mipsel.deb | 4.0 MiB | 2008-May-24 20:02 |
coqide_8.1.pl3+dfsg-1+b2_mipsel.deb | 2.3 MiB | 2008-May-24 20:02 |
coq_8.1.pl3+dfsg-1+b2_armel.deb | 4.0 MiB | 2008-May-25 01:17 |
coqide_8.1.pl3+dfsg-1+b2_armel.deb | 2.3 MiB | 2008-May-25 01:17 |
coq_8.1.pl3+dfsg-1+b2_arm.deb | 4.0 MiB | 2008-May-25 11:02 |
coqide_8.1.pl3+dfsg-1+b2_arm.deb | 2.3 MiB | 2008-May-25 11:02 |
coq_8.1.pl3+dfsg-1+b2_s390.deb | 4.1 MiB | 2008-May-25 20:47 |
coqide_8.1.pl3+dfsg-1+b2_s390.deb | 2.4 MiB | 2008-May-25 20:47 |
coq_8.1.pl3+dfsg-1+b2_i386.deb | 8.1 MiB | 2008-May-26 16:17 |
coqide_8.1.pl3+dfsg-1+b2_i386.deb | 4.7 MiB | 2008-May-26 16:17 |
coq_8.1.pl3+dfsg-1+b2_ia64.deb | 4.3 MiB | 2008-May-27 14:32 |
coqide_8.1.pl3+dfsg-1+b2_ia64.deb | 2.4 MiB | 2008-May-27 14:32 |
coqide_8.1.pl3+dfsg-1+b2_mips.deb | 2.3 MiB | 2008-May-27 18:17 |
coq_8.1.pl3+dfsg-1+b2_mips.deb | 4.0 MiB | 2008-May-27 18:17 |
coq_8.1.pl3+dfsg-1+b2_powerpc.deb | 9.0 MiB | 2008-May-28 19:47 |
coqide_8.1.pl3+dfsg-1+b2_powerpc.deb | 5.2 MiB | 2008-May-28 19:47 |
coq_8.1.pl3+dfsg-1+b2_hppa.deb | 4.1 MiB | 2008-May-29 14:32 |
coqide_8.1.pl3+dfsg-1+b2_hppa.deb | 2.3 MiB | 2008-May-29 14:32 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb | 5.8 MiB | 2010-Jul-02 17:19 |
coq_8.2.pl2+dfsg-1.debian.tar.gz | 16.4 KiB | 2010-Jul-02 17:19 |
coq_8.2.pl2+dfsg-1_amd64.deb | 14.6 MiB | 2010-Jul-02 17:19 |
coq_8.2.pl2+dfsg-1.dsc | 2.1 KiB | 2010-Jul-02 17:19 |
coq-theories_8.2.pl2+dfsg-1_all.deb | 17.5 MiB | 2010-Jul-02 17:19 |
coq_8.2.pl2+dfsg.orig.tar.gz | 3.0 MiB | 2010-Jul-02 17:19 |
coqide_8.2.pl2+dfsg-1_amd64.deb | 6.2 MiB | 2010-Jul-02 17:19 |
coqide_8.2.pl2+dfsg-1_i386.deb | 5.7 MiB | 2010-Jul-02 19:03 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb | 5.7 MiB | 2010-Jul-02 19:03 |
coq_8.2.pl2+dfsg-1_i386.deb | 13.1 MiB | 2010-Jul-02 19:03 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb | 1.9 MiB | 2010-Jul-03 08:32 |
coq_8.2.pl2+dfsg-1_mipsel.deb | 3.5 MiB | 2010-Jul-03 08:32 |
coqide_8.2.pl2+dfsg-1_mipsel.deb | 2.3 MiB | 2010-Jul-03 08:32 |
coq_8.2.pl2+dfsg-1_powerpc.deb | 14.7 MiB | 2010-Jul-03 18:42 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb | 6.7 MiB | 2010-Jul-03 18:42 |
coqide_8.2.pl2+dfsg-1_powerpc.deb | 6.3 MiB | 2010-Jul-03 18:42 |
coqide_8.2.pl2+dfsg-1_s390.deb | 2.3 MiB | 2010-Jul-03 18:42 |
coq_8.2.pl2+dfsg-1_s390.deb | 3.5 MiB | 2010-Jul-03 18:42 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb | 1.9 MiB | 2010-Jul-03 18:42 |
coqide_8.2.pl2+dfsg-1_armel.deb | 2.3 MiB | 2010-Jul-03 22:17 |
coq_8.2.pl2+dfsg-1_armel.deb | 3.5 MiB | 2010-Jul-03 22:17 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb | 1.9 MiB | 2010-Jul-03 22:17 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb | 1.9 MiB | 2010-Jul-03 22:47 |
coq_8.2.pl2+dfsg-1_ia64.deb | 3.5 MiB | 2010-Jul-03 22:47 |
coqide_8.2.pl2+dfsg-1_ia64.deb | 2.3 MiB | 2010-Jul-03 22:47 |
coqide_8.2.pl2+dfsg-1_mips.deb | 2.3 MiB | 2010-Jul-04 14:48 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb | 1.9 MiB | 2010-Jul-04 14:48 |
coq_8.2.pl2+dfsg-1_mips.deb | 3.5 MiB | 2010-Jul-04 14:48 |
coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb | 13.1 MiB | 2010-Jul-04 15:18 |
coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb | 5.7 MiB | 2010-Jul-04 15:18 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb | 5.6 MiB | 2010-Jul-04 15:18 |
coqide_8.2.pl2+dfsg-1_sparc.deb | 6.3 MiB | 2010-Jul-04 15:18 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb | 6.4 MiB | 2010-Jul-04 15:18 |
coq_8.2.pl2+dfsg-1_sparc.deb | 14.7 MiB | 2010-Jul-04 15:18 |
coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb | 6.2 MiB | 2010-Jul-04 15:48 |
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb | 5.8 MiB | 2010-Jul-04 15:48 |
coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb | 14.6 MiB | 2010-Jul-04 15:48 |
coq_8.3.pl4+dfsg.orig.tar.gz | 3.0 MiB | 2012-Mar-27 09:02 |
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb | 2.0 MiB | 2012-Jun-06 08:32 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb | 5.6 MiB | 2012-Jun-06 08:32 |
coq_8.3.pl4+dfsg-2_amd64.deb | 5.4 MiB | 2012-Jun-06 08:32 |
coq_8.3.pl4+dfsg-2.debian.tar.gz | 15.9 KiB | 2012-Jun-06 08:32 |
coq_8.3.pl4+dfsg-2.dsc | 2.3 KiB | 2012-Jun-06 08:32 |
coqide_8.3.pl4+dfsg-2_amd64.deb | 5.4 MiB | 2012-Jun-06 08:32 |
coq-theories_8.3.pl4+dfsg-2_all.deb | 51.9 MiB | 2012-Jun-06 08:32 |
coqide_8.3.pl4+dfsg-2_i386.deb | 5.0 MiB | 2012-Jun-06 09:32 |
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb | 1.8 MiB | 2012-Jun-06 09:32 |
coq_8.3.pl4+dfsg-2_i386.deb | 4.8 MiB | 2012-Jun-06 09:32 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb | 5.5 MiB | 2012-Jun-06 09:32 |
coq_8.3.pl4+dfsg-2_powerpc.deb | 5.3 MiB | 2012-Jun-06 11:02 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb | 6.4 MiB | 2012-Jun-06 11:02 |
libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb | 2.0 MiB | 2012-Jun-06 11:02 |
coqide_8.3.pl4+dfsg-2_powerpc.deb | 5.4 MiB | 2012-Jun-06 11:02 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 5.5 MiB | 2012-Jun-06 12:17 |
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 1.8 MiB | 2012-Jun-06 12:17 |
coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 5.0 MiB | 2012-Jun-06 12:17 |
coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb | 4.8 MiB | 2012-Jun-06 12:17 |
coqide_8.3.pl4+dfsg-2_s390.deb | 2.4 MiB | 2012-Jun-06 12:17 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb | 2.4 MiB | 2012-Jun-06 12:17 |
libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb | 519.9 KiB | 2012-Jun-06 12:17 |
coq_8.3.pl4+dfsg-2_s390.deb | 1.7 MiB | 2012-Jun-06 12:17 |
coqide_8.3.pl4+dfsg-2_sparc.deb | 5.2 MiB | 2012-Jun-06 12:32 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb | 6.1 MiB | 2012-Jun-06 12:32 |
libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb | 2.0 MiB | 2012-Jun-06 12:32 |
coq_8.3.pl4+dfsg-2_sparc.deb | 5.2 MiB | 2012-Jun-06 12:32 |
coqide_8.3.pl4+dfsg-2_armel.deb | 5.9 MiB | 2012-Jun-06 12:47 |
coq_8.3.pl4+dfsg-2_armel.deb | 5.8 MiB | 2012-Jun-06 12:47 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb | 7.2 MiB | 2012-Jun-06 12:47 |
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb | 521.3 KiB | 2012-Jun-06 12:47 |
coqide_8.3.pl4+dfsg-2_s390x.deb | 2.4 MiB | 2012-Jun-06 13:17 |
libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb | 524.4 KiB | 2012-Jun-06 13:17 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb | 2.4 MiB | 2012-Jun-06 13:17 |
coq_8.3.pl4+dfsg-2_s390x.deb | 1.7 MiB | 2012-Jun-06 13:17 |
coqide_8.3.pl4+dfsg-2_mipsel.deb | 2.4 MiB | 2012-Jun-06 14:32 |
coq_8.3.pl4+dfsg-2_mipsel.deb | 1.7 MiB | 2012-Jun-06 14:32 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb | 2.4 MiB | 2012-Jun-06 14:32 |
libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb | 520.6 KiB | 2012-Jun-06 14:32 |
coq_8.3.pl4+dfsg-2_armhf.deb | 1.7 MiB | 2012-Jun-06 17:32 |
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb | 524.2 KiB | 2012-Jun-06 17:32 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb | 2.4 MiB | 2012-Jun-06 17:32 |
coqide_8.3.pl4+dfsg-2_armhf.deb | 2.4 MiB | 2012-Jun-06 17:32 |
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 2.0 MiB | 2012-Jun-06 22:48 |
coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 5.4 MiB | 2012-Jun-06 22:48 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 5.6 MiB | 2012-Jun-06 22:48 |
coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb | 5.4 MiB | 2012-Jun-06 22:48 |
libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb | 524.1 KiB | 2012-Jun-07 21:03 |
coq_8.3.pl4+dfsg-2_ia64.deb | 1.7 MiB | 2012-Jun-07 21:03 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb | 2.4 MiB | 2012-Jun-07 21:03 |
coqide_8.3.pl4+dfsg-2_ia64.deb | 2.4 MiB | 2012-Jun-07 21:03 |
coqide_8.3.pl4+dfsg-2_mips.deb | 2.4 MiB | 2012-Jun-08 17:19 |
libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb | 521.4 KiB | 2012-Jun-08 17:19 |
coq_8.3.pl4+dfsg-2_mips.deb | 1.7 MiB | 2012-Jun-08 17:19 |
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb | 2.4 MiB | 2012-Jun-08 17:19 |
coq-theories_8.4pl4dfsg-1_all.deb | 30.7 MiB | 2014-Jul-27 17:26 |
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb | 3.6 MiB | 2014-Jul-27 17:26 |
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb | 1.6 MiB | 2014-Jul-27 17:26 |
coq_8.4pl4dfsg-1_amd64.deb | 3.9 MiB | 2014-Jul-27 17:26 |
coq_8.4pl4dfsg.orig.tar.gz | 3.4 MiB | 2014-Jul-27 17:26 |
coq_8.4pl4dfsg-1.debian.tar.xz | 15.3 KiB | 2014-Jul-27 17:26 |
coqide_8.4pl4dfsg-1_amd64.deb | 778.7 KiB | 2014-Jul-27 17:26 |
coq_8.4pl4dfsg-1.dsc | 2.3 KiB | 2014-Jul-27 17:26 |
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb | 1.6 MiB | 2014-Jul-27 18:57 |
coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb | 777.4 KiB | 2014-Jul-27 18:57 |
coq_8.4pl4dfsg-1_kfreebsd-amd64.deb | 4.0 MiB | 2014-Jul-27 18:57 |
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb | 3.5 MiB | 2014-Jul-27 18:57 |
coqide_8.4pl4dfsg-1_i386.deb | 713.6 KiB | 2014-Jul-27 18:57 |
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb | 3.6 MiB | 2014-Jul-27 18:57 |
libcoq-ocaml_8.4pl4dfsg-1_i386.deb | 1.4 MiB | 2014-Jul-27 18:57 |
coq_8.4pl4dfsg-1_i386.deb | 3.6 MiB | 2014-Jul-27 18:57 |
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb | 3.5 MiB | 2014-Jul-27 19:12 |
coq_8.4pl4dfsg-1_kfreebsd-i386.deb | 3.7 MiB | 2014-Jul-27 19:12 |
coqide_8.4pl4dfsg-1_kfreebsd-i386.deb | 712.0 KiB | 2014-Jul-27 19:12 |
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb | 1.4 MiB | 2014-Jul-27 19:12 |
coqide_8.4pl4dfsg-1_powerpc.deb | 679.3 KiB | 2014-Jul-27 19:28 |
libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb | 3.5 MiB | 2014-Jul-27 19:28 |
libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb | 1.4 MiB | 2014-Jul-27 19:28 |
coq_8.4pl4dfsg-1_powerpc.deb | 3.4 MiB | 2014-Jul-27 19:28 |
coqide_8.4pl4dfsg-1_armel.deb | 779.7 KiB | 2014-Jul-27 20:28 |
coq_8.4pl4dfsg-1_armel.deb | 3.7 MiB | 2014-Jul-27 20:28 |
libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb | 3.9 MiB | 2014-Jul-27 20:28 |
libcoq-ocaml_8.4pl4dfsg-1_armel.deb | 1.5 MiB | 2014-Jul-27 20:28 |
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb | 3.8 MiB | 2014-Jul-27 23:28 |
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb | 1.5 MiB | 2014-Jul-27 23:28 |
coq_8.4pl4dfsg-1_armhf.deb | 3.7 MiB | 2014-Jul-27 23:28 |
coqide_8.4pl4dfsg-1_armhf.deb | 803.7 KiB | 2014-Jul-27 23:28 |
coqide_8.4pl4dfsg-1_mipsel.deb | 249.3 KiB | 2014-Jul-28 04:14 |
coq_8.4pl4dfsg-1_mipsel.deb | 1.1 MiB | 2014-Jul-28 04:14 |
libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb | 372.8 KiB | 2014-Jul-28 04:14 |
libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb | 1.2 MiB | 2014-Jul-28 04:14 |
coqide_8.4pl4dfsg-1_mips.deb | 249.3 KiB | 2014-Jul-31 16:58 |
libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb | 1.2 MiB | 2014-Jul-31 16:58 |
libcoq-ocaml_8.4pl4dfsg-1_mips.deb | 373.0 KiB | 2014-Jul-31 16:58 |
coq_8.4pl4dfsg-1_mips.deb | 1.1 MiB | 2014-Jul-31 16:58 |
coqide_8.4pl4dfsg-1+b1_s390x.deb | 249.6 KiB | 2014-Aug-27 04:42 |
coq_8.4pl4dfsg-1+b1_s390x.deb | 1.1 MiB | 2014-Aug-27 04:42 |
libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb | 1.2 MiB | 2014-Aug-27 04:42 |
libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb | 373.9 KiB | 2014-Aug-27 04:42 |
coqide_8.4pl4dfsg-1_ppc64el.deb | 249.4 KiB | 2014-Sep-06 19:57 |
coq_8.4pl4dfsg-1_ppc64el.deb | 1.1 MiB | 2014-Sep-06 19:57 |
libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb | 372.2 KiB | 2014-Sep-06 19:57 |
libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb | 1.2 MiB | 2014-Sep-06 19:57 |
coq_8.4pl4dfsg-1_arm64.deb | 1.1 MiB | 2014-Sep-11 05:27 |
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb | 1.2 MiB | 2014-Sep-11 05:27 |
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb | 371.3 KiB | 2014-Sep-11 05:27 |
coqide_8.4pl4dfsg-1_arm64.deb | 249.3 KiB | 2014-Sep-11 05:27 |
coq_8.6.orig.tar.gz | 4.8 MiB | 2016-Dec-28 15:44 |
libcoq-ocaml_8.6-4_amd64.deb | 3.3 MiB | 2016-Dec-30 02:56 |
coq_8.6-4.dsc | 2.3 KiB | 2016-Dec-30 02:56 |
coq-theories_8.6-4_amd64.deb | 30.0 MiB | 2016-Dec-30 02:56 |
libcoq-ocaml-dev_8.6-4_amd64.deb | 12.7 MiB | 2016-Dec-30 02:56 |
coqide_8.6-4_amd64.deb | 1.3 MiB | 2016-Dec-30 02:56 |
coq_8.6-4.debian.tar.xz | 21.5 KiB | 2016-Dec-30 02:56 |
coq_8.6-4_amd64.deb | 13.3 MiB | 2016-Dec-30 02:56 |
coqide_8.6-4_i386.deb | 1.3 MiB | 2016-Dec-30 03:57 |
libcoq-ocaml-dev_8.6-4_i386.deb | 12.7 MiB | 2016-Dec-30 03:57 |
coq_8.6-4_i386.deb | 13.0 MiB | 2016-Dec-30 03:57 |
libcoq-ocaml_8.6-4_i386.deb | 3.2 MiB | 2016-Dec-30 03:57 |
coq-theories_8.6-4_i386.deb | 29.0 MiB | 2016-Dec-30 03:57 |
coq-theories_8.6-4_arm64.deb | 21.8 MiB | 2016-Dec-30 03:57 |
libcoq-ocaml-dev_8.6-4_arm64.deb | 12.9 MiB | 2016-Dec-30 03:57 |
libcoq-ocaml_8.6-4_arm64.deb | 3.3 MiB | 2016-Dec-30 03:57 |
coqide_8.6-4_arm64.deb | 1.4 MiB | 2016-Dec-30 03:57 |
coq_8.6-4_arm64.deb | 13.2 MiB | 2016-Dec-30 03:57 |
libcoq-ocaml_8.6-4_armhf.deb | 3.4 MiB | 2016-Dec-30 05:12 |
coq-theories_8.6-4_armhf.deb | 21.8 MiB | 2016-Dec-30 05:12 |
libcoq-ocaml-dev_8.6-4_armhf.deb | 13.5 MiB | 2016-Dec-30 05:12 |
coqide_8.6-4_armhf.deb | 1.4 MiB | 2016-Dec-30 05:12 |
coq_8.6-4_armhf.deb | 13.3 MiB | 2016-Dec-30 05:12 |
coqide_8.6-4_armel.deb | 1.4 MiB | 2016-Dec-30 05:12 |
coq_8.6-4_armel.deb | 13.2 MiB | 2016-Dec-30 05:12 |
libcoq-ocaml-dev_8.6-4_armel.deb | 13.5 MiB | 2016-Dec-30 05:12 |
coq-theories_8.6-4_armel.deb | 21.8 MiB | 2016-Dec-30 05:12 |
libcoq-ocaml_8.6-4_armel.deb | 3.4 MiB | 2016-Dec-30 05:12 |
coqide_8.6-4_ppc64el.deb | 1.8 MiB | 2016-Dec-30 05:57 |
coq_8.6-4_ppc64el.deb | 18.2 MiB | 2016-Dec-30 05:57 |
coq-theories_8.6-4_ppc64el.deb | 21.8 MiB | 2016-Dec-30 05:57 |
libcoq-ocaml-dev_8.6-4_ppc64el.deb | 9.6 MiB | 2016-Dec-30 05:57 |
libcoq-ocaml_8.6-4_ppc64el.deb | 2.3 MiB | 2016-Dec-30 05:57 |
coqide_8.6-4_s390x.deb | 1.8 MiB | 2016-Dec-30 07:27 |
coq_8.6-4_s390x.deb | 18.2 MiB | 2016-Dec-30 07:27 |
libcoq-ocaml_8.6-4_s390x.deb | 2.3 MiB | 2016-Dec-30 07:27 |
libcoq-ocaml-dev_8.6-4_s390x.deb | 9.6 MiB | 2016-Dec-30 07:27 |
coq-theories_8.6-4_s390x.deb | 21.8 MiB | 2016-Dec-30 07:27 |
libcoq-ocaml-dev_8.6-4_mipsel.deb | 9.6 MiB | 2016-Dec-30 09:57 |
coq-theories_8.6-4_mipsel.deb | 21.8 MiB | 2016-Dec-30 09:57 |
libcoq-ocaml_8.6-4_mipsel.deb | 2.3 MiB | 2016-Dec-30 09:57 |
coqide_8.6-4_mipsel.deb | 1.8 MiB | 2016-Dec-30 09:57 |
coq_8.6-4_mipsel.deb | 18.2 MiB | 2016-Dec-30 09:57 |
coq_8.6-4_mips.deb | 18.2 MiB | 2016-Dec-30 09:57 |
libcoq-ocaml_8.6-4_mips.deb | 2.3 MiB | 2016-Dec-30 09:57 |
coq-theories_8.6-4_mips.deb | 21.8 MiB | 2016-Dec-30 09:57 |
coqide_8.6-4_mips.deb | 1.8 MiB | 2016-Dec-30 09:57 |
libcoq-ocaml-dev_8.6-4_mips.deb | 9.6 MiB | 2016-Dec-30 09:57 |
libcoq-ocaml_8.6-4_mips64el.deb | 2.3 MiB | 2016-Dec-30 16:29 |
coq_8.6-4_mips64el.deb | 18.2 MiB | 2016-Dec-30 16:29 |
coq-theories_8.6-4_mips64el.deb | 21.8 MiB | 2016-Dec-30 16:29 |
libcoq-ocaml-dev_8.6-4_mips64el.deb | 9.6 MiB | 2016-Dec-30 16:29 |
coqide_8.6-4_mips64el.deb | 1.8 MiB | 2016-Dec-30 16:29 |