Index of /ubuntu/pool/universe/c/coq-mtac2

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] coq-mtac2_1.4+8.16-2build2.debian.tar.xz  2023-02-16 23:29  2.5K  
[TXT] coq-mtac2_1.4+8.16-2build2.dsc            2023-02-16 23:29  2.0K  
[   ] coq-mtac2_1.4+8.16.orig.tar.gz            2022-11-05 20:17  245K  
[   ] coq-mtac2_1.4+8.17-1build1.debian.tar.xz  2023-07-25 22:19  2.6K  
[TXT] coq-mtac2_1.4+8.17-1build1.dsc            2023-07-25 22:19  2.0K  
[   ] coq-mtac2_1.4+8.17.orig.tar.gz            2023-06-13 04:34  246K  
[   ] coq-mtac2_1.4+8.18-1build3.debian.tar.xz  2024-04-08 00:57  2.9K  
[TXT] coq-mtac2_1.4+8.18-1build3.dsc            2024-04-08 00:57  2.1K  
[   ] coq-mtac2_1.4+8.18.orig.tar.gz            2023-12-23 09:16  246K  
[   ] coq-mtac2_1.4+8.19-1build2.debian.tar.xz  2024-06-15 07:43  2.8K  
[TXT] coq-mtac2_1.4+8.19-1build2.dsc            2024-06-15 07:43  2.0K  
[   ] coq-mtac2_1.4+8.19-2.debian.tar.xz        2024-08-04 04:34  2.8K  
[TXT] coq-mtac2_1.4+8.19-2.dsc                  2024-08-04 04:34  1.8K  
[   ] coq-mtac2_1.4+8.19-2build1.debian.tar.xz  2024-08-15 00:47  2.9K  
[TXT] coq-mtac2_1.4+8.19-2build1.dsc            2024-08-15 00:47  2.0K  
[   ] coq-mtac2_1.4+8.19-2build2.debian.tar.xz  2024-09-07 00:08  2.9K  
[TXT] coq-mtac2_1.4+8.19-2build2.dsc            2024-09-07 00:08  2.0K  
[   ] coq-mtac2_1.4+8.19-2build3.debian.tar.xz  2024-09-07 12:04  2.9K  
[TXT] coq-mtac2_1.4+8.19-2build3.dsc            2024-09-07 12:04  2.0K  
[   ] coq-mtac2_1.4+8.19-3.debian.tar.xz        2024-11-20 10:47  4.8K  
[TXT] coq-mtac2_1.4+8.19-3.dsc                  2024-11-20 10:47  2.1K  
[   ] coq-mtac2_1.4+8.19.orig.tar.gz            2024-05-02 04:53  246K  
[   ] coq-mtac2_1.4+8.20-1.debian.tar.xz        2024-11-23 16:12  2.9K  
[TXT] coq-mtac2_1.4+8.20-1.dsc                  2024-11-23 16:12  2.1K  
[   ] coq-mtac2_1.4+8.20-1build1.debian.tar.xz  2024-11-23 23:42  2.9K  
[TXT] coq-mtac2_1.4+8.20-1build1.dsc            2024-11-23 23:42  2.0K  
[   ] coq-mtac2_1.4+8.20-1build2.debian.tar.xz  2025-02-01 23:27  3.0K  
[TXT] coq-mtac2_1.4+8.20-1build2.dsc            2025-02-01 23:27  2.0K  
[   ] coq-mtac2_1.4+8.20-1build3.debian.tar.xz  2025-02-13 16:54  3.0K  
[TXT] coq-mtac2_1.4+8.20-1build3.dsc            2025-02-13 16:54  2.0K  
[   ] coq-mtac2_1.4+8.20-1build4.debian.tar.xz  2025-02-18 18:07  3.0K  
[TXT] coq-mtac2_1.4+8.20-1build4.dsc            2025-02-18 18:07  2.0K  
[   ] coq-mtac2_1.4+8.20-1build5.debian.tar.xz  2025-02-19 10:58  3.0K  
[TXT] coq-mtac2_1.4+8.20-1build5.dsc            2025-02-19 10:58  2.0K  
[   ] coq-mtac2_1.4+8.20-1build6.debian.tar.xz  2025-06-20 06:22  3.1K  
[TXT] coq-mtac2_1.4+8.20-1build6.dsc            2025-06-20 06:22  2.0K  
[   ] coq-mtac2_1.4+8.20-1build7.debian.tar.xz  2026-01-05 12:02  3.1K  
[TXT] coq-mtac2_1.4+8.20-1build7.dsc            2026-01-05 12:02  2.0K  
[   ] coq-mtac2_1.4+8.20-1build8.debian.tar.xz  2026-01-29 11:54  3.1K  
[TXT] coq-mtac2_1.4+8.20-1build8.dsc            2026-01-29 11:54  2.0K  
[   ] coq-mtac2_1.4+8.20-1build9.debian.tar.xz  2026-03-04 09:33  3.2K  
[TXT] coq-mtac2_1.4+8.20-1build9.dsc            2026-03-04 09:33  2.0K  
[   ] coq-mtac2_1.4+8.20.orig.tar.gz            2024-11-23 16:12  246K  
[   ] libcoq-mtac2_1.4+8.16-2build2_amd64.deb   2023-02-16 23:29  831K  
[   ] libcoq-mtac2_1.4+8.17-1build1_amd64.deb   2023-07-26 00:55  841K  
[   ] libcoq-mtac2_1.4+8.18-1build3_amd64.deb   2024-04-08 03:59  865K  
[   ] libcoq-mtac2_1.4+8.19-1build2_amd64.deb   2024-06-15 11:13  879K  
[   ] libcoq-mtac2_1.4+8.19-2_amd64.deb         2024-08-04 09:09  879K  
[   ] libcoq-mtac2_1.4+8.19-2build1_amd64.deb   2024-08-15 03:32  887K  
[   ] libcoq-mtac2_1.4+8.19-2build2_amd64.deb   2024-09-07 01:10  887K  
[   ] libcoq-mtac2_1.4+8.19-2build3_amd64.deb   2024-09-07 12:05  887K  
[   ] libcoq-mtac2_1.4+8.19-3_amd64.deb         2024-11-20 19:11  872K  
[   ] libcoq-mtac2_1.4+8.20-1_amd64.deb         2024-11-23 16:12  873K  
[   ] libcoq-mtac2_1.4+8.20-1build1_amd64.deb   2024-11-23 23:42  872K  
[   ] libcoq-mtac2_1.4+8.20-1build2_amd64.deb   2025-02-01 23:27  873K  
[   ] libcoq-mtac2_1.4+8.20-1build3_amd64.deb   2025-02-14 00:30  873K  
[   ] libcoq-mtac2_1.4+8.20-1build4_amd64.deb   2025-02-18 21:19  873K  
[   ] libcoq-mtac2_1.4+8.20-1build5_amd64.deb   2025-02-19 15:03  873K  
[   ] libcoq-mtac2_1.4+8.20-1build6_amd64.deb   2025-06-20 10:40  871K  
[   ] libcoq-mtac2_1.4+8.20-1build6_arm64.deb   2025-06-20 10:40  890K  
[   ] libcoq-mtac2_1.4+8.20-1build7_amd64.deb   2026-01-05 16:08  871K  
[   ] libcoq-mtac2_1.4+8.20-1build7_amd64v3.deb 2026-01-05 16:09  871K  
[   ] libcoq-mtac2_1.4+8.20-1build8_amd64.deb   2026-01-30 01:03  871K  
[   ] libcoq-mtac2_1.4+8.20-1build8_amd64v3.deb 2026-01-30 01:03  871K  
[   ] libcoq-mtac2_1.4+8.20-1build9_amd64.deb   2026-03-04 09:34  871K  
[   ] libcoq-mtac2_1.4+8.20-1build9_amd64v3.deb 2026-03-04 09:34  871K  
[   ] libcoq-mtac2_1.4+8.20-1build9_arm64.deb   2026-03-05 00:49  890K