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