Index of /nova/pool/extendido/c/coq-doc/

../
coq-doc-html_8.15.0-3_all.deb                      30-Apr-2022 04:34             1343072
coq-doc-html_8.6-1_all.deb                         11-Jun-2020 03:13              462740
coq-doc-pdf_8.15.0-3_all.deb                       30-Apr-2022 03:02             4062240
coq-doc-pdf_8.6-1_all.deb                          10-Jun-2020 17:22             2534360
coq-doc_8.15.0-3.debian.tar.xz                     30-Apr-2022 18:45                7600
coq-doc_8.15.0-3.dsc                               30-Apr-2022 18:45                2554
coq-doc_8.15.0-3_all.deb                           30-Apr-2022 03:02                4012
coq-doc_8.15.0.orig.tar.gz                         30-Apr-2022 18:46             7215106
coq-doc_8.6-1.debian.tar.xz                        11-Jun-2020 04:23                8304
coq-doc_8.6-1.dsc                                  11-Jun-2020 04:23                2311
coq-doc_8.6-1_all.deb                              11-Jun-2020 01:36                4390
coq-doc_8.6.orig.tar.gz                            11-Jun-2020 04:23             5538848