Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] coq-mtac2_1.4+8.16-2.debian.tar.xz        2023-01-26 12:44  2.4K  
[TXT] coq-mtac2_1.4+8.16-2.dsc                  2023-01-26 12:44  2.1K  
[   ] coq-mtac2_1.4+8.16.orig.tar.gz            2022-09-06 09:09  245K  
[   ] coq-mtac2_1.4+8.20-1.debian.tar.xz        2024-11-23 15:27  2.9K  
[TXT] coq-mtac2_1.4+8.20-1.dsc                  2024-11-23 15:27  2.1K  
[   ] coq-mtac2_1.4+8.20.orig.tar.gz            2024-11-23 15:27  246K  
[   ] coq-mtac2_1.4-rocq9.1-2.debian.tar.xz     2026-07-28 16:29  4.5K  
[TXT] coq-mtac2_1.4-rocq9.1-2.dsc               2026-07-28 16:29  2.1K  
[   ] coq-mtac2_1.4-rocq9.1.orig.tar.gz         2026-07-11 06:55  247K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_amd64.deb      2023-02-13 07:28  745K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_arm64.deb      2023-02-13 07:28  754K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_armhf.deb      2023-02-13 07:28  743K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_i386.deb       2023-02-13 07:34  733K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb    2023-02-14 11:17  748K  
[   ] libcoq-mtac2_1.4+8.16-2+b1_s390x.deb      2023-02-13 07:33  748K  
[   ] libcoq-mtac2_1.4+8.20-1+b4_amd64.deb      2025-06-15 11:15  776K  
[   ] libcoq-mtac2_1.4+8.20-1+b4_arm64.deb      2025-06-15 11:15  783K  
[   ] libcoq-mtac2_1.4+8.20-1+b4_riscv64.deb    2025-06-15 12:21  779K  
[   ] libcoq-mtac2_1.4+8.20-1+b5_ppc64el.deb    2025-06-15 11:20  778K  
[   ] libcoq-mtac2_1.4+8.20-1+b5_s390x.deb      2025-06-17 08:36  778K  
[   ] libcoq-mtac2_1.4-rocq9.1-2+b1_riscv64.deb 2026-08-26 13:30  781K  
[   ] libcoq-mtac2_1.4-rocq9.1-2+b2_arm64.deb   2026-08-26 10:29  784K  
[   ] libcoq-mtac2_1.4-rocq9.1-2+b2_ppc64el.deb 2026-08-26 10:34  778K  
[   ] libcoq-mtac2_1.4-rocq9.1-2+b2_s390x.deb   2026-08-26 10:29  779K  
[   ] libcoq-mtac2_1.4-rocq9.1-2+b3_amd64.deb   2026-08-26 10:34  776K