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

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] coq-gappa_1.5.2-5build1.debian.tar.xz  2023-02-16 10:50  2.0K  
[TXT] coq-gappa_1.5.2-5build1.dsc            2023-02-16 10:50  2.0K  
[   ] coq-gappa_1.5.2.orig.tar.bz2           2022-07-20 16:19   72K  
[   ] coq-gappa_1.5.3-1build1.debian.tar.xz  2023-07-25 22:19  2.1K  
[TXT] coq-gappa_1.5.3-1build1.dsc            2023-07-25 22:19  2.0K  
[   ] coq-gappa_1.5.3.orig.tar.bz2           2023-06-13 04:34   72K  
[   ] coq-gappa_1.5.4-1build3.debian.tar.xz  2024-04-08 00:57  2.3K  
[TXT] coq-gappa_1.5.4-1build3.dsc            2024-04-08 00:57  2.1K  
[   ] coq-gappa_1.5.4.orig.tar.bz2           2023-12-23 09:16   72K  
[   ] coq-gappa_1.5.5-1build3.debian.tar.xz  2024-06-15 07:43  2.3K  
[TXT] coq-gappa_1.5.5-1build3.dsc            2024-06-15 07:43  2.0K  
[   ] coq-gappa_1.5.5-2.debian.tar.xz        2024-08-04 04:34  2.3K  
[TXT] coq-gappa_1.5.5-2.dsc                  2024-08-04 04:34  1.8K  
[   ] coq-gappa_1.5.5-2build1.debian.tar.xz  2024-08-15 00:47  2.4K  
[TXT] coq-gappa_1.5.5-2build1.dsc            2024-08-15 00:47  2.0K  
[   ] coq-gappa_1.5.5-2build2.debian.tar.xz  2024-09-07 12:04  2.4K  
[TXT] coq-gappa_1.5.5-2build2.dsc            2024-09-07 12:04  2.0K  
[   ] coq-gappa_1.5.5-2build3.debian.tar.xz  2024-11-20 23:16  2.4K  
[TXT] coq-gappa_1.5.5-2build3.dsc            2024-11-20 23:16  2.0K  
[   ] coq-gappa_1.5.5.orig.tar.bz2           2024-05-02 04:53   72K  
[   ] coq-gappa_1.6.0-1.debian.tar.xz        2025-01-23 21:56  2.3K  
[TXT] coq-gappa_1.6.0-1.dsc                  2025-01-23 21:56  2.0K  
[   ] coq-gappa_1.6.0-1build1.debian.tar.xz  2025-02-01 23:27  2.4K  
[TXT] coq-gappa_1.6.0-1build1.dsc            2025-02-01 23:27  2.0K  
[   ] coq-gappa_1.6.0-1build2.debian.tar.xz  2025-02-13 16:54  2.4K  
[TXT] coq-gappa_1.6.0-1build2.dsc            2025-02-13 16:54  2.0K  
[   ] coq-gappa_1.6.0-1build3.debian.tar.xz  2025-02-18 18:07  2.4K  
[TXT] coq-gappa_1.6.0-1build3.dsc            2025-02-18 18:07  2.0K  
[   ] coq-gappa_1.6.0-1build4.debian.tar.xz  2025-02-18 23:52  2.4K  
[TXT] coq-gappa_1.6.0-1build4.dsc            2025-02-18 23:52  2.0K  
[   ] coq-gappa_1.6.0.orig.tar.bz2           2025-01-23 21:56   74K  
[   ] coq-gappa_1.7.0-1.debian.tar.xz        2025-05-01 09:23  2.2K  
[TXT] coq-gappa_1.7.0-1.dsc                  2025-05-01 09:23  2.0K  
[   ] coq-gappa_1.7.0-1build1.debian.tar.xz  2025-06-20 06:22  2.2K  
[TXT] coq-gappa_1.7.0-1build1.dsc            2025-06-20 06:22  2.0K  
[   ] coq-gappa_1.7.0-1build2.debian.tar.xz  2026-01-05 12:02  2.3K  
[TXT] coq-gappa_1.7.0-1build2.dsc            2026-01-05 12:02  2.0K  
[   ] coq-gappa_1.7.0-1build3.debian.tar.xz  2026-01-29 11:55  2.3K  
[TXT] coq-gappa_1.7.0-1build3.dsc            2026-01-29 11:55  2.0K  
[   ] coq-gappa_1.7.0-1build4.debian.tar.xz  2026-03-04 09:33  2.3K  
[TXT] coq-gappa_1.7.0-1build4.dsc            2026-03-04 09:33  2.0K  
[   ] coq-gappa_1.7.0.orig.tar.bz2           2025-05-01 09:23   75K  
[   ] libcoq-gappa_1.5.2-5build1_amd64.deb   2023-02-16 12:44  586K  
[   ] libcoq-gappa_1.5.3-1build1_amd64.deb   2023-07-26 00:24  586K  
[   ] libcoq-gappa_1.5.4-1build3_amd64.deb   2024-04-08 03:59  562K  
[   ] libcoq-gappa_1.5.5-1build3_amd64.deb   2024-06-15 09:49  585K  
[   ] libcoq-gappa_1.5.5-2_amd64.deb         2024-08-04 09:09  584K  
[   ] libcoq-gappa_1.5.5-2build1_amd64.deb   2024-09-06 15:10  584K  
[   ] libcoq-gappa_1.5.5-2build2_amd64.deb   2024-09-07 12:05  584K  
[   ] libcoq-gappa_1.5.5-2build3_amd64.deb   2024-11-21 00:16  568K  
[   ] libcoq-gappa_1.6.0-1_amd64.deb         2025-01-24 02:50  612K  
[   ] libcoq-gappa_1.6.0-1build1_amd64.deb   2025-02-01 23:27  612K  
[   ] libcoq-gappa_1.6.0-1build2_amd64.deb   2025-02-14 00:30  612K  
[   ] libcoq-gappa_1.6.0-1build3_amd64.deb   2025-02-18 21:19  612K  
[   ] libcoq-gappa_1.6.0-1build4_amd64.deb   2025-02-18 23:53  612K  
[   ] libcoq-gappa_1.7.0-1_amd64.deb         2025-05-01 12:15  629K  
[   ] libcoq-gappa_1.7.0-1build1_amd64.deb   2025-06-20 10:40  628K  
[   ] libcoq-gappa_1.7.0-1build1_arm64.deb   2025-06-20 10:40  634K  
[   ] libcoq-gappa_1.7.0-1build2_amd64.deb   2026-01-05 16:08  628K  
[   ] libcoq-gappa_1.7.0-1build2_amd64v3.deb 2026-01-05 16:09  628K  
[   ] libcoq-gappa_1.7.0-1build3_amd64.deb   2026-01-30 01:03  628K  
[   ] libcoq-gappa_1.7.0-1build3_amd64v3.deb 2026-01-30 01:03  628K  
[   ] libcoq-gappa_1.7.0-1build4_amd64.deb   2026-03-04 09:34  628K  
[   ] libcoq-gappa_1.7.0-1build4_amd64v3.deb 2026-03-04 09:34  628K  
[   ] libcoq-gappa_1.7.0-1build4_arm64.deb   2026-03-04 09:34  634K