Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 coq_8.9.0-1.dsc                                    2019-02-06 12:49  2.4K  
 coq_8.12.0-3.dsc                                   2020-09-10 01:38  2.4K  
 coq_8.16.1+dfsg-1.dsc                              2022-11-29 02:35  2.6K  
 coq_8.17.0+dfsg-1.dsc                              2023-06-12 02:05  2.6K  
 coq_8.9.0-1.debian.tar.xz                          2019-02-06 12:49   27K  
 coq_8.17.0+dfsg-1.debian.tar.xz                    2023-06-12 02:05   32K  
 coq_8.16.1+dfsg-1.debian.tar.xz                    2022-11-29 02:35   32K  
 coq_8.12.0-3.debian.tar.xz                         2020-09-10 01:38   37K  
 coqide_8.12.0-3+b3_mips64el.deb                    2020-11-25 10:41   46K  
 coqide_8.12.0-3+b3_i386.deb                        2020-11-25 01:18  1.6M  
 coqide_8.17.0+dfsg-1_i386.deb                      2023-06-12 04:12  1.7M  
 coqide_8.16.1+dfsg-1+b2_i386.deb                   2023-02-12 19:29  1.7M  
 coqide_8.12.0-3+b3_amd64.deb                       2020-11-25 01:28  1.8M  
 coqide_8.12.0-3+b3_ppc64el.deb                     2020-11-25 01:28  1.9M  
 coqide_8.17.0+dfsg-1_amd64.deb                     2023-06-12 03:12  1.9M  
 coqide_8.16.1+dfsg-1+b2_amd64.deb                  2023-02-12 19:14  1.9M  
 coqide_8.17.0+dfsg-1_ppc64el.deb                   2023-06-15 01:10  2.0M  
 coqide_8.16.1+dfsg-1+b2_ppc64el.deb                2023-02-12 21:13  2.0M  
 coqide_8.12.0-3+b3_arm64.deb                       2020-11-25 01:58  2.1M  
 coqide_8.17.0+dfsg-1_arm64.deb                     2023-06-12 23:34  2.2M  
 coqide_8.16.1+dfsg-1+b2_arm64.deb                  2023-02-12 19:55  2.2M  
 libcoq-ocaml_8.9.0-1_mips64el.deb                  2019-02-09 02:29  3.4M  
 coq_8.16.1+dfsg.orig.tar.xz                        2022-11-29 02:35  4.5M  
 coq_8.17.0+dfsg.orig.tar.xz                        2023-06-12 02:05  4.6M  
 libcoq-ocaml_8.9.0-1_i386.deb                      2019-02-06 14:21  4.9M  
 coq_8.9.0.orig.tar.gz                              2019-02-06 12:49  5.1M  
 libcoq-ocaml_8.12.0-3+b3_mips64el.deb              2020-11-25 10:41  5.2M  
 libcoq-ocaml_8.9.0-1_amd64.deb                     2019-02-06 12:49  5.2M  
 libcoq-ocaml_8.9.0-1_ppc64el.deb                   2019-02-06 14:00  5.3M  
 libcoq-ocaml_8.9.0-1_arm64.deb                     2019-02-06 14:26  5.5M  
 coq_8.12.0.orig.tar.gz                             2020-08-22 04:26  5.7M  
 libcoq-ocaml_8.12.0-3+b3_i386.deb                  2020-11-25 01:18  7.2M  
 libcoq-ocaml_8.12.0-3+b3_amd64.deb                 2020-11-25 01:28  7.4M  
 libcoq-ocaml_8.12.0-3+b3_ppc64el.deb               2020-11-25 01:28  7.5M  
 libcoq-ocaml-dev_8.9.0-1_mips64el.deb              2019-02-09 02:29  7.6M  
 libcoq-ocaml_8.12.0-3+b3_arm64.deb                 2020-11-25 01:58  7.6M  
 libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb          2020-11-25 10:41   11M  
 libcoq-ocaml-dev_8.9.0-1_amd64.deb                 2019-02-06 12:49   13M  
 libcoq-ocaml-dev_8.9.0-1_i386.deb                  2019-02-06 14:21   13M  
 libcoq-ocaml-dev_8.9.0-1_arm64.deb                 2019-02-06 14:26   13M  
 libcoq-ocaml-dev_8.9.0-1_ppc64el.deb               2019-02-06 14:00   13M  
 libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              2020-11-25 01:18   18M  
 libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb             2020-11-25 01:58   18M  
 libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             2020-11-25 01:28   18M  
 libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb           2020-11-25 01:28   19M  
 coq-theories_8.9.0-1_mips64el.deb                  2019-02-09 02:29   19M  
 coq-theories_8.9.0-1_ppc64el.deb                   2019-02-06 14:00   19M  
 coq-theories_8.9.0-1_arm64.deb                     2019-02-06 14:26   19M  
 libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           2023-02-12 19:14   21M  
 libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           2023-02-12 19:55   21M  
 libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb         2023-02-12 21:13   21M  
 libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            2023-02-12 19:29   21M  
 libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        2023-02-12 19:29   21M  
 libcoq-core-ocaml_8.17.0+dfsg-1_i386.deb           2023-06-12 04:12   21M  
 libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       2023-02-12 19:14   22M  
 libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb     2023-02-12 21:13   22M  
 libcoq-core-ocaml_8.17.0+dfsg-1_amd64.deb          2023-06-12 03:12   22M  
 libcoq-core-ocaml_8.17.0+dfsg-1_ppc64el.deb        2023-06-15 01:10   22M  
 libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       2023-02-12 19:55   22M  
 libcoq-core-ocaml_8.17.0+dfsg-1_arm64.deb          2023-06-12 23:34   22M  
 coq-theories_8.12.0-3+b3_ppc64el.deb               2020-11-25 01:28   23M  
 coq-theories_8.12.0-3+b3_mips64el.deb              2020-11-25 10:41   23M  
 coq-theories_8.12.0-3+b3_arm64.deb                 2020-11-25 01:58   23M  
 libcoq-stdlib_8.17.0+dfsg-1_i386.deb               2023-06-12 04:12   24M  
 libcoq-stdlib_8.17.0+dfsg-1_ppc64el.deb            2023-06-15 01:10   24M  
 libcoq-stdlib_8.17.0+dfsg-1_amd64.deb              2023-06-12 03:12   24M  
 libcoq-stdlib_8.17.0+dfsg-1_arm64.deb              2023-06-12 23:34   24M  
 coq-theories_8.9.0-1_i386.deb                      2019-02-06 14:21   27M  
 coq-theories_8.9.0-1_amd64.deb                     2019-02-06 12:49   28M  
 coq-theories_8.12.0-3+b3_i386.deb                  2020-11-25 01:18   34M  
 coq-theories_8.12.0-3+b3_amd64.deb                 2020-11-25 01:28   35M  
 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    2023-02-12 19:29   40M  
 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   2023-02-12 19:14   41M  
 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   2023-02-12 19:55   41M  
 libcoq-core-ocaml-dev_8.17.0+dfsg-1_i386.deb       2023-06-12 04:12   41M  
 libcoq-core-ocaml-dev_8.17.0+dfsg-1_amd64.deb      2023-06-12 03:12   41M  
 libcoq-core-ocaml-dev_8.17.0+dfsg-1_arm64.deb      2023-06-12 23:34   41M  
 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 2023-02-12 21:13   42M  
 libcoq-core-ocaml-dev_8.17.0+dfsg-1_ppc64el.deb    2023-06-15 01:10   42M  
 coq_8.9.0-1_mips64el.deb                           2019-02-09 02:29   48M  
 coq_8.9.0-1_i386.deb                               2019-02-06 14:21   54M  
 coq_8.9.0-1_amd64.deb                              2019-02-06 12:49   56M  
 coq_8.9.0-1_ppc64el.deb                            2019-02-06 14:00   58M  
 coq_8.9.0-1_arm64.deb                              2019-02-06 14:26   60M  
 coq_8.17.0+dfsg-1_i386.deb                         2023-06-12 04:12   71M  
 coq_8.17.0+dfsg-1_amd64.deb                        2023-06-12 03:12   75M  
 coq_8.17.0+dfsg-1_ppc64el.deb                      2023-06-15 01:10   75M  
 coq_8.17.0+dfsg-1_arm64.deb                        2023-06-12 23:34   81M  
 coq_8.16.1+dfsg-1+b2_i386.deb                      2023-02-12 19:29   83M  
 coq_8.12.0-3+b3_i386.deb                           2020-11-25 01:18   84M  
 coq_8.12.0-3+b3_amd64.deb                          2020-11-25 01:28   86M  
 coq_8.12.0-3+b3_ppc64el.deb                        2020-11-25 01:28   87M  
 coq_8.16.1+dfsg-1+b2_amd64.deb                     2023-02-12 19:14   89M  
 coq_8.16.1+dfsg-1+b2_ppc64el.deb                   2023-02-12 21:13   90M  
 coq_8.12.0-3+b3_arm64.deb                          2020-11-25 01:58   92M  
 coq_8.16.1+dfsg-1+b2_arm64.deb                     2023-02-12 19:55   97M  
 coq_8.12.0-3+b3_mips64el.deb                       2020-11-25 10:41  101M