Filename Modification time Size coq-doc-html_8.1-3_all.deb 2007-04-23 22:47 CEST 427 KiB coq-doc-html_8.2pl1-1_all.deb 2010-01-07 23:47 CET 522 KiB coq-doc-html_8.3pl4-1_all.deb 2012-04-06 08:17 CEST 543 KiB coq-doc-html_8.4pl4-1_all.deb 2014-08-17 15:30 CEST 463 KiB coq-doc-html_8.4pl4-2_all.deb 2016-02-11 22:59 CET 463 KiB coq-doc-pdf_8.1-3_all.deb 2007-04-23 22:47 CEST 1653 KiB coq-doc-pdf_8.2pl1-1_all.deb 2010-01-07 23:47 CET 2331 KiB coq-doc-pdf_8.3pl4-1_all.deb 2012-04-06 08:17 CEST 2358 KiB coq-doc-pdf_8.4pl4-1_all.deb 2014-08-17 15:30 CEST 2409 KiB coq-doc-pdf_8.4pl4-2_all.deb 2016-02-11 22:59 CET 2410 KiB coq-doc_8.1-3.diff.gz 2007-04-23 22:47 CEST 7811 B coq-doc_8.1-3.dsc 2007-04-23 22:47 CEST 906 B coq-doc_8.1-3_all.deb 2007-04-23 22:47 CEST 5530 B coq-doc_8.1.orig.tar.gz 2007-02-13 18:47 CET 494 KiB coq-doc_8.2pl1-1.debian.tar.gz 2010-01-07 23:47 CET 8584 B coq-doc_8.2pl1-1.dsc 2010-01-07 23:47 CET 2103 B coq-doc_8.2pl1-1_all.deb 2010-01-07 23:47 CET 36 KiB coq-doc_8.2pl1.orig.tar.gz 2010-01-07 23:47 CET 3516 KiB coq-doc_8.3pl4-1.debian.tar.gz 2012-04-06 08:17 CEST 8614 B coq-doc_8.3pl4-1.dsc 2012-04-06 08:17 CEST 2226 B coq-doc_8.3pl4-1_all.deb 2012-04-06 08:17 CEST 44 KiB coq-doc_8.3pl4.orig.tar.gz 2012-04-06 08:17 CEST 3765 KiB coq-doc_8.4pl4-1.debian.tar.xz 2014-08-17 15:30 CEST 8084 B coq-doc_8.4pl4-1.dsc 2014-08-17 15:30 CEST 2243 B coq-doc_8.4pl4-1_all.deb 2014-08-17 15:30 CEST 49 KiB coq-doc_8.4pl4-2.debian.tar.xz 2016-02-11 22:59 CET 8404 B coq-doc_8.4pl4-2.dsc 2016-02-11 22:59 CET 2243 B coq-doc_8.4pl4-2_all.deb 2016-02-11 22:59 CET 49 KiB coq-doc_8.4pl4.orig.tar.gz 2014-08-17 15:30 CEST 3972 KiB
