Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] coq-theories_8.12.0-3+b3_amd64.deb                 2020-11-25 07:28   35M  
[   ] coq-theories_8.12.0-3+b3_arm64.deb                 2020-11-25 07:58   23M  
[   ] coq-theories_8.12.0-3+b3_armhf.deb                 2020-11-25 07:43   23M  
[   ] coq-theories_8.12.0-3+b3_i386.deb                  2020-11-25 07:18   34M  
[   ] coq_8.12.0-3+b3_amd64.deb                          2020-11-25 07:28   86M  
[   ] coq_8.12.0-3+b3_arm64.deb                          2020-11-25 07:58   92M  
[   ] coq_8.12.0-3+b3_armhf.deb                          2020-11-25 07:43   84M  
[   ] coq_8.12.0-3+b3_i386.deb                           2020-11-25 07:18   84M  
[   ] coq_8.12.0-3.debian.tar.xz                         2020-09-10 06:38   37K  
[TXT] coq_8.12.0-3.dsc                                   2020-09-10 06:38  2.4K  
[   ] coq_8.12.0.orig.tar.gz                             2020-08-22 09:26  5.7M  
[   ] coq_8.16.1+dfsg-1+b2_amd64.deb                     2023-02-13 01:14   89M  
[   ] coq_8.16.1+dfsg-1+b2_arm64.deb                     2023-02-13 01:55   97M  
[   ] coq_8.16.1+dfsg-1+b2_armhf.deb                     2023-02-13 01:55   86M  
[   ] coq_8.16.1+dfsg-1+b2_i386.deb                      2023-02-13 01:29   83M  
[   ] coq_8.16.1+dfsg-1+b2_ppc64el.deb                   2023-02-13 03:13   90M  
[   ] coq_8.16.1+dfsg-1+b2_s390x.deb                     2023-02-13 01:45   89M  
[   ] coq_8.16.1+dfsg-1.debian.tar.xz                    2022-11-29 08:35   32K  
[TXT] coq_8.16.1+dfsg-1.dsc                              2022-11-29 08:35  2.6K  
[   ] coq_8.16.1+dfsg.orig.tar.xz                        2022-11-29 08:35  4.5M  
[   ] coq_8.20.1+dfsg-1+b1_amd64.deb                     2025-06-15 01:07   67M  
[   ] coq_8.20.1+dfsg-1+b1_arm64.deb                     2025-06-15 05:17   71M  
[   ] coq_8.20.1+dfsg-1+b1_ppc64el.deb                   2025-06-15 05:53   68M  
[   ] coq_8.20.1+dfsg-1+b1_riscv64.deb                   2025-06-15 04:52   68M  
[   ] coq_8.20.1+dfsg-1+b1_s390x.deb                     2025-06-16 12:17   68M  
[   ] coq_8.20.1+dfsg-1.debian.tar.xz                    2025-02-17 16:37   30K  
[TXT] coq_8.20.1+dfsg-1.dsc                              2025-02-17 16:37  2.5K  
[   ] coq_8.20.1+dfsg.orig.tar.xz                        2025-02-17 16:37  4.8M  
[   ] coq_9.2.0+dfsg-3.debian.tar.xz                     2026-07-27 14:12   28K  
[TXT] coq_9.2.0+dfsg-3.dsc                               2026-07-27 14:12  2.4K  
[   ] coq_9.2.0+dfsg-4.debian.tar.xz                     2026-08-25 11:56   28K  
[TXT] coq_9.2.0+dfsg-4.dsc                               2026-08-25 11:56  2.6K  
[   ] coq_9.2.0+dfsg-4.git.tar.xz                        2026-08-25 11:56   10M  
[   ] coq_9.2.0+dfsg-4_amd64.deb                         2026-08-25 12:22   39M  
[   ] coq_9.2.0+dfsg-4_arm64.deb                         2026-08-25 12:22   42M  
[   ] coq_9.2.0+dfsg-4_armhf.deb                         2026-08-25 12:16   23M  
[   ] coq_9.2.0+dfsg-4_i386.deb                          2026-08-25 12:22   23M  
[   ] coq_9.2.0+dfsg-4_loong64.deb                       2026-08-25 12:22   23M  
[   ] coq_9.2.0+dfsg-4_ppc64el.deb                       2026-08-25 12:22   40M  
[   ] coq_9.2.0+dfsg-4_riscv64.deb                       2026-08-25 14:13   41M  
[   ] coq_9.2.0+dfsg-4_s390x.deb                         2026-08-25 12:16   40M  
[   ] coq_9.2.0+dfsg.orig.tar.xz                         2026-07-10 08:36  3.8M  
[   ] coqide_8.12.0-3+b3_amd64.deb                       2020-11-25 07:28  1.8M  
[   ] coqide_8.12.0-3+b3_arm64.deb                       2020-11-25 07:58  2.1M  
[   ] coqide_8.12.0-3+b3_armhf.deb                       2020-11-25 07:43  1.7M  
[   ] coqide_8.12.0-3+b3_i386.deb                        2020-11-25 07:18  1.6M  
[   ] coqide_8.16.1+dfsg-1+b2_amd64.deb                  2023-02-13 01:14  1.9M  
[   ] coqide_8.16.1+dfsg-1+b2_arm64.deb                  2023-02-13 01:55  2.2M  
[   ] coqide_8.16.1+dfsg-1+b2_armhf.deb                  2023-02-13 01:55  1.7M  
[   ] coqide_8.16.1+dfsg-1+b2_i386.deb                   2023-02-13 01:29  1.7M  
[   ] coqide_8.16.1+dfsg-1+b2_ppc64el.deb                2023-02-13 03:13  2.0M  
[   ] coqide_8.16.1+dfsg-1+b2_s390x.deb                  2023-02-13 01:45  1.9M  
[   ] coqide_8.20.1+dfsg-1+b1_amd64.deb                  2025-06-15 01:07  1.8M  
[   ] coqide_8.20.1+dfsg-1+b1_arm64.deb                  2025-06-15 05:17  2.1M  
[   ] coqide_8.20.1+dfsg-1+b1_ppc64el.deb                2025-06-15 05:53  1.9M  
[   ] coqide_8.20.1+dfsg-1+b1_riscv64.deb                2025-06-15 04:52  1.9M  
[   ] coqide_8.20.1+dfsg-1+b1_s390x.deb                  2025-06-16 12:17  1.9M  
[   ] libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   2023-02-13 01:14   41M  
[   ] libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   2023-02-13 01:55   41M  
[   ] libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb   2023-02-13 01:55   41M  
[   ] libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    2023-02-13 01:29   40M  
[   ] libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 2023-02-13 03:13   42M  
[   ] libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb   2023-02-13 01:45   40M  
[   ] libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   2025-06-15 01:07   66M  
[   ] libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb   2025-06-15 05:17   65M  
[   ] libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb 2025-06-15 05:53   66M  
[   ] libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb 2025-06-15 04:52   70M  
[   ] libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb   2025-06-16 12:17   65M  
[   ] libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb       2026-08-25 12:22   53M  
[   ] libcoq-core-ocaml-dev_9.2.0+dfsg-4_arm64.deb       2026-08-25 12:22   54M  
[   ] libcoq-core-ocaml-dev_9.2.0+dfsg-4_armhf.deb       2026-08-25 12:16   44M  
[   ] libcoq-core-ocaml-dev_9.2.0+dfsg-4_i386.deb        2026-08-25 12:22   44M  
[   ] libcoq-core-ocaml-dev_9.2.0+dfsg-4_loong64.deb     2026-08-25 12:22   44M  
[   ] libcoq-core-ocaml-dev_9.2.0+dfsg-4_ppc64el.deb     2026-08-25 12:22   54M  
[   ] libcoq-core-ocaml-dev_9.2.0+dfsg-4_riscv64.deb     2026-08-25 14:13   58M  
[   ] libcoq-core-ocaml-dev_9.2.0+dfsg-4_s390x.deb       2026-08-25 12:16   53M  
[   ] libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       2023-02-13 01:14   22M  
[   ] libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       2023-02-13 01:55   22M  
[   ] libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb       2023-02-13 01:55   21M  
[   ] libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        2023-02-13 01:29   21M  
[   ] libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb     2023-02-13 03:13   22M  
[   ] libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb       2023-02-13 01:45   22M  
[   ] libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       2025-06-15 01:07   25M  
[   ] libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb       2025-06-15 05:17   25M  
[   ] libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb     2025-06-15 05:53   25M  
[   ] libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb     2025-06-15 04:52   25M  
[   ] libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb       2025-06-16 12:17   25M  
[   ] libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb           2026-08-25 12:22   25M  
[   ] libcoq-core-ocaml_9.2.0+dfsg-4_arm64.deb           2026-08-25 12:22   25M  
[   ] libcoq-core-ocaml_9.2.0+dfsg-4_armhf.deb           2026-08-25 12:16   17M  
[   ] libcoq-core-ocaml_9.2.0+dfsg-4_i386.deb            2026-08-25 12:22   17M  
[   ] libcoq-core-ocaml_9.2.0+dfsg-4_loong64.deb         2026-08-25 12:22   17M  
[   ] libcoq-core-ocaml_9.2.0+dfsg-4_ppc64el.deb         2026-08-25 12:22   25M  
[   ] libcoq-core-ocaml_9.2.0+dfsg-4_riscv64.deb         2026-08-25 14:13   25M  
[   ] libcoq-core-ocaml_9.2.0+dfsg-4_s390x.deb           2026-08-25 12:17   25M  
[   ] libcoq-core_9.2.0+dfsg-4_amd64.deb                 2026-08-25 12:22  1.1M  
[   ] libcoq-core_9.2.0+dfsg-4_arm64.deb                 2026-08-25 12:22  1.1M  
[   ] libcoq-core_9.2.0+dfsg-4_armhf.deb                 2026-08-25 12:16  1.1M  
[   ] libcoq-core_9.2.0+dfsg-4_i386.deb                  2026-08-25 12:22  1.1M  
[   ] libcoq-core_9.2.0+dfsg-4_loong64.deb               2026-08-25 12:22  1.1M  
[   ] libcoq-core_9.2.0+dfsg-4_ppc64el.deb               2026-08-25 12:22  1.1M  
[   ] libcoq-core_9.2.0+dfsg-4_riscv64.deb               2026-08-25 14:13  1.1M  
[   ] libcoq-core_9.2.0+dfsg-4_s390x.deb                 2026-08-25 12:17  1.1M  
[   ] libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             2020-11-25 07:28   18M  
[   ] libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb             2020-11-25 07:58   18M  
[   ] libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb             2020-11-25 07:43   18M  
[   ] libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              2020-11-25 07:18   18M  
[   ] libcoq-ocaml_8.12.0-3+b3_amd64.deb                 2020-11-25 07:28  7.4M  
[   ] libcoq-ocaml_8.12.0-3+b3_arm64.deb                 2020-11-25 07:58  7.6M  
[   ] libcoq-ocaml_8.12.0-3+b3_armhf.deb                 2020-11-25 07:43  7.4M  
[   ] libcoq-ocaml_8.12.0-3+b3_i386.deb                  2020-11-25 07:18  7.2M  
[   ] libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           2023-02-13 01:14   21M  
[   ] libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           2023-02-13 01:55   21M  
[   ] libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb           2023-02-13 01:55   21M  
[   ] libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            2023-02-13 01:29   21M  
[   ] libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb         2023-02-13 03:13   21M  
[   ] libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb           2023-02-13 01:45   21M  
[   ] libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           2025-06-15 01:07   22M  
[   ] libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb           2025-06-15 05:17   22M  
[   ] libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb         2025-06-15 05:53   22M  
[   ] libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb         2025-06-15 04:52   22M  
[   ] libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb           2025-06-16 12:17   22M  
[   ] rocqide_9.2.0+dfsg-4_amd64.deb                     2026-08-25 12:22  1.9M  
[   ] rocqide_9.2.0+dfsg-4_arm64.deb                     2026-08-25 12:22  2.1M  
[   ] rocqide_9.2.0+dfsg-4_armhf.deb                     2026-08-25 12:16  553K  
[   ] rocqide_9.2.0+dfsg-4_i386.deb                      2026-08-25 12:22  624K  
[   ] rocqide_9.2.0+dfsg-4_loong64.deb                   2026-08-25 12:22  595K  
[   ] rocqide_9.2.0+dfsg-4_ppc64el.deb                   2026-08-25 12:22  1.9M  
[   ] rocqide_9.2.0+dfsg-4_riscv64.deb                   2026-08-25 14:13  1.9M  
[   ] rocqide_9.2.0+dfsg-4_s390x.deb                     2026-08-25 12:17  1.9M