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

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] coq-unimath_20220816-2build2.debian.tar.xz  2023-02-16 10:50  1.8K  
[TXT] coq-unimath_20220816-2build2.dsc            2023-02-16 10:50  2.0K  
[   ] coq-unimath_20220816.orig.tar.gz            2022-08-22 10:34  1.9M  
[   ] coq-unimath_20230420-4build1.debian.tar.xz  2023-07-25 22:19  3.3K  
[TXT] coq-unimath_20230420-4build1.dsc            2023-07-25 22:19  2.1K  
[   ] coq-unimath_20230420.orig.tar.gz            2023-06-12 22:30  2.5M  
[   ] coq-unimath_20231010-1build3.debian.tar.xz  2024-04-08 00:57  2.2K  
[TXT] coq-unimath_20231010-1build3.dsc            2024-04-08 00:57  2.1K  
[   ] coq-unimath_20231010.orig.tar.gz            2023-12-22 15:27  2.8M  
[   ] coq-unimath_20240331-1build3.debian.tar.xz  2024-06-15 07:43  2.2K  
[TXT] coq-unimath_20240331-1build3.dsc            2024-06-15 07:43  2.1K  
[   ] coq-unimath_20240331-2.debian.tar.xz        2024-08-04 04:34  2.2K  
[TXT] coq-unimath_20240331-2.dsc                  2024-08-04 04:34  1.8K  
[   ] coq-unimath_20240331-2build1.debian.tar.xz  2024-08-13 00:38  2.2K  
[TXT] coq-unimath_20240331-2build1.dsc            2024-08-13 00:38  2.1K  
[   ] coq-unimath_20240331-2build2.debian.tar.xz  2024-09-06 16:05  2.3K  
[TXT] coq-unimath_20240331-2build2.dsc            2024-09-06 16:05  2.1K  
[   ] coq-unimath_20240331-2build3.debian.tar.xz  2024-09-07 08:43  2.3K  
[TXT] coq-unimath_20240331-2build3.dsc            2024-09-07 08:43  2.1K  
[   ] coq-unimath_20240331.orig.tar.gz            2024-05-02 05:38  3.2M  
[   ] coq-unimath_20240923-1.debian.tar.xz        2024-11-20 10:47  2.2K  
[TXT] coq-unimath_20240923-1.dsc                  2024-11-20 10:47  2.1K  
[   ] coq-unimath_20240923-1build1.debian.tar.xz  2024-11-20 19:11  2.3K  
[TXT] coq-unimath_20240923-1build1.dsc            2024-11-20 19:11  2.1K  
[   ] coq-unimath_20240923-1build2.debian.tar.xz  2024-11-20 23:16  2.3K  
[TXT] coq-unimath_20240923-1build2.dsc            2024-11-20 23:16  2.1K  
[   ] coq-unimath_20240923-2.debian.tar.xz        2024-11-25 09:20  2.2K  
[TXT] coq-unimath_20240923-2.dsc                  2024-11-25 09:20  2.1K  
[   ] coq-unimath_20240923-2build1.debian.tar.xz  2025-02-01 20:54  2.3K  
[TXT] coq-unimath_20240923-2build1.dsc            2025-02-01 20:54  2.1K  
[   ] coq-unimath_20240923-2build2.debian.tar.xz  2025-02-13 16:54  2.4K  
[TXT] coq-unimath_20240923-2build2.dsc            2025-02-13 16:54  2.1K  
[   ] coq-unimath_20240923-2build3.debian.tar.xz  2025-02-18 13:25  2.4K  
[TXT] coq-unimath_20240923-2build3.dsc            2025-02-18 13:25  2.1K  
[   ] coq-unimath_20240923-2build4.debian.tar.xz  2025-06-20 06:22  2.4K  
[TXT] coq-unimath_20240923-2build4.dsc            2025-06-20 06:22  2.1K  
[   ] coq-unimath_20240923-2build5.debian.tar.xz  2026-01-05 12:02  2.4K  
[TXT] coq-unimath_20240923-2build5.dsc            2026-01-05 12:02  2.1K  
[   ] coq-unimath_20240923-2build6.debian.tar.xz  2026-01-29 11:54  2.5K  
[TXT] coq-unimath_20240923-2build6.dsc            2026-01-29 11:54  2.1K  
[   ] coq-unimath_20240923-2build7.debian.tar.xz  2026-03-03 13:25  2.5K  
[TXT] coq-unimath_20240923-2build7.dsc            2026-03-03 13:25  2.1K  
[   ] coq-unimath_20240923.orig.tar.gz            2024-11-20 10:47  3.4M  
[   ] libcoq-unimath_20220816-2build2_amd64.deb   2023-02-16 13:50   48M  
[   ] libcoq-unimath_20230420-4build1_amd64.deb   2023-07-26 02:58   61M  
[   ] libcoq-unimath_20231010-1build3_amd64.deb   2024-04-08 06:14   47M  
[   ] libcoq-unimath_20240331-1build3_amd64.deb   2024-06-15 11:59   54M  
[   ] libcoq-unimath_20240331-2_amd64.deb         2024-08-04 06:21   54M  
[   ] libcoq-unimath_20240331-2build1_amd64.deb   2024-08-14 08:04   54M  
[   ] libcoq-unimath_20240331-2build2_amd64.deb   2024-09-06 17:55   54M  
[   ] libcoq-unimath_20240331-2build3_amd64.deb   2024-09-07 09:34   54M  
[   ] libcoq-unimath_20240923-1_amd64.deb         2024-11-20 12:27   60M  
[   ] libcoq-unimath_20240923-1build1_amd64.deb   2024-11-20 20:14   57M  
[   ] libcoq-unimath_20240923-1build2_amd64.deb   2024-11-21 01:16   57M  
[   ] libcoq-unimath_20240923-2_amd64.deb         2024-11-25 15:12   57M  
[   ] libcoq-unimath_20240923-2build1_amd64.deb   2025-02-01 23:27   57M  
[   ] libcoq-unimath_20240923-2build2_amd64.deb   2025-02-13 19:11   57M  
[   ] libcoq-unimath_20240923-2build3_amd64.deb   2025-02-18 16:22   57M  
[   ] libcoq-unimath_20240923-2build4_amd64.deb   2025-06-20 08:15   56M  
[   ] libcoq-unimath_20240923-2build4_arm64.deb   2025-06-20 06:24   56M  
[   ] libcoq-unimath_20240923-2build5_amd64.deb   2026-01-05 12:07   56M  
[   ] libcoq-unimath_20240923-2build5_amd64v3.deb 2026-01-05 12:07   56M  
[   ] libcoq-unimath_20240923-2build6_amd64.deb   2026-01-29 16:03   56M  
[   ] libcoq-unimath_20240923-2build6_amd64v3.deb 2026-01-29 16:05   56M  
[   ] libcoq-unimath_20240923-2build7_amd64.deb   2026-03-03 13:26   56M  
[   ] libcoq-unimath_20240923-2build7_amd64v3.deb 2026-03-03 13:26   56M  
[   ] libcoq-unimath_20240923-2build7_arm64.deb   2026-03-03 13:27   56M