Index of /debian-archive/debian/pool/main/c/coq/
../
coq-libs_8.0pl2-2_all.deb 30-Apr-2005 11:54 3735984
coq-libs_8.0pl3-2_all.deb 19-Feb-2006 12:32 3737024
coq-libs_8.1.pl3+dfsg-1_all.deb 05-Jan-2008 09:32 12591954
coq-theories_8.2.pl2+dfsg-1_all.deb 02-Jul-2010 15:19 18387420
coq7-libs_8.0pl2-2_all.deb 31-Mar-2005 22:17 3811428
coq7-libs_8.0pl3-2_all.deb 19-Feb-2006 12:32 3812424
coq_7.2-9.diff.gz 15-Feb-2002 19:24 4657
coq_7.2-9.dsc 15-Feb-2002 19:15 614
coq_7.2-9_alpha.deb 16-Feb-2002 18:22 8892520
coq_7.2-9_arm.deb 16-Feb-2002 11:41 8445312
coq_7.2-9_hppa.deb 16-Feb-2002 18:11 7311624
coq_7.2-9_i386.deb 15-Feb-2002 19:24 8177822
coq_7.2-9_ia64.deb 16-Feb-2002 18:11 9913178
coq_7.2-9_m68k.deb 18-Feb-2002 11:12 7139572
coq_7.2-9_mips.deb 16-Feb-2002 18:33 7232596
coq_7.2-9_mipsel.deb 16-Feb-2002 18:32 7228090
coq_7.2-9_powerpc.deb 16-Feb-2002 18:36 7202830
coq_7.2-9_s390.deb 16-Feb-2002 14:14 7207838
coq_7.2-9_sparc.deb 16-Feb-2002 18:32 7232914
coq_7.2.orig.tar.gz 18-Jan-2002 21:26 1154813
coq_8.0pl2-2.diff.gz 30-Apr-2005 11:54 11086
coq_8.0pl2-2.dsc 30-Apr-2005 11:54 919
coq_8.0pl2-2_alpha.deb 01-Apr-2005 03:17 2957850
coq_8.0pl2-2_arm.deb 09-Apr-2005 00:18 2806890
coq_8.0pl2-2_hppa.deb 01-Apr-2005 01:32 7302358
coq_8.0pl2-2_i386.deb 31-Mar-2005 22:17 6036590
coq_8.0pl2-2_ia64.deb 01-Apr-2005 01:47 3115068
coq_8.0pl2-2_m68k.deb 02-Apr-2005 10:17 2733018
coq_8.0pl2-2_mips.deb 04-Apr-2005 18:02 2863124
coq_8.0pl2-2_mipsel.deb 01-Apr-2005 03:02 2852156
coq_8.0pl2-2_powerpc.deb 01-Apr-2005 00:02 6892466
coq_8.0pl2-2_s390.deb 01-Apr-2005 08:32 2917776
coq_8.0pl2-2_sparc.deb 01-Apr-2005 02:17 6973870
coq_8.0pl2.orig.tar.gz 30-Apr-2005 11:54 2285855
coq_8.0pl3-2.diff.gz 19-Feb-2006 12:32 16289
coq_8.0pl3-2.dsc 19-Feb-2006 12:32 891
coq_8.0pl3-2_alpha.deb 20-Feb-2006 17:02 3001872
coq_8.0pl3-2_amd64.deb 31-Mar-2006 15:02 6548422
coq_8.0pl3-2_arm.deb 20-Feb-2006 02:47 2853944
coq_8.0pl3-2_hppa.deb 19-Feb-2006 17:47 2966628
coq_8.0pl3-2_i386.deb 19-Feb-2006 12:32 6111850
coq_8.0pl3-2_ia64.deb 19-Feb-2006 17:47 3150492
coq_8.0pl3-2_m68k.deb 23-Feb-2006 18:02 2777462
coq_8.0pl3-2_mips.deb 20-Feb-2006 17:02 2928348
coq_8.0pl3-2_mipsel.deb 20-Feb-2006 17:02 2919320
coq_8.0pl3-2_powerpc.deb 20-Feb-2006 17:02 6949524
coq_8.0pl3-2_s390.deb 19-Feb-2006 21:47 2972826
coq_8.0pl3-2_sparc.deb 20-Feb-2006 02:47 7047766
coq_8.0pl3.orig.tar.gz 23-Jan-2006 22:02 2309002
coq_8.1.pl3+dfsg-1+b2_alpha.deb 24-May-2008 18:02 4340136
coq_8.1.pl3+dfsg-1+b2_amd64.deb 23-May-2008 16:17 9037734
coq_8.1.pl3+dfsg-1+b2_arm.deb 25-May-2008 09:02 4189792
coq_8.1.pl3+dfsg-1+b2_armel.deb 24-May-2008 23:17 4215114
coq_8.1.pl3+dfsg-1+b2_hppa.deb 29-May-2008 12:32 4280344
coq_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 14:17 8462404
coq_8.1.pl3+dfsg-1+b2_ia64.deb 27-May-2008 12:32 4475450
coq_8.1.pl3+dfsg-1+b2_mips.deb 27-May-2008 16:17 4244448
coq_8.1.pl3+dfsg-1+b2_mipsel.deb 24-May-2008 18:02 4231274
coq_8.1.pl3+dfsg-1+b2_powerpc.deb 28-May-2008 17:47 9458428
coq_8.1.pl3+dfsg-1+b2_s390.deb 25-May-2008 18:47 4327428
coq_8.1.pl3+dfsg-1+b2_sparc.deb 24-May-2008 09:02 9467546
coq_8.1.pl3+dfsg-1.diff.gz 05-Jan-2008 09:32 15578
coq_8.1.pl3+dfsg-1.dsc 05-Jan-2008 09:32 1070
coq_8.1.pl3+dfsg.orig.tar.gz 05-Jan-2008 09:32 2534628
coq_8.2.pl2+dfsg-1.debian.tar.gz 02-Jul-2010 15:19 16779
coq_8.2.pl2+dfsg-1.dsc 02-Jul-2010 15:19 2157
coq_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 15:19 15354950
coq_8.2.pl2+dfsg-1_armel.deb 03-Jul-2010 20:17 3672400
coq_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 13715098
coq_8.2.pl2+dfsg-1_ia64.deb 03-Jul-2010 20:47 3674122
coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 13:48 15349872
coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 13:18 13711196
coq_8.2.pl2+dfsg-1_mips.deb 04-Jul-2010 12:48 3669694
coq_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 06:32 3671134
coq_8.2.pl2+dfsg-1_powerpc.deb 03-Jul-2010 16:42 15379668
coq_8.2.pl2+dfsg-1_s390.deb 03-Jul-2010 16:42 3671858
coq_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 13:18 15448118
coq_8.2.pl2+dfsg.orig.tar.gz 02-Jul-2010 15:19 3142575
coqide_8.0pl2-2_alpha.deb 01-Apr-2005 03:17 1996090
coqide_8.0pl2-2_arm.deb 09-Apr-2005 00:18 1947512
coqide_8.0pl2-2_hppa.deb 01-Apr-2005 01:32 4758962
coqide_8.0pl2-2_i386.deb 31-Mar-2005 22:17 4060380
coqide_8.0pl2-2_ia64.deb 01-Apr-2005 01:47 2014130
coqide_8.0pl2-2_m68k.deb 02-Apr-2005 10:17 1957718
coqide_8.0pl2-2_mips.deb 04-Apr-2005 18:02 1964058
coqide_8.0pl2-2_mipsel.deb 01-Apr-2005 03:02 1953174
coqide_8.0pl2-2_powerpc.deb 01-Apr-2005 00:02 4518872
coqide_8.0pl2-2_s390.deb 01-Apr-2005 08:32 2006342
coqide_8.0pl2-2_sparc.deb 01-Apr-2005 02:17 4593526
coqide_8.0pl3-2_alpha.deb 20-Feb-2006 17:02 1373320
coqide_8.0pl3-2_amd64.deb 31-Mar-2006 15:02 3661384
coqide_8.0pl3-2_arm.deb 20-Feb-2006 02:47 1328978
coqide_8.0pl3-2_hppa.deb 19-Feb-2006 17:47 1366816
coqide_8.0pl3-2_i386.deb 19-Feb-2006 12:32 3441578
coqide_8.0pl3-2_ia64.deb 19-Feb-2006 17:47 1398014
coqide_8.0pl3-2_m68k.deb 23-Feb-2006 18:02 1342426
coqide_8.0pl3-2_mips.deb 20-Feb-2006 17:02 1355080
coqide_8.0pl3-2_mipsel.deb 20-Feb-2006 17:02 1345776
coqide_8.0pl3-2_powerpc.deb 20-Feb-2006 17:02 3893270
coqide_8.0pl3-2_s390.deb 19-Feb-2006 21:47 1388278
coqide_8.0pl3-2_sparc.deb 20-Feb-2006 02:47 3976640
coqide_8.1.pl3+dfsg-1+b2_alpha.deb 24-May-2008 18:02 2468442
coqide_8.1.pl3+dfsg-1+b2_amd64.deb 23-May-2008 16:17 5231298
coqide_8.1.pl3+dfsg-1+b2_arm.deb 25-May-2008 09:02 2411068
coqide_8.1.pl3+dfsg-1+b2_armel.deb 24-May-2008 23:17 2416304
coqide_8.1.pl3+dfsg-1+b2_hppa.deb 29-May-2008 12:32 2446578
coqide_8.1.pl3+dfsg-1+b2_i386.deb 26-May-2008 14:17 4927074
coqide_8.1.pl3+dfsg-1+b2_ia64.deb 27-May-2008 12:32 2499366
coqide_8.1.pl3+dfsg-1+b2_mips.deb 27-May-2008 16:17 2437054
coqide_8.1.pl3+dfsg-1+b2_mipsel.deb 24-May-2008 18:02 2425922
coqide_8.1.pl3+dfsg-1+b2_powerpc.deb 28-May-2008 17:47 5502946
coqide_8.1.pl3+dfsg-1+b2_s390.deb 25-May-2008 18:47 2498854
coqide_8.1.pl3+dfsg-1+b2_sparc.deb 24-May-2008 09:02 5512680
coqide_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 15:19 6553352
coqide_8.2.pl2+dfsg-1_armel.deb 03-Jul-2010 20:17 2415730
coqide_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 6026786
coqide_8.2.pl2+dfsg-1_ia64.deb 03-Jul-2010 20:47 2414104
coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 13:48 6551596
coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 13:18 6025296
coqide_8.2.pl2+dfsg-1_mips.deb 04-Jul-2010 12:48 2417016
coqide_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 06:32 2416978
coqide_8.2.pl2+dfsg-1_powerpc.deb 03-Jul-2010 16:42 6594842
coqide_8.2.pl2+dfsg-1_s390.deb 03-Jul-2010 16:42 2414068
coqide_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 13:18 6638150
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb 02-Jul-2010 15:19 6085774
libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb 03-Jul-2010 20:17 1974452
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 02-Jul-2010 17:03 5933320
libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb 03-Jul-2010 20:47 1959594
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 04-Jul-2010 13:48 6045384
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb 04-Jul-2010 13:18 5892802
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb 04-Jul-2010 12:48 1961684
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb 03-Jul-2010 06:32 1972174
libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb 03-Jul-2010 16:42 7045796
libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb 03-Jul-2010 16:42 1959626
libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb 04-Jul-2010 13:18 6737102