Index of /ubuntu/pool/universe/c/coq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq_8.0pl2.orig.tar.gz2005-04-13 14:09 2.2M 
[ ]coq_8.0pl2-4.diff.gz2005-11-23 15:20 12K 
[ ]coq_8.0pl2-4.dsc2005-11-23 15:20 882  
[ ]coq_8.0pl2-4_amd64.deb2005-12-18 18:15 6.2M 
[ ]coqide_8.0pl2-4_amd64.deb2005-12-18 18:15 4.2M 
[ ]coq-libs_8.0pl2-4_all.deb2005-12-18 19:10 3.6M 
[ ]coq7-libs_8.0pl2-4_all.deb2005-12-18 19:10 3.6M 
[ ]coq_8.0pl2-4_i386.deb2005-12-18 19:10 5.8M 
[ ]coqide_8.0pl2-4_i386.deb2005-12-18 19:10 4.0M 
[ ]coq_8.0pl2-4_powerpc.deb2005-12-21 04:15 6.6M 
[ ]coqide_8.0pl2-4_powerpc.deb2005-12-21 04:15 4.4M 
[ ]coq_8.0pl2-4_sparc.deb2005-12-24 09:00 6.7M 
[ ]coqide_8.0pl2-4_sparc.deb2005-12-24 09:00 4.5M 
[ ]coq_8.1.pl3+dfsg-1.diff.gz2008-01-07 21:03 15K 
[ ]coq_8.1.pl3+dfsg-1.dsc2008-01-07 21:03 1.0K 
[ ]coq_8.1.pl3+dfsg.orig.tar.gz2008-01-07 21:03 2.4M 
[ ]coq_8.1.pl3+dfsg-1_amd64.deb2008-01-08 00:06 8.6M 
[ ]coqide_8.1.pl3+dfsg-1_amd64.deb2008-01-08 00:06 5.0M 
[ ]coq-libs_8.1.pl3+dfsg-1_all.deb2008-01-08 00:07 12M 
[ ]coqide_8.1.pl3+dfsg-1_i386.deb2008-01-08 00:07 4.7M 
[ ]coq_8.1.pl3+dfsg-1_i386.deb2008-01-08 00:07 8.1M 
[ ]coq_8.1.pl3+dfsg-1build1.diff.gz2008-05-27 14:04 15K 
[ ]coq_8.1.pl3+dfsg-1build1.dsc2008-05-27 14:04 925  
[ ]coq-libs_8.1.pl3+dfsg-1build1_all.deb2008-05-27 14:04 12M 
[ ]coq_8.1.pl3+dfsg-1build1_amd64.deb2008-05-27 14:04 8.6M 
[ ]coqide_8.1.pl3+dfsg-1build1_amd64.deb2008-05-27 14:04 5.0M 
[ ]coq_8.1.pl3+dfsg-1build1_i386.deb2008-05-27 14:04 8.1M 
[ ]coqide_8.1.pl3+dfsg-1build1_i386.deb2008-05-27 14:04 4.7M 
[ ]coq_8.2.pl1+dfsg-2.diff.gz2009-07-28 19:13 14K 
[ ]coq_8.2.pl1+dfsg-2.dsc2009-07-28 19:13 1.6K 
[ ]coq_8.2.pl1+dfsg.orig.tar.gz2009-07-28 19:13 3.0M 
[ ]coq-theories_8.2.pl1+dfsg-2_all.deb2009-07-28 19:13 17M 
[ ]coqide_8.2.pl1+dfsg-2_amd64.deb2009-07-28 19:13 6.2M 
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb2009-07-28 19:13 5.7M 
[ ]coq_8.2.pl1+dfsg-2_amd64.deb2009-07-28 19:13 15M 
[ ]coqide_8.2.pl1+dfsg-2_i386.deb2009-07-28 19:13 5.7M 
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_i386.deb2009-07-28 19:13 5.6M 
[ ]coq_8.2.pl1+dfsg-2_i386.deb2009-07-28 19:13 13M 
[ ]coq_8.2.pl1+dfsg-6.diff.gz2010-02-27 16:04 15K 
[ ]coq_8.2.pl1+dfsg-6.dsc2010-02-27 16:04 2.2K 
[ ]coq-theories_8.2.pl1+dfsg-6_all.deb2010-02-27 17:04 17M 
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb2010-02-27 17:04 5.8M 
[ ]coq_8.2.pl1+dfsg-6_amd64.deb2010-02-27 17:04 15M 
[ ]coqide_8.2.pl1+dfsg-6_amd64.deb2010-02-27 17:04 6.2M 
[ ]coqide_8.2.pl1+dfsg-6_i386.deb2010-02-27 17:04 5.7M 
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb2010-02-27 17:04 5.6M 
[ ]coq_8.2.pl1+dfsg-6_i386.deb2010-02-27 17:04 13M 
[ ]coq_8.2.pl2+dfsg.orig.tar.gz2010-07-27 19:05 3.0M 
[ ]coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz2010-09-18 18:05 17K 
[ ]coq_8.2.pl2+dfsg-1ubuntu1.dsc2010-09-18 18:05 1.5K 
[ ]coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb2010-09-18 19:04 18M 
[ ]coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb2010-09-18 19:04 6.1M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb2010-09-18 19:04 5.7M 
[ ]coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb2010-09-18 19:04 14M 
[ ]coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-09-18 19:05 5.6M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-09-18 19:05 5.6M 
[ ]coq_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-09-18 19:05 13M 
[ ]coq_8.2.pl2+dfsg-1ubuntu2.debian.tar.gz2011-05-17 08:04 17K 
[ ]coq_8.2.pl2+dfsg-1ubuntu2.dsc2011-05-17 08:04 2.2K 
[ ]coq_8.3.pl2+dfsg-1.debian.tar.gz2011-05-19 15:05 16K 
[ ]coq_8.3.pl2+dfsg-1.dsc2011-05-19 15:05 2.1K 
[ ]coq_8.3.pl2+dfsg.orig.tar.gz2011-05-19 15:05 3.0M 
[ ]coq-theories_8.3.pl2+dfsg-1_all.deb2011-05-19 16:04 50M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-1_i386.deb2011-05-19 16:04 5.4M 
[ ]coq_8.3.pl2+dfsg-1_i386.deb2011-05-19 16:05 4.7M 
[ ]coqide_8.3.pl2+dfsg-1_i386.deb2011-05-19 16:05 4.9M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-1_i386.deb2011-05-19 16:05 1.7M 
[ ]coq_8.3.pl2+dfsg-1_amd64.deb2011-05-19 19:04 5.3M 
[ ]coqide_8.3.pl2+dfsg-1_amd64.deb2011-05-19 19:04 5.2M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-1_amd64.deb2011-05-19 19:04 5.6M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-1_amd64.deb2011-05-19 19:04 1.9M 
[ ]coq_8.3.pl2+dfsg-1build1.debian.tar.gz2011-08-25 05:04 16K 
[ ]coq_8.3.pl2+dfsg-1build1.dsc2011-08-25 05:04 1.5K 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 05:04 5.6M 
[ ]coq_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 05:04 5.3M 
[ ]coqide_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 05:04 5.2M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 05:04 1.9M 
[ ]coq-theories_8.3.pl2+dfsg-1build1_all.deb2011-08-25 05:04 50M 
[ ]coqide_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 05:05 4.9M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 05:05 5.4M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 05:05 1.7M 
[ ]coq_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 05:05 4.7M 
[ ]coq_8.3.pl2+dfsg-2.debian.tar.gz2011-11-10 17:09 16K 
[ ]coq_8.3.pl2+dfsg-2.dsc2011-11-10 17:09 2.3K 
[ ]coq-theories_8.3.pl2+dfsg-2_all.deb2011-11-10 18:13 50M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-2_amd64.deb2011-11-10 18:13 5.6M 
[ ]coqide_8.3.pl2+dfsg-2_amd64.deb2011-11-10 18:13 5.2M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-2_amd64.deb2011-11-10 18:13 1.9M 
[ ]coq_8.3.pl2+dfsg-2_amd64.deb2011-11-10 18:13 5.3M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-2_i386.deb2011-11-10 18:14 5.4M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-2_i386.deb2011-11-10 18:14 1.7M 
[ ]coqide_8.3.pl2+dfsg-2_i386.deb2011-11-10 18:14 4.9M 
[ ]coq_8.3.pl2+dfsg-2_i386.deb2011-11-10 18:14 4.7M 
[ ]coq_8.3.pl2+dfsg-2build1.dsc2011-11-11 14:03 2.4K 
[ ]coq_8.3.pl2+dfsg-2build1.debian.tar.gz2011-11-11 14:03 16K 
[ ]coqide_8.3.pl2+dfsg-2build1_amd64.deb2011-11-11 14:03 5.2M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-2build1_amd64.deb2011-11-11 14:03 5.6M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-2build1_amd64.deb2011-11-11 14:03 1.9M 
[ ]coq_8.3.pl2+dfsg-2build1_amd64.deb2011-11-11 14:03 5.3M 
[ ]coq-theories_8.3.pl2+dfsg-2build1_all.deb2011-11-11 14:03 50M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-2build1_i386.deb2011-11-11 14:03 5.4M 
[ ]coqide_8.3.pl2+dfsg-2build1_i386.deb2011-11-11 14:03 4.9M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-2build1_i386.deb2011-11-11 14:03 1.7M 
[ ]coq_8.3.pl2+dfsg-2build1_i386.deb2011-11-11 14:03 4.7M 
[ ]coq_8.3.pl2+dfsg-2build2.debian.tar.gz2011-11-19 14:04 16K 
[ ]coq_8.3.pl2+dfsg-2build2.dsc2011-11-19 14:04 2.4K 
[ ]coqide_8.3.pl2+dfsg-2build2_amd64.deb2011-11-19 14:05 5.2M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-2build2_amd64.deb2011-11-19 14:05 5.6M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-2build2_amd64.deb2011-11-19 14:05 1.9M 
[ ]coq_8.3.pl2+dfsg-2build2_amd64.deb2011-11-19 14:05 5.3M 
[ ]coq-theories_8.3.pl2+dfsg-2build2_all.deb2011-11-19 15:03 50M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-2build2_i386.deb2011-11-19 15:03 5.4M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-2build2_i386.deb2011-11-19 15:03 1.7M 
[ ]coqide_8.3.pl2+dfsg-2build2_i386.deb2011-11-19 15:03 4.9M 
[ ]coq_8.3.pl2+dfsg-2build2_i386.deb2011-11-19 15:03 4.7M 
[ ]coq_8.3.pl3+dfsg-1.debian.tar.gz2012-01-07 12:33 16K 
[ ]coq_8.3.pl3+dfsg-1.dsc2012-01-07 12:33 2.3K 
[ ]coq_8.3.pl3+dfsg.orig.tar.gz2012-01-07 12:33 3.0M 
[ ]coq-theories_8.3.pl3+dfsg-1_all.deb2012-01-07 13:03 52M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1_amd64.deb2012-01-07 13:03 5.6M 
[ ]coqide_8.3.pl3+dfsg-1_amd64.deb2012-01-07 13:03 5.2M 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1_amd64.deb2012-01-07 13:03 1.9M 
[ ]coq_8.3.pl3+dfsg-1_amd64.deb2012-01-07 13:03 5.3M 
[ ]coqide_8.3.pl3+dfsg-1_i386.deb2012-01-07 13:03 4.9M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1_i386.deb2012-01-07 13:03 5.5M 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1_i386.deb2012-01-07 13:03 1.7M 
[ ]coq_8.3.pl3+dfsg-1_i386.deb2012-01-07 13:03 4.7M 
[ ]coq_8.3.pl3+dfsg-1build1.dsc2012-01-24 12:34 2.4K 
[ ]coq_8.3.pl3+dfsg-1build1.debian.tar.gz2012-01-24 12:34 16K 
[ ]coq-theories_8.3.pl3+dfsg-1build1_all.deb2012-01-24 13:04 51M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1build1_amd64.deb2012-01-24 13:04 5.6M 
[ ]coqide_8.3.pl3+dfsg-1build1_amd64.deb2012-01-24 13:04 5.2M 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1build1_amd64.deb2012-01-24 13:04 1.9M 
[ ]coq_8.3.pl3+dfsg-1build1_amd64.deb2012-01-24 13:04 5.3M 
[ ]libcoq-ocaml-dev_8.3.pl3+dfsg-1build1_i386.deb2012-01-24 13:04 5.4M 
[ ]libcoq-ocaml_8.3.pl3+dfsg-1build1_i386.deb2012-01-24 13:04 1.7M 
[ ]coqide_8.3.pl3+dfsg-1build1_i386.deb2012-01-24 13:04 4.9M 
[ ]coq_8.3.pl3+dfsg-1build1_i386.deb2012-01-24 13:04 4.7M 
[ ]coq_8.3.pl4+dfsg-1.debian.tar.gz2012-04-03 10:33 16K 
[ ]coq_8.3.pl4+dfsg.orig.tar.gz2012-04-03 10:33 3.0M 
[ ]coq_8.3.pl4+dfsg-1.dsc2012-04-03 10:33 2.3K 
[ ]coq-theories_8.3.pl4+dfsg-1_all.deb2012-04-03 11:04 52M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb2012-04-03 11:04 5.5M 
[ ]coqide_8.3.pl4+dfsg-1_i386.deb2012-04-03 11:04 4.9M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb2012-04-03 11:04 1.7M 
[ ]coq_8.3.pl4+dfsg-1_i386.deb2012-04-03 11:04 4.7M 
[ ]coq_8.3.pl4+dfsg-1_amd64.deb2012-04-03 11:34 5.3M 
[ ]coqide_8.3.pl4+dfsg-1_amd64.deb2012-04-03 11:34 5.2M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb2012-04-03 11:34 5.6M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb2012-04-03 11:34 1.9M 
[ ]coq_8.3.pl4+dfsg-1build1.debian.tar.gz2012-05-16 02:03 16K 
[ ]coq_8.3.pl4+dfsg-1build1.dsc2012-05-16 02:03 1.7K 
[ ]coq-theories_8.3.pl4+dfsg-1build1_all.deb2012-05-16 03:03 51M 
[ ]coqide_8.3.pl4+dfsg-1build1_amd64.deb2012-05-16 03:03 5.2M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1build1_amd64.deb2012-05-16 03:03 5.6M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-1build1_amd64.deb2012-05-16 03:03 1.9M 
[ ]coq_8.3.pl4+dfsg-1build1_amd64.deb2012-05-16 03:03 5.3M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1build1_i386.deb2012-05-16 03:03 5.4M 
[ ]coqide_8.3.pl4+dfsg-1build1_i386.deb2012-05-16 03:03 4.9M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-1build1_i386.deb2012-05-16 03:03 1.7M 
[ ]coq_8.3.pl4+dfsg-1build1_i386.deb2012-05-16 03:04 4.7M 
[ ]coq_8.3.pl4+dfsg-2.debian.tar.gz2012-06-08 14:36 16K 
[ ]coq_8.3.pl4+dfsg-2.dsc2012-06-08 14:36 2.3K 
[ ]coq-theories_8.3.pl4+dfsg-2_all.deb2012-06-08 18:04 52M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb2012-06-08 18:04 5.5M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb2012-06-08 18:04 1.7M 
[ ]coqide_8.3.pl4+dfsg-2_i386.deb2012-06-08 18:04 4.9M 
[ ]coq_8.3.pl4+dfsg-2_i386.deb2012-06-08 18:04 4.7M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2012-06-08 21:03 5.6M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2012-06-08 21:03 1.9M 
[ ]coq_8.3.pl4+dfsg-2_amd64.deb2012-06-08 21:03 5.3M 
[ ]coqide_8.3.pl4+dfsg-2_amd64.deb2012-06-08 21:03 5.2M 
[ ]coq_8.4pl2dfsg-1.debian.tar.gz2013-05-08 23:33 17K 
[ ]coq_8.4pl2dfsg-1.dsc2013-05-08 23:33 2.3K 
[ ]coq_8.4pl2dfsg.orig.tar.gz2013-05-08 23:33 3.4M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb2013-05-09 00:03 5.5M 
[ ]coq_8.4pl2dfsg-1_amd64.deb2013-05-09 00:03 5.7M 
[ ]coqide_8.4pl2dfsg-1_amd64.deb2013-05-09 00:03 1.0M 
[ ]libcoq-ocaml_8.4pl2dfsg-1_amd64.deb2013-05-09 00:03 2.1M 
[ ]coq-theories_8.4pl2dfsg-1_all.deb2013-05-09 00:03 56M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-1_i386.deb2013-05-09 00:03 5.3M 
[ ]libcoq-ocaml_8.4pl2dfsg-1_i386.deb2013-05-09 00:03 1.8M 
[ ]coq_8.4pl2dfsg-1_i386.deb2013-05-09 00:03 5.0M 
[ ]coqide_8.4pl2dfsg-1_i386.deb2013-05-09 00:03 766K 
[ ]coqide_8.4pl2dfsg-1_arm64.deb2013-10-29 01:53 274K 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-1_arm64.deb2013-10-29 01:53 2.0M 
[ ]libcoq-ocaml_8.4pl2dfsg-1_arm64.deb2013-10-29 01:53 505K 
[ ]coq_8.4pl2dfsg-1_arm64.deb2013-10-29 01:53 1.8M 
[ ]coq_8.4pl2dfsg-4.debian.tar.gz2013-12-04 11:13 17K 
[ ]coq_8.4pl2dfsg-4.dsc2013-12-04 11:13 2.3K 
[ ]coq-theories_8.4pl2dfsg-4_all.deb2013-12-23 04:43 31M 
[ ]coq_8.4pl2dfsg-4_amd64.deb2013-12-23 04:43 3.9M 
[ ]coqide_8.4pl2dfsg-4_amd64.deb2013-12-23 04:43 725K 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb2013-12-23 04:43 3.5M 
[ ]libcoq-ocaml_8.4pl2dfsg-4_amd64.deb2013-12-23 04:43 1.5M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-4_i386.deb2013-12-23 04:43 3.5M 
[ ]coq_8.4pl2dfsg-4_i386.deb2013-12-23 04:43 3.6M 
[ ]coqide_8.4pl2dfsg-4_i386.deb2013-12-23 04:43 661K 
[ ]libcoq-ocaml_8.4pl2dfsg-4_i386.deb2013-12-23 04:43 1.4M 
[ ]coq_8.4pl3dfsg-1.debian.tar.xz2014-01-19 23:18 15K 
[ ]coq_8.4pl3dfsg-1.dsc2014-01-19 23:18 2.3K 
[ ]coq_8.4pl3dfsg.orig.tar.gz2014-01-19 23:18 3.4M 
[ ]coq-theories_8.4pl3dfsg-1_all.deb2014-01-19 23:58 30M 
[ ]libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-01-19 23:58 3.5M 
[ ]libcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-01-19 23:58 1.5M 
[ ]coq_8.4pl3dfsg-1_amd64.deb2014-01-19 23:58 3.9M 
[ ]coqide_8.4pl3dfsg-1_amd64.deb2014-01-19 23:58 727K 
[ ]coqide_8.4pl3dfsg-1_i386.deb2014-01-19 23:58 662K 
[ ]libcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-01-19 23:58 1.4M 
[ ]coq_8.4pl3dfsg-1_i386.deb2014-01-19 23:58 3.6M 
[ ]libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-01-19 23:58 3.5M 
[ ]coq_8.4pl4dfsg-1.debian.tar.xz2014-07-27 23:13 15K 
[ ]coq_8.4pl4dfsg-1.dsc2014-07-27 23:13 2.3K 
[ ]coq_8.4pl4dfsg.orig.tar.gz2014-07-27 23:13 3.4M 
[ ]coqide_8.4pl4dfsg-1_amd64.deb2014-07-27 23:53 726K 
[ ]coq_8.4pl4dfsg-1_amd64.deb2014-07-27 23:53 3.9M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-07-27 23:53 3.5M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-07-27 23:53 1.5M 
[ ]coq-theories_8.4pl4dfsg-1_all.deb2014-07-27 23:53 31M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-07-27 23:53 3.5M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-07-27 23:53 1.4M 
[ ]coq_8.4pl4dfsg-1_i386.deb2014-07-27 23:53 3.6M 
[ ]coqide_8.4pl4dfsg-1_i386.deb2014-07-27 23:53 662K 
[ ]coq_8.4pl4dfsg-3.debian.tar.xz2015-10-23 21:36 16K 
[ ]coq_8.4pl4dfsg-3.dsc2015-10-23 21:36 2.3K 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-3_amd64.deb2015-10-24 00:54 3.5M 
[ ]coq_8.4pl4dfsg-3_amd64.deb2015-10-24 00:54 3.7M 
[ ]libcoq-ocaml_8.4pl4dfsg-3_amd64.deb2015-10-24 00:54 1.5M 
[ ]coq-theories_8.4pl4dfsg-3_all.deb2015-10-24 00:54 30M 
[ ]coqide_8.4pl4dfsg-3_amd64.deb2015-10-24 00:54 728K 
[ ]coq_8.4pl4dfsg-3_i386.deb2015-10-24 01:10 3.5M 
[ ]coqide_8.4pl4dfsg-3_i386.deb2015-10-24 01:10 670K 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-3_i386.deb2015-10-24 01:10 3.5M 
[ ]libcoq-ocaml_8.4pl4dfsg-3_i386.deb2015-10-24 01:10 1.4M 
[ ]coq_8.4pl4dfsg-3build1.debian.tar.xz2015-10-28 17:24 16K 
[ ]coq_8.4pl4dfsg-3build1.dsc2015-10-28 17:24 2.0K 
[ ]coqide_8.4pl4dfsg-3build1_amd64.deb2015-10-28 17:56 733K 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-3build1_amd64.deb2015-10-28 17:56 3.5M 
[ ]libcoq-ocaml_8.4pl4dfsg-3build1_amd64.deb2015-10-28 17:56 1.5M 
[ ]coq_8.4pl4dfsg-3build1_amd64.deb2015-10-28 17:56 3.7M 
[ ]coq-theories_8.4pl4dfsg-3build1_all.deb2015-10-28 17:56 30M 
[ ]libcoq-ocaml_8.4pl4dfsg-3build1_i386.deb2015-10-28 17:56 1.4M 
[ ]coqide_8.4pl4dfsg-3build1_i386.deb2015-10-28 17:56 678K 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-3build1_i386.deb2015-10-28 17:56 3.5M 
[ ]coq_8.4pl4dfsg-3build1_i386.deb2015-10-28 17:56 3.5M 
[ ]coq_8.4pl4dfsg-3build2.debian.tar.xz2015-11-04 13:14 16K 
[ ]coq_8.4pl4dfsg-3build2.dsc2015-11-04 13:14 2.3K 
[ ]coq_8.4pl4dfsg-3build2_i386.deb2015-11-04 13:39 3.6M 
[ ]coqide_8.4pl4dfsg-3build2_i386.deb2015-11-04 13:39 695K 
[ ]libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-11-04 13:39 1.3M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-11-04 13:39 3.6M 
[ ]coqide_8.4pl4dfsg-3build2_amd64.deb2015-11-04 14:04 731K 
[ ]libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-11-04 14:04 1.4M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-11-04 14:04 3.5M 
[ ]coq-theories_8.4pl4dfsg-3build2_all.deb2015-11-04 14:04 31M 
[ ]coq_8.4pl4dfsg-3build2_amd64.deb2015-11-04 14:04 3.8M 
[ ]coq_8.5-1.debian.tar.xz2016-01-26 23:09 16K 
[ ]coq_8.5-1.dsc2016-01-26 23:09 2.3K 
[ ]coq_8.5.orig.tar.gz2016-01-26 23:09 4.6M 
[ ]coq_8.5-1_amd64.deb2016-01-26 23:59 12M 
[ ]libcoq-ocaml-dev_8.5-1_amd64.deb2016-01-26 23:59 13M 
[ ]coq-theories_8.5-1_amd64.deb2016-01-26 23:59 31M 
[ ]coqide_8.5-1_amd64.deb2016-01-26 23:59 1.0M 
[ ]libcoq-ocaml_8.5-1_amd64.deb2016-01-26 23:59 3.2M 
[ ]coq_8.5-1_i386.deb2016-01-26 23:59 12M 
[ ]coq-theories_8.5-1_i386.deb2016-01-26 23:59 30M 
[ ]coqide_8.5-1_i386.deb2016-01-26 23:59 1.0M 
[ ]libcoq-ocaml-dev_8.5-1_i386.deb2016-01-26 23:59 13M 
[ ]libcoq-ocaml_8.5-1_i386.deb2016-01-26 23:59 3.1M 
[ ]coq_8.5-2.debian.tar.xz2016-01-29 05:25 16K 
[ ]coq_8.5-2.dsc2016-01-29 05:25 2.3K 
[ ]libcoq-ocaml-dev_8.5-2_amd64.deb2016-01-29 06:19 13M 
[ ]coq-theories_8.5-2_amd64.deb2016-01-29 06:19 31M 
[ ]coq_8.5-2_amd64.deb2016-01-29 06:19 12M 
[ ]coqide_8.5-2_amd64.deb2016-01-29 06:19 1.0M 
[ ]libcoq-ocaml_8.5-2_amd64.deb2016-01-29 06:19 3.2M 
[ ]coqide_8.5-2_i386.deb2016-01-29 06:20 1.0M 
[ ]libcoq-ocaml-dev_8.5-2_i386.deb2016-01-29 06:20 13M 
[ ]coq-theories_8.5-2_i386.deb2016-01-29 06:20 30M 
[ ]coq_8.5-2_i386.deb2016-01-29 06:20 12M 
[ ]libcoq-ocaml_8.5-2_i386.deb2016-01-29 06:20 3.1M 
[ ]coq_8.5-2build1.dsc2016-06-11 15:13 2.4K 
[ ]coq_8.5-2build1.debian.tar.xz2016-06-11 15:14 16K 
[ ]coqide_8.5-2build1_amd64.deb2016-06-11 16:14 1.2M 
[ ]libcoq-ocaml-dev_8.5-2build1_amd64.deb2016-06-11 16:14 13M 
[ ]coq-theories_8.5-2build1_amd64.deb2016-06-11 16:14 31M 
[ ]coq_8.5-2build1_amd64.deb2016-06-11 16:14 13M 
[ ]libcoq-ocaml_8.5-2build1_amd64.deb2016-06-11 16:14 3.2M 
[ ]libcoq-ocaml-dev_8.5-2build1_i386.deb2016-06-11 16:15 13M 
[ ]coq-theories_8.5-2build1_i386.deb2016-06-11 16:15 30M 
[ ]coq_8.5-2build1_i386.deb2016-06-11 16:15 12M 
[ ]coqide_8.5-2build1_i386.deb2016-06-11 16:15 1.0M 
[ ]libcoq-ocaml_8.5-2build1_i386.deb2016-06-11 16:15 3.1M 
[ ]coq_8.6-1.debian.tar.xz2016-12-28 17:13 16K 
[ ]coq_8.6-1.dsc2016-12-28 17:13 2.3K 
[ ]coq_8.6.orig.tar.gz2016-12-28 17:13 4.8M 
[ ]libcoq-ocaml-dev_8.6-1_i386.deb2016-12-28 17:48 13M 
[ ]libcoq-ocaml_8.6-1_i386.deb2016-12-28 17:48 3.2M 
[ ]coq-theories_8.6-1_i386.deb2016-12-28 17:48 29M 
[ ]coqide_8.6-1_i386.deb2016-12-28 17:48 1.1M 
[ ]coq_8.6-1_i386.deb2016-12-28 17:48 12M 
[ ]coqide_8.6-1_amd64.deb2016-12-28 17:53 1.3M 
[ ]libcoq-ocaml-dev_8.6-1_amd64.deb2016-12-28 17:53 13M 
[ ]coq-theories_8.6-1_amd64.deb2016-12-28 17:53 30M 
[ ]coq_8.6-1_amd64.deb2016-12-28 17:53 13M 
[ ]libcoq-ocaml_8.6-1_amd64.deb2016-12-28 17:53 3.3M 
[ ]coq_8.6-2.debian.tar.xz2016-12-29 05:18 21K 
[ ]coq_8.6-2.dsc2016-12-29 05:18 2.3K 
[ ]coqide_8.6-2_amd64.deb2016-12-29 06:13 1.3M 
[ ]coq-theories_8.6-2_amd64.deb2016-12-29 06:13 30M 
[ ]libcoq-ocaml-dev_8.6-2_amd64.deb2016-12-29 06:13 13M 
[ ]libcoq-ocaml_8.6-2_amd64.deb2016-12-29 06:13 3.3M 
[ ]coq_8.6-2_amd64.deb2016-12-29 06:13 13M 
[ ]coq_8.6-2_i386.deb2016-12-29 06:13 12M 
[ ]coqide_8.6-2_i386.deb2016-12-29 06:13 1.1M 
[ ]libcoq-ocaml_8.6-2_i386.deb2016-12-29 06:13 3.2M 
[ ]coq-theories_8.6-2_i386.deb2016-12-29 06:13 29M 
[ ]libcoq-ocaml-dev_8.6-2_i386.deb2016-12-29 06:13 13M 
[ ]coq_8.6-3.dsc2016-12-29 17:34 2.3K 
[ ]coq_8.6-3.debian.tar.xz2016-12-29 17:34 21K 
[ ]coqide_8.6-3_amd64.deb2016-12-29 18:23 1.3M 
[ ]coq-theories_8.6-3_amd64.deb2016-12-29 18:23 30M 
[ ]libcoq-ocaml_8.6-3_amd64.deb2016-12-29 18:23 3.3M 
[ ]coq_8.6-3_amd64.deb2016-12-29 18:23 13M 
[ ]libcoq-ocaml-dev_8.6-3_amd64.deb2016-12-29 18:23 13M 
[ ]coq-theories_8.6-3_i386.deb2016-12-29 18:24 29M 
[ ]libcoq-ocaml_8.6-3_i386.deb2016-12-29 18:24 3.2M 
[ ]coqide_8.6-3_i386.deb2016-12-29 18:24 1.1M 
[ ]coq_8.6-3_i386.deb2016-12-29 18:24 12M 
[ ]libcoq-ocaml-dev_8.6-3_i386.deb2016-12-29 18:24 13M 
[ ]coq_8.6-4.dsc2016-12-30 05:19 2.3K 
[ ]coq_8.6-4.debian.tar.xz2016-12-30 05:19 21K 
[ ]coq_8.6-4_amd64.deb2016-12-30 06:03 13M 
[ ]coqide_8.6-4_amd64.deb2016-12-30 06:03 1.3M 
[ ]libcoq-ocaml-dev_8.6-4_amd64.deb2016-12-30 06:03 13M 
[ ]libcoq-ocaml_8.6-4_amd64.deb2016-12-30 06:03 3.3M 
[ ]coq-theories_8.6-4_amd64.deb2016-12-30 06:03 30M 
[ ]libcoq-ocaml-dev_8.6-4_i386.deb2016-12-30 06:03 13M 
[ ]coq-theories_8.6-4_i386.deb2016-12-30 06:03 29M 
[ ]coq_8.6-4_i386.deb2016-12-30 06:03 12M 
[ ]libcoq-ocaml_8.6-4_i386.deb2016-12-30 06:03 3.2M 
[ ]coqide_8.6-4_i386.deb2016-12-30 06:03 1.1M 
[ ]coq_8.6-4build1.debian.tar.xz2017-06-30 14:03 22K 
[ ]coq_8.6-4build1.dsc2017-06-30 14:03 2.1K 
[ ]coqide_8.6-4build1_i386.deb2017-06-30 16:08 1.3M 
[ ]libcoq-ocaml-dev_8.6-4build1_i386.deb2017-06-30 16:08 13M 
[ ]coq-theories_8.6-4build1_i386.deb2017-06-30 16:08 30M 
[ ]libcoq-ocaml_8.6-4build1_i386.deb2017-06-30 16:08 3.2M 
[ ]coq_8.6-4build1_i386.deb2017-06-30 16:08 16M 
[ ]libcoq-ocaml_8.6-4build1_amd64.deb2017-06-30 16:23 3.4M 
[ ]libcoq-ocaml-dev_8.6-4build1_amd64.deb2017-06-30 16:23 13M 
[ ]coq-theories_8.6-4build1_amd64.deb2017-06-30 16:23 32M 
[ ]coqide_8.6-4build1_amd64.deb2017-06-30 16:23 1.4M 
[ ]coq_8.6-4build1_amd64.deb2017-06-30 16:23 17M 
[ ]coq_8.6-4build2.debian.tar.xz2017-07-16 19:13 22K 
[ ]coq_8.6-4build2.dsc2017-07-16 19:13 2.1K 
[ ]coq-theories_8.6-4build2_amd64.deb2017-07-16 19:13 32M 
[ ]coqide_8.6-4build2_amd64.deb2017-07-16 19:13 1.4M 
[ ]coq_8.6-4build2_amd64.deb2017-07-16 19:13 17M 
[ ]libcoq-ocaml-dev_8.6-4build2_amd64.deb2017-07-16 19:13 13M 
[ ]libcoq-ocaml_8.6-4build2_amd64.deb2017-07-16 19:13 3.4M 
[ ]coq_8.6-4build2_i386.deb2017-07-16 19:13 16M 
[ ]coqide_8.6-4build2_i386.deb2017-07-16 19:13 1.3M 
[ ]libcoq-ocaml-dev_8.6-4build2_i386.deb2017-07-16 19:13 13M 
[ ]libcoq-ocaml_8.6-4build2_i386.deb2017-07-16 19:13 3.2M 
[ ]coq-theories_8.6-4build2_i386.deb2017-07-16 19:13 30M 
[ ]coq_8.6-4build3.debian.tar.xz2017-07-27 08:53 22K 
[ ]coq_8.6-4build3.dsc2017-07-27 08:53 2.1K 
[ ]coq_8.6-4build3_i386.deb2017-07-27 09:34 16M 
[ ]coqide_8.6-4build3_i386.deb2017-07-27 09:34 1.3M 
[ ]coq-theories_8.6-4build3_i386.deb2017-07-27 09:34 30M 
[ ]libcoq-ocaml-dev_8.6-4build3_i386.deb2017-07-27 09:34 13M 
[ ]libcoq-ocaml_8.6-4build3_i386.deb2017-07-27 09:34 3.2M 
[ ]coqide_8.6-4build3_amd64.deb2017-07-27 10:03 1.4M 
[ ]coq-theories_8.6-4build3_amd64.deb2017-07-27 10:03 32M 
[ ]coq_8.6-4build3_amd64.deb2017-07-27 10:03 17M 
[ ]libcoq-ocaml_8.6-4build3_amd64.deb2017-07-27 10:03 3.4M 
[ ]libcoq-ocaml-dev_8.6-4build3_amd64.deb2017-07-27 10:03 13M 
[ ]coq_8.6-5.debian.tar.xz2017-10-27 21:55 21K 
[ ]coq_8.6-5.dsc2017-10-27 21:55 2.4K 
[ ]coq_8.6-5build1.debian.tar.xz2017-10-28 14:39 21K 
[ ]coq_8.6-5build1.dsc2017-10-28 14:39 2.3K 
[ ]libcoq-ocaml_8.6-5build1_amd64.deb2017-10-28 15:34 3.4M 
[ ]coq-theories_8.6-5build1_amd64.deb2017-10-28 15:34 32M 
[ ]coqide_8.6-5build1_amd64.deb2017-10-28 15:34 1.5M 
[ ]libcoq-ocaml-dev_8.6-5build1_amd64.deb2017-10-28 15:34 13M 
[ ]coq_8.6-5build1_amd64.deb2017-10-28 15:34 17M 
[ ]libcoq-ocaml-dev_8.6-5build1_i386.deb2017-10-28 15:34 13M 
[ ]coq_8.6-5build1_i386.deb2017-10-28 15:34 16M 
[ ]coqide_8.6-5build1_i386.deb2017-10-28 15:34 1.3M 
[ ]libcoq-ocaml_8.6-5build1_i386.deb2017-10-28 15:34 3.2M 
[ ]coq-theories_8.6-5build1_i386.deb2017-10-28 15:34 31M 
[ ]coq_8.8.2-1.debian.tar.xz2019-01-07 11:15 61K 
[ ]coq_8.8.2-1.dsc2019-01-07 11:15 2.4K 
[ ]coq_8.8.2.orig.tar.gz2019-01-07 11:15 5.1M 
[ ]coq_8.8.2-1_i386.deb2019-01-07 11:58 16M 
[ ]libcoq-ocaml_8.8.2-1_i386.deb2019-01-07 11:58 4.1M 
[ ]coq-theories_8.8.2-1_i386.deb2019-01-07 11:58 27M 
[ ]libcoq-ocaml-dev_8.8.2-1_i386.deb2019-01-07 11:58 12M 
[ ]coq_8.8.2-1_amd64.deb2019-01-07 14:48 17M 
[ ]libcoq-ocaml-dev_8.8.2-1_amd64.deb2019-01-07 14:48 12M 
[ ]coq-theories_8.8.2-1_amd64.deb2019-01-07 14:48 28M 
[ ]libcoq-ocaml_8.8.2-1_amd64.deb2019-01-07 14:48 4.3M 
[ ]coq_8.9.0-1.debian.tar.xz2019-02-06 23:18 27K 
[ ]coq_8.9.0-1.dsc2019-02-06 23:18 2.4K 
[ ]coq_8.9.0.orig.tar.gz2019-02-06 23:18 5.1M 
[ ]coq-theories_8.9.0-1_amd64.deb2019-02-07 08:08 28M 
[ ]libcoq-ocaml-dev_8.9.0-1_amd64.deb2019-02-07 08:08 13M 
[ ]libcoq-ocaml_8.9.0-1_amd64.deb2019-02-07 08:08 5.1M 
[ ]coq_8.9.0-1_amd64.deb2019-02-07 08:08 56M 
[ ]libcoq-ocaml_8.9.0-1_i386.deb2019-02-07 08:08 4.9M 
[ ]coq_8.9.0-1_i386.deb2019-02-07 08:08 54M 
[ ]coq-theories_8.9.0-1_i386.deb2019-02-07 08:08 27M 
[ ]libcoq-ocaml-dev_8.9.0-1_i386.deb2019-02-07 08:08 13M 
[ ]coq_8.9.0-1build1.debian.tar.xz2019-07-26 20:58 27K 
[ ]coq_8.9.0-1build1.dsc2019-07-26 20:58 2.4K 
[ ]libcoq-ocaml-dev_8.9.0-1build1_amd64.deb2019-07-26 21:13 13M 
[ ]libcoq-ocaml_8.9.0-1build1_amd64.deb2019-07-26 21:13 5.2M 
[ ]coq-theories_8.9.0-1build1_amd64.deb2019-07-26 21:13 28M 
[ ]coq_8.9.0-1build1_amd64.deb2019-07-26 21:13 56M 
[ ]libcoq-ocaml-dev_8.9.0-1build1_i386.deb2019-07-26 21:13 13M 
[ ]coq_8.9.0-1build1_i386.deb2019-07-26 21:13 54M 
[ ]coq-theories_8.9.0-1build1_i386.deb2019-07-26 21:13 27M 
[ ]libcoq-ocaml_8.9.0-1build1_i386.deb2019-07-26 21:13 4.9M 
[ ]coq_8.9.0-1build2.debian.tar.xz2019-08-05 10:18 27K 
[ ]coq_8.9.0-1build2.dsc2019-08-05 10:18 2.4K 
[ ]coq-theories_8.9.0-1build2_amd64.deb2019-08-05 10:58 28M 
[ ]libcoq-ocaml-dev_8.9.0-1build2_amd64.deb2019-08-05 10:58 13M 
[ ]coq_8.9.0-1build2_amd64.deb2019-08-05 10:58 56M 
[ ]libcoq-ocaml_8.9.0-1build2_amd64.deb2019-08-05 10:58 5.2M 
[ ]libcoq-ocaml-dev_8.9.0-1build2_i386.deb2019-08-05 10:58 13M 
[ ]libcoq-ocaml_8.9.0-1build2_i386.deb2019-08-05 10:58 4.9M 
[ ]coq-theories_8.9.0-1build2_i386.deb2019-08-05 10:58 27M 
[ ]coq_8.9.0-1build2_i386.deb2019-08-05 10:58 54M 
[ ]coq_8.9.1-1.debian.tar.xz2019-08-20 11:13 29K 
[ ]coq_8.9.1-1.dsc2019-08-20 11:13 2.1K 
[ ]coq_8.9.1.orig.tar.gz2019-08-20 11:13 5.1M 
[ ]libcoq-ocaml_8.9.1-1_amd64.deb2019-08-20 11:33 5.2M 
[ ]coq-theories_8.9.1-1_amd64.deb2019-08-20 11:33 28M 
[ ]coq_8.9.1-1_amd64.deb2019-08-20 11:33 56M 
[ ]libcoq-ocaml-dev_8.9.1-1_amd64.deb2019-08-20 11:33 13M 
[ ]coq_8.9.1-1_i386.deb2019-08-20 11:43 54M 
[ ]libcoq-ocaml-dev_8.9.1-1_i386.deb2019-08-20 11:43 13M 
[ ]libcoq-ocaml_8.9.1-1_i386.deb2019-08-20 11:43 4.9M 
[ ]coq-theories_8.9.1-1_i386.deb2019-08-20 11:43 27M 
[ ]coq_8.9.1-2.debian.tar.xz2019-11-08 23:28 29K 
[ ]coq_8.9.1-2.dsc2019-11-08 23:28 2.1K 
[ ]coq-theories_8.9.1-2_amd64.deb2019-11-08 23:43 28M 
[ ]coq_8.9.1-2_amd64.deb2019-11-08 23:43 56M 
[ ]libcoq-ocaml-dev_8.9.1-2_amd64.deb2019-11-08 23:43 13M 
[ ]libcoq-ocaml_8.9.1-2_amd64.deb2019-11-08 23:43 5.2M 
[ ]libcoq-ocaml-dev_8.9.1-2_i386.deb2019-11-08 23:43 13M 
[ ]coq-theories_8.9.1-2_i386.deb2019-11-08 23:43 27M 
[ ]libcoq-ocaml_8.9.1-2_i386.deb2019-11-08 23:43 4.9M 
[ ]coq_8.9.1-2_i386.deb2019-11-08 23:43 54M 
[ ]coq_8.9.1-3.debian.tar.xz2020-01-25 05:13 30K 
[ ]coq_8.9.1-3.dsc2020-01-25 05:13 2.4K 
[ ]coq_8.9.1-4.dsc2020-01-27 11:28 2.4K 
[ ]coq_8.9.1-4.debian.tar.xz2020-01-27 11:28 31K 
[ ]coq_8.9.1-5.debian.tar.xz2020-01-29 11:28 31K 
[ ]coq_8.9.1-5.dsc2020-01-29 11:28 2.4K 
[ ]coq_8.9.1-5build1.debian.tar.xz2020-02-21 23:38 31K 
[ ]coq_8.9.1-5build1.dsc2020-02-21 23:38 2.5K 
[ ]coq_8.9.1-5ubuntu1.debian.tar.xz2020-02-24 17:23 31K 
[ ]coq_8.9.1-5ubuntu1.dsc2020-02-24 17:23 2.5K 
[ ]coq_8.9.1-5ubuntu1_amd64.deb2020-02-24 18:03 67M 
[ ]coq-theories_8.9.1-5ubuntu1_amd64.deb2020-02-24 18:03 29M 
[ ]coqide_8.9.1-5ubuntu1_amd64.deb2020-02-24 18:03 1.7M 
[ ]libcoq-ocaml_8.9.1-5ubuntu1_amd64.deb2020-02-24 18:03 5.3M 
[ ]libcoq-ocaml-dev_8.9.1-5ubuntu1_amd64.deb2020-02-24 18:03 14M 
[ ]coq_8.11.0-1.dsc2020-03-06 07:53 2.4K 
[ ]coq_8.11.0-1.debian.tar.xz2020-03-06 07:53 31K 
[ ]coq_8.11.0.orig.tar.gz2020-03-06 07:53 5.6M 
[ ]coq_8.11.0-1_amd64.deb2020-03-06 08:38 73M 
[ ]coqide_8.11.0-1_amd64.deb2020-03-06 08:38 1.7M 
[ ]coq-theories_8.11.0-1_amd64.deb2020-03-06 08:38 32M 
[ ]libcoq-ocaml_8.11.0-1_amd64.deb2020-03-06 08:38 6.0M 
[ ]libcoq-ocaml-dev_8.11.0-1_amd64.deb2020-03-06 08:38 15M 
[ ]coq_8.11.0-1build1.debian.tar.xz2020-05-13 11:55 31K 
[ ]coq_8.11.0-1build1.dsc2020-05-13 11:55 2.5K 
[ ]libcoq-ocaml-dev_8.11.0-1build1_amd64.deb2020-05-13 13:08 15M 
[ ]coq-theories_8.11.0-1build1_amd64.deb2020-05-13 13:08 32M 
[ ]coqide_8.11.0-1build1_amd64.deb2020-05-13 13:08 1.6M 
[ ]libcoq-ocaml_8.11.0-1build1_amd64.deb2020-05-13 13:08 6.0M 
[ ]coq_8.11.0-1build1_amd64.deb2020-05-13 13:08 73M 
[ ]coq_8.12.0-3.debian.tar.xz2020-09-15 08:23 37K 
[ ]coq_8.12.0-3.dsc2020-09-15 08:23 2.4K 
[ ]coq_8.12.0.orig.tar.gz2020-09-15 08:23 5.7M 
[ ]coq-theories_8.12.0-3_amd64.deb2020-09-15 08:58 35M 
[ ]coqide_8.12.0-3_amd64.deb2020-09-15 08:58 1.6M 
[ ]coq_8.12.0-3_amd64.deb2020-09-15 08:58 75M 
[ ]libcoq-ocaml-dev_8.12.0-3_amd64.deb2020-09-15 08:58 16M 
[ ]libcoq-ocaml_8.12.0-3_amd64.deb2020-09-15 08:58 6.4M 
[ ]coq_8.12.0-3build1.debian.tar.xz2020-10-04 00:48 37K 
[ ]coq_8.12.0-3build1.dsc2020-10-04 00:48 2.4K 
[ ]libcoq-ocaml_8.12.0-3build1_amd64.deb2020-10-04 01:38 6.4M 
[ ]coq_8.12.0-3build1_amd64.deb2020-10-04 01:38 75M 
[ ]coqide_8.12.0-3build1_amd64.deb2020-10-04 01:38 1.7M 
[ ]coq-theories_8.12.0-3build1_amd64.deb2020-10-04 01:38 35M 
[ ]libcoq-ocaml-dev_8.12.0-3build1_amd64.deb2020-10-04 01:38 16M 
[ ]coq_8.12.0-3build2.debian.tar.xz2020-11-02 19:48 37K 
[ ]coq_8.12.0-3build2.dsc2020-11-02 19:48 2.5K 
[ ]coq_8.12.0-3build2_amd64.deb2020-11-03 16:43 86M 
[ ]libcoq-ocaml-dev_8.12.0-3build2_amd64.deb2020-11-03 16:43 18M 
[ ]coq-theories_8.12.0-3build2_amd64.deb2020-11-03 16:43 35M 
[ ]coqide_8.12.0-3build2_amd64.deb2020-11-03 16:43 1.8M 
[ ]libcoq-ocaml_8.12.0-3build2_amd64.deb2020-11-03 16:43 7.4M 
[ ]coq_8.12.0-3build3.debian.tar.xz2020-11-28 09:28 37K 
[ ]coq_8.12.0-3build3.dsc2020-11-28 09:28 2.4K 
[ ]coq-theories_8.12.0-3build3_amd64.deb2020-11-28 10:13 35M 
[ ]libcoq-ocaml_8.12.0-3build3_amd64.deb2020-11-28 10:13 7.4M 
[ ]coq_8.12.0-3build3_amd64.deb2020-11-28 10:13 86M 
[ ]coqide_8.12.0-3build3_amd64.deb2020-11-28 10:13 1.8M 
[ ]libcoq-ocaml-dev_8.12.0-3build3_amd64.deb2020-11-28 10:13 18M 
[ ]coq_8.14.0+dfsg-3.dsc2021-11-13 17:23 2.5K 
[ ]coq_8.14.0+dfsg.orig.tar.xz2021-11-13 17:23 4.4M 
[ ]coq_8.14.0+dfsg-3.debian.tar.xz2021-11-13 17:23 39K 
[ ]coq_8.14.0+dfsg-3_amd64.deb2021-11-13 17:53 89M 
[ ]libcoq-ocaml-dev_8.14.0+dfsg-3_amd64.deb2021-11-13 17:53 47M 
[ ]coq-theories_8.14.0+dfsg-3_amd64.deb2021-11-13 17:53 27M 
[ ]coqide_8.14.0+dfsg-3_amd64.deb2021-11-13 17:53 2.2M 
[ ]libcoq-ocaml_8.14.0+dfsg-3_amd64.deb2021-11-13 17:53 25M 
[ ]coq_8.14.0+dfsg-4.dsc2021-11-15 11:19 3.0K 
[ ]coq_8.14.0+dfsg-4.debian.tar.xz2021-11-15 11:19 39K 
[ ]libcoq-ocaml_8.14.0+dfsg-4_amd64.deb2021-11-15 11:54 25M 
[ ]coq-theories_8.14.0+dfsg-4_amd64.deb2021-11-15 11:54 24M 
[ ]libcoq-ocaml-dev_8.14.0+dfsg-4_amd64.deb2021-11-15 11:54 43M 
[ ]coq_8.14.0+dfsg-4_amd64.deb2021-11-15 11:54 88M 
[ ]coqide_8.14.0+dfsg-4_amd64.deb2021-11-15 11:54 2.2M 
[ ]coq_8.14.0+dfsg-6.dsc2021-11-16 11:49 2.9K 
[ ]coq_8.14.0+dfsg-6.debian.tar.xz2021-11-16 11:49 39K 
[ ]coq_8.14.0+dfsg-6_amd64.deb2021-11-16 11:50 88M 
[ ]libcoq-ocaml_8.14.0+dfsg-6_amd64.deb2021-11-16 11:50 25M 
[ ]coqide_8.14.0+dfsg-6_amd64.deb2021-11-16 11:50 2.2M 
[ ]coq-theories_8.14.0+dfsg-6_amd64.deb2021-11-16 11:50 24M 
[ ]libcoq-ocaml-dev_8.14.0+dfsg-6_amd64.deb2021-11-16 11:50 43M 
[ ]coq_8.14.1+dfsg-1.dsc2021-12-11 17:19 2.9K 
[ ]coq_8.14.1+dfsg.orig.tar.xz2021-12-11 17:19 4.4M 
[ ]coq_8.14.1+dfsg-1.debian.tar.xz2021-12-11 17:19 39K 
[ ]coqide_8.14.1+dfsg-1_amd64.deb2021-12-11 17:39 2.2M 
[ ]libcoq-ocaml_8.14.1+dfsg-1_amd64.deb2021-12-11 17:39 25M 
[ ]coq-theories_8.14.1+dfsg-1_amd64.deb2021-12-11 17:39 24M 
[ ]libcoq-ocaml-dev_8.14.1+dfsg-1_amd64.deb2021-12-11 17:39 43M 
[ ]coq_8.14.1+dfsg-1_amd64.deb2021-12-11 17:39 89M 
[ ]coq_8.14.1+dfsg-2.dsc2022-01-17 17:19 2.5K 
[ ]coq_8.14.1+dfsg-2.debian.tar.xz2022-01-17 17:19 39K 
[ ]coqide_8.14.1+dfsg-2_amd64.deb2022-01-17 18:04 2.2M 
[ ]coq-theories_8.14.1+dfsg-2_amd64.deb2022-01-17 18:04 24M 
[ ]libcoq-ocaml-dev_8.14.1+dfsg-2_amd64.deb2022-01-17 18:04 43M 
[ ]libcoq-ocaml_8.14.1+dfsg-2_amd64.deb2022-01-17 18:04 25M 
[ ]coq_8.14.1+dfsg-2_amd64.deb2022-01-17 18:04 88M 
[ ]coq_8.15.0+dfsg-1.dsc2022-01-17 23:14 2.5K 
[ ]coq_8.15.0+dfsg.orig.tar.xz2022-01-17 23:14 4.5M 
[ ]coq_8.15.0+dfsg-1.debian.tar.xz2022-01-17 23:14 39K 
[ ]libcoq-ocaml_8.15.0+dfsg-1_amd64.deb2022-01-17 23:54 26M 
[ ]coq-theories_8.15.0+dfsg-1_amd64.deb2022-01-17 23:54 24M 
[ ]libcoq-ocaml-dev_8.15.0+dfsg-1_amd64.deb2022-01-17 23:54 43M 
[ ]coqide_8.15.0+dfsg-1_amd64.deb2022-01-17 23:54 2.2M 
[ ]coq_8.15.0+dfsg-1_amd64.deb2022-01-17 23:54 89M 
[ ]coq_8.15.0+dfsg-1build1.debian.tar.xz2022-01-25 15:14 39K 
[ ]coq_8.15.0+dfsg-1build1.dsc2022-01-25 15:14 2.6K 
[ ]coq_8.15.0+dfsg-1build1_amd64.deb2022-01-25 15:34 91M 
[ ]libcoq-ocaml_8.15.0+dfsg-1build1_amd64.deb2022-01-25 15:34 26M 
[ ]libcoq-ocaml-dev_8.15.0+dfsg-1build1_amd64.deb2022-01-25 15:34 43M 
[ ]coq-theories_8.15.0+dfsg-1build1_amd64.deb2022-01-25 15:34 24M 
[ ]coqide_8.15.0+dfsg-1build1_amd64.deb2022-01-25 15:34 2.3M 
[ ]coq_8.15.0+dfsg-2.dsc2022-02-05 17:49 2.5K 
[ ]coq_8.15.0+dfsg-2.debian.tar.xz2022-02-05 17:49 39K 
[ ]coqide_8.15.0+dfsg-2_amd64.deb2022-02-05 23:51 2.3M 
[ ]libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb2022-02-05 23:51 26M 
[ ]libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb2022-02-05 23:51 43M 
[ ]libcoq-stdlib_8.15.0+dfsg-2_amd64.deb2022-02-05 23:51 24M 
[ ]coq_8.15.0+dfsg-2_amd64.deb2022-02-05 23:52 91M 
[ ]coq_8.15.1+dfsg-1.dsc2022-04-30 01:36 2.5K 
[ ]coq_8.15.1+dfsg.orig.tar.xz2022-04-30 01:36 4.5M 
[ ]coq_8.15.1+dfsg-1.debian.tar.xz2022-04-30 01:36 39K 
[ ]libcoq-core-ocaml_8.15.1+dfsg-1_amd64.deb2022-04-30 05:32 26M 
[ ]coq_8.15.1+dfsg-1_amd64.deb2022-04-30 05:32 91M 
[ ]coqide_8.15.1+dfsg-1_amd64.deb2022-04-30 05:32 2.2M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-1_amd64.deb2022-04-30 05:32 43M 
[ ]libcoq-stdlib_8.15.1+dfsg-1_amd64.deb2022-04-30 05:32 23M 
[ ]coq_8.15.1+dfsg-1build1.debian.tar.xz2022-05-02 09:09 39K 
[ ]coq_8.15.1+dfsg-1build1.dsc2022-05-02 09:09 2.5K 
[ ]coqide_8.15.1+dfsg-1build1_amd64.deb2022-05-02 09:29 2.2M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-1build1_amd64.deb2022-05-02 09:29 26M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-1build1_amd64.deb2022-05-02 09:29 43M 
[ ]coq_8.15.1+dfsg-1build1_amd64.deb2022-05-02 09:29 91M 
[ ]libcoq-stdlib_8.15.1+dfsg-1build1_amd64.deb2022-05-02 09:29 23M 
[ ]coq_8.15.1+dfsg-2.dsc2022-05-20 23:34 2.5K 
[ ]coq_8.15.1+dfsg-2.debian.tar.xz2022-05-20 23:34 39K 
[ ]libcoq-core-ocaml_8.15.1+dfsg-2_amd64.deb2022-05-20 23:54 26M 
[ ]libcoq-stdlib_8.15.1+dfsg-2_amd64.deb2022-05-20 23:54 23M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-2_amd64.deb2022-05-20 23:54 47M 
[ ]coqide_8.15.1+dfsg-2_amd64.deb2022-05-20 23:54 2.2M 
[ ]coq_8.15.1+dfsg-2_amd64.deb2022-05-20 23:54 90M 
[ ]coq_8.15.2+dfsg-1.dsc2022-06-01 05:23 2.5K 
[ ]coq_8.15.2+dfsg.orig.tar.xz2022-06-01 05:23 4.5M 
[ ]coq_8.15.2+dfsg-1.debian.tar.xz2022-06-01 05:23 39K 
[ ]libcoq-stdlib_8.15.2+dfsg-1_amd64.deb2022-06-01 07:39 23M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-1_amd64.deb2022-06-01 07:39 26M 
[ ]coq_8.15.2+dfsg-1_amd64.deb2022-06-01 07:39 91M 
[ ]coqide_8.15.2+dfsg-1_amd64.deb2022-06-01 07:39 2.2M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-1_amd64.deb2022-06-01 07:39 47M 
[ ]coq_8.15.2+dfsg-2.dsc2022-06-12 05:34 2.5K 
[ ]coq_8.15.2+dfsg-2.debian.tar.xz2022-06-12 05:34 39K 
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb2022-06-12 05:34 26M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb2022-06-12 05:34 47M 
[ ]coq_8.15.2+dfsg-2_amd64.deb2022-06-12 05:34 90M 
[ ]libcoq-stdlib_8.15.2+dfsg-2_amd64.deb2022-06-12 05:34 23M 
[ ]coqide_8.15.2+dfsg-2_amd64.deb2022-06-12 05:34 2.2M 
[ ]coq_8.16.0+dfsg-1.dsc2022-11-06 03:17 2.6K 
[ ]coq_8.16.0+dfsg.orig.tar.xz2022-11-06 03:17 4.5M 
[ ]coq_8.16.0+dfsg-1.debian.tar.xz2022-11-06 03:17 33K 
[ ]libcoq-stdlib_8.16.0+dfsg-1_amd64.deb2022-11-06 03:22 23M 
[ ]libcoq-core-ocaml-dev_8.16.0+dfsg-1_amd64.deb2022-11-06 03:22 47M 
[ ]libcoq-core-ocaml_8.16.0+dfsg-1_amd64.deb2022-11-06 03:22 26M 
[ ]coqide_8.16.0+dfsg-1_amd64.deb2022-11-06 03:22 2.2M 
[ ]coq_8.16.0+dfsg-1_amd64.deb2022-11-06 03:22 104M 
[ ]coq_8.16.0+dfsg-1build1.debian.tar.xz2022-11-25 06:44 33K 
[ ]coq_8.16.0+dfsg-1build1.dsc2022-11-25 06:44 2.6K 
[ ]coqide_8.16.0+dfsg-1build1_amd64.deb2022-11-25 07:39 2.2M 
[ ]libcoq-core-ocaml_8.16.0+dfsg-1build1_amd64.deb2022-11-25 07:39 26M 
[ ]libcoq-core-ocaml-dev_8.16.0+dfsg-1build1_amd64.deb2022-11-25 07:39 47M 
[ ]libcoq-stdlib_8.16.0+dfsg-1build1_amd64.deb2022-11-25 07:39 23M 
[ ]coq_8.16.0+dfsg-1build1_amd64.deb2022-11-25 07:39 104M 
[ ]coq_8.16.1+dfsg-1.dsc2022-11-29 17:24 2.6K 
[ ]coq_8.16.1+dfsg.orig.tar.xz2022-11-29 17:24 4.5M 
[ ]coq_8.16.1+dfsg-1.debian.tar.xz2022-11-29 17:24 32K 
[ ]libcoq-stdlib_8.16.1+dfsg-1_amd64.deb2022-11-29 17:49 23M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1_amd64.deb2022-11-29 17:49 26M 
[ ]coqide_8.16.1+dfsg-1_amd64.deb2022-11-29 17:49 2.2M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1_amd64.deb2022-11-29 17:49 47M 
[ ]coq_8.16.1+dfsg-1_amd64.deb2022-11-29 17:49 104M 
[ ]coq_8.16.1+dfsg-1build1.debian.tar.xz2023-01-26 08:29 33K 
[ ]coq_8.16.1+dfsg-1build1.dsc2023-01-26 08:29 2.6K 
[ ]coq_8.16.1+dfsg-1build1_amd64.deb2023-01-26 08:54 104M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1build1_amd64.deb2023-01-26 08:54 26M 
[ ]libcoq-stdlib_8.16.1+dfsg-1build1_amd64.deb2023-01-26 08:54 23M 
[ ]coqide_8.16.1+dfsg-1build1_amd64.deb2023-01-26 08:54 2.2M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1build1_amd64.deb2023-01-26 08:54 47M 
[ ]coq_8.16.1+dfsg-1build2.debian.tar.xz2023-02-16 10:06 33K 
[ ]coq_8.16.1+dfsg-1build2.dsc2023-02-16 10:06 2.6K 
[ ]coq_8.16.1+dfsg-1build2_amd64.deb2023-02-16 10:58 104M 
[ ]coqide_8.16.1+dfsg-1build2_amd64.deb2023-02-16 10:58 2.2M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb2023-02-16 10:58 26M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb2023-02-16 10:58 47M 
[ ]libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb2023-02-16 10:58 23M 
[ ]coq_8.17.0+dfsg-1.dsc2023-06-12 18:01 2.6K 
[ ]coq_8.17.0+dfsg.orig.tar.xz2023-06-12 18:01 4.6M 
[ ]coq_8.17.0+dfsg-1.debian.tar.xz2023-06-12 18:01 32K 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1_amd64.deb2023-06-12 18:47 26M 
[ ]libcoq-stdlib_8.17.0+dfsg-1_amd64.deb2023-06-12 18:47 27M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1_amd64.deb2023-06-12 18:47 48M 
[ ]coqide_8.17.0+dfsg-1_amd64.deb2023-06-12 18:47 2.2M 
[ ]coq_8.17.0+dfsg-1_amd64.deb2023-06-12 18:47 88M 
[ ]coq_8.17.0+dfsg-1build1.debian.tar.xz2023-07-24 17:37 32K 
[ ]coq_8.17.0+dfsg-1build1.dsc2023-07-24 17:37 2.6K 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb2023-07-24 17:37 48M 
[ ]libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb2023-07-24 17:37 27M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb2023-07-24 17:37 26M 
[ ]coq_8.17.0+dfsg-1build1_amd64.deb2023-07-24 17:37 89M 
[ ]coqide_8.17.0+dfsg-1build1_amd64.deb2023-07-24 17:37 2.2M 
[ ]coq_8.17.0+dfsg-1build2.debian.tar.xz2023-11-05 08:00 32K 
[ ]coq_8.17.0+dfsg-1build2.dsc2023-11-05 08:00 2.6K 
[ ]libcoq-stdlib_8.17.0+dfsg-1build2_amd64.deb2023-11-05 19:14 27M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1build2_amd64.deb2023-11-05 19:14 48M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1build2_amd64.deb2023-11-05 19:14 26M 
[ ]coqide_8.17.0+dfsg-1build2_amd64.deb2023-11-05 19:14 2.2M 
[ ]coq_8.17.0+dfsg-1build2_amd64.deb2023-11-05 19:14 90M 
[ ]coq_8.17.0+dfsg-1build3.debian.tar.xz2023-11-15 08:35 32K 
[ ]coq_8.17.0+dfsg-1build3.dsc2023-11-15 08:35 2.6K 
[ ]libcoq-stdlib_8.17.0+dfsg-1build3_amd64.deb2023-11-15 11:41 27M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1build3_amd64.deb2023-11-15 11:41 48M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1build3_amd64.deb2023-11-15 11:41 26M 
[ ]coqide_8.17.0+dfsg-1build3_amd64.deb2023-11-15 11:41 2.2M 
[ ]coq_8.17.0+dfsg-1build3_amd64.deb2023-11-15 11:41 90M 
[ ]coq_8.17.0+dfsg-1build4.debian.tar.xz2023-11-22 12:09 32K 
[ ]coq_8.17.0+dfsg-1build4.dsc2023-11-22 12:09 2.6K 
[ ]coq_8.17.0+dfsg-1ubuntu1.debian.tar.xz2023-11-22 17:34 33K 
[ ]coq_8.17.0+dfsg-1ubuntu1.dsc2023-11-22 17:34 2.6K 
[ ]libcoq-stdlib_8.17.0+dfsg-1ubuntu1_amd64.deb2023-11-22 18:11 27M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1ubuntu1_amd64.deb2023-11-22 18:11 48M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1ubuntu1_amd64.deb2023-11-22 18:11 26M 
[ ]coqide_8.17.0+dfsg-1ubuntu1_amd64.deb2023-11-22 18:11 2.2M 
[ ]coq_8.17.0+dfsg-1ubuntu1_amd64.deb2023-11-22 18:11 90M 
[ ]coq_8.18.0+dfsg-1.dsc2023-12-22 19:46 2.5K 
[ ]coq_8.18.0+dfsg.orig.tar.xz2023-12-22 19:46 4.6M 
[ ]coq_8.18.0+dfsg-1.debian.tar.xz2023-12-22 19:46 32K 
[ ]libcoq-stdlib_8.18.0+dfsg-1_amd64.deb2023-12-22 19:47 34M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb2023-12-22 19:47 62M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb2023-12-22 19:47 33M 
[ ]coqide_8.18.0+dfsg-1_amd64.deb2023-12-22 19:47 2.7M 
[ ]coq_8.18.0+dfsg-1_amd64.deb2023-12-22 19:47 114M 
[ ]coq_8.18.0+dfsg-1build2.debian.tar.xz2024-03-31 18:36 33K 
[ ]coq_8.18.0+dfsg-1build2.dsc2024-03-31 18:36 2.6K 
[ ]libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb2024-03-31 19:32 25M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb2024-03-31 19:32 49M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb2024-03-31 19:32 26M 
[ ]coqide_8.18.0+dfsg-1build2_amd64.deb2024-03-31 19:32 2.2M 
[ ]coq_8.18.0+dfsg-1build2_amd64.deb2024-03-31 19:32 91M 
[ ]coq_8.19.1+dfsg-1.dsc2024-05-02 11:53 2.5K 
[ ]coq_8.19.1+dfsg.orig.tar.bz22024-05-02 11:53 5.3M 
[ ]coq_8.19.1+dfsg-1.debian.tar.xz2024-05-02 11:53 32K 
[ ]libcoq-stdlib_8.19.1+dfsg-1_amd64.deb2024-05-02 11:53 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb2024-05-02 11:53 50M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb2024-05-02 11:53 27M 
[ ]coqide_8.19.1+dfsg-1_amd64.deb2024-05-02 11:53 2.2M 
[ ]coq_8.19.1+dfsg-1_amd64.deb2024-05-02 11:53 92M 
[ ]coq_8.19.1+dfsg-2.dsc2024-06-15 11:18 2.3K 
[ ]coq_8.19.1+dfsg-2.debian.tar.xz2024-06-15 11:18 32K 
[ ]libcoq-stdlib_8.19.1+dfsg-2_amd64.deb2024-06-15 11:58 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb2024-06-15 11:58 50M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb2024-06-15 11:58 26M 
[ ]coqide_8.19.1+dfsg-2_amd64.deb2024-06-15 11:58 2.2M 
[ ]coq_8.19.1+dfsg-2_amd64.deb2024-06-15 11:58 91M 
[ ]coq_8.19.1+dfsg-3.dsc2024-08-03 18:22 2.3K 
[ ]coq_8.19.1+dfsg-3.debian.tar.xz2024-08-03 18:22 32K 
[ ]libcoq-stdlib_8.19.1+dfsg-3_amd64.deb2024-08-03 19:20 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3_amd64.deb2024-08-03 19:20 50M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3_amd64.deb2024-08-03 19:20 26M 
[ ]coqide_8.19.1+dfsg-3_amd64.deb2024-08-03 19:20 2.2M 
[ ]coq_8.19.1+dfsg-3_amd64.deb2024-08-03 19:20 91M 
[ ]coq_8.19.1+dfsg-3build1.debian.tar.xz2024-08-09 13:49 32K 
[ ]coq_8.19.1+dfsg-3build1.dsc2024-08-09 13:49 2.5K 
[ ]libcoq-stdlib_8.19.1+dfsg-3build1_amd64.deb2024-08-14 11:03 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3build1_amd64.deb2024-08-14 11:03 65M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3build1_amd64.deb2024-08-14 11:03 25M 
[ ]coqide_8.19.1+dfsg-3build1_amd64.deb2024-08-14 11:03 2.3M 
[ ]coq_8.19.1+dfsg-3build1_amd64.deb2024-08-14 11:03 96M 
[ ]coq_8.19.1+dfsg-3build2.debian.tar.xz2024-09-06 15:36 32K 
[ ]coq_8.19.1+dfsg-3build2.dsc2024-09-06 15:36 2.5K 
[ ]libcoq-stdlib_8.19.1+dfsg-3build2_amd64.deb2024-09-06 16:41 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3build2_amd64.deb2024-09-06 16:41 65M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3build2_amd64.deb2024-09-06 16:41 25M 
[ ]coqide_8.19.1+dfsg-3build2_amd64.deb2024-09-06 16:41 2.3M 
[ ]coq_8.19.1+dfsg-3build2_amd64.deb2024-09-06 16:41 96M 
[ ]coq_8.19.1+dfsg-3build3.debian.tar.xz2024-09-07 07:08 32K 
[ ]coq_8.19.1+dfsg-3build3.dsc2024-09-07 07:08 2.5K 
[ ]libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb2024-09-07 07:09 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb2024-09-07 07:09 65M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb2024-09-07 07:09 25M 
[ ]coqide_8.19.1+dfsg-3build3_amd64.deb2024-09-07 07:09 2.3M 
[ ]coq_8.19.1+dfsg-3build3_amd64.deb2024-09-07 07:09 96M 
[ ]coq_8.20.0+dfsg-1.dsc2024-11-20 18:47 2.5K 
[ ]coq_8.20.0+dfsg.orig.tar.xz2024-11-20 18:47 4.8M 
[ ]coq_8.20.0+dfsg-1.debian.tar.xz2024-11-20 18:47 29K 
[ ]libcoq-stdlib_8.20.0+dfsg-1_amd64.deb2024-11-20 18:48 26M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb2024-11-20 18:48 67M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb2024-11-20 18:48 26M 
[ ]coqide_8.20.0+dfsg-1_amd64.deb2024-11-20 18:48 2.1M 
[ ]coq_8.20.0+dfsg-1_amd64.deb2024-11-20 18:48 86M 
[ ]coq_8.20.0+dfsg-1build1.debian.tar.xz2025-01-30 21:56 30K 
[ ]coq_8.20.0+dfsg-1build1.dsc2025-01-30 21:56 2.5K 
[ ]libcoq-stdlib_8.20.0+dfsg-1build1_amd64.deb2025-02-01 13:34 26M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1build1_amd64.deb2025-02-01 13:34 66M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1build1_amd64.deb2025-02-01 13:34 26M 
[ ]coqide_8.20.0+dfsg-1build1_amd64.deb2025-02-01 13:34 2.1M 
[ ]coq_8.20.0+dfsg-1build1_amd64.deb2025-02-01 13:34 78M 
[ ]coq_8.20.0+dfsg-1build2.debian.tar.xz2025-02-12 22:46 30K 
[ ]coq_8.20.0+dfsg-1build2.dsc2025-02-12 22:46 2.5K 
[ ]libcoq-stdlib_8.20.0+dfsg-1build2_amd64.deb2025-02-12 22:46 26M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1build2_amd64.deb2025-02-12 22:46 66M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1build2_amd64.deb2025-02-12 22:46 26M 
[ ]coqide_8.20.0+dfsg-1build2_amd64.deb2025-02-12 22:46 2.1M 
[ ]coq_8.20.0+dfsg-1build2_amd64.deb2025-02-12 22:46 78M 
[ ]coq_8.20.1+dfsg-1.dsc2025-02-18 01:39 2.5K 
[ ]coq_8.20.1+dfsg.orig.tar.xz2025-02-18 01:39 4.8M 
[ ]coq_8.20.1+dfsg-1.debian.tar.xz2025-02-18 01:39 30K 
[ ]libcoq-stdlib_8.20.1+dfsg-1_amd64.deb2025-02-18 01:40 26M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb2025-02-18 01:40 66M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb2025-02-18 01:40 26M 
[ ]coqide_8.20.1+dfsg-1_amd64.deb2025-02-18 01:40 2.1M 
[ ]coq_8.20.1+dfsg-1_amd64.deb2025-02-18 01:40 78M 
[ ]coq_8.20.1+dfsg-1build1.debian.tar.xz2025-06-19 11:23 30K 
[ ]coq_8.20.1+dfsg-1build1.dsc2025-06-19 11:23 2.5K 
[ ]libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb2025-06-19 23:39 26M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb2025-06-19 23:39 66M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb2025-06-19 23:39 26M 
[ ]coqide_8.20.1+dfsg-1build1_amd64.deb2025-06-19 23:39 2.1M 
[ ]coq_8.20.1+dfsg-1build1_amd64.deb2025-06-19 23:39 78M 
Apache/2.4.12 (Ubuntu) Server at 212.25.29.199 Port 8080