Index of /pub/linux/ubuntu/ports/pool/universe/c/coq-unimath

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] coq-unimath_20220816-2build2.debian.tar.xz  2023-02-17 03:50  1.8K  
[TXT] coq-unimath_20220816-2build2.dsc            2023-02-17 03:50  2.0K  
[   ] coq-unimath_20220816.orig.tar.gz            2022-08-23 02:34  1.9M  
[   ] coq-unimath_20230420-4build1.debian.tar.xz  2023-07-26 14:19  3.3K  
[TXT] coq-unimath_20230420-4build1.dsc            2023-07-26 14:19  2.1K  
[   ] coq-unimath_20230420.orig.tar.gz            2023-06-13 14:30  2.5M  
[   ] coq-unimath_20231010-1build3.debian.tar.xz  2024-04-08 16:57  2.2K  
[TXT] coq-unimath_20231010-1build3.dsc            2024-04-08 16:57  2.1K  
[   ] coq-unimath_20231010.orig.tar.gz            2023-12-23 08:27  2.8M  
[   ] coq-unimath_20240331-2.debian.tar.xz        2024-08-04 20:34  2.2K  
[TXT] coq-unimath_20240331-2.dsc                  2024-08-04 20:34  1.8K  
[   ] coq-unimath_20240331-2build1.debian.tar.xz  2024-08-13 16:38  2.2K  
[TXT] coq-unimath_20240331-2build1.dsc            2024-08-13 16:38  2.1K  
[   ] coq-unimath_20240331.orig.tar.gz            2024-05-02 21:38  3.2M  
[   ] libcoq-unimath_20220816-2build2_arm64.deb   2023-02-17 14:09   48M  
[   ] libcoq-unimath_20220816-2build2_armhf.deb   2023-02-17 11:34   48M  
[   ] libcoq-unimath_20220816-2build2_ppc64el.deb 2023-02-17 08:55   48M  
[   ] libcoq-unimath_20220816-2build2_riscv64.deb 2023-02-20 08:03   48M  
[   ] libcoq-unimath_20220816-2build2_s390x.deb   2023-02-17 10:54   48M  
[   ] libcoq-unimath_20230420-4build1_arm64.deb   2023-07-27 15:40   61M  
[   ] libcoq-unimath_20230420-4build1_armhf.deb   2023-07-26 23:51   61M  
[   ] libcoq-unimath_20230420-4build1_ppc64el.deb 2023-07-26 20:29   61M  
[   ] libcoq-unimath_20230420-4build1_riscv64.deb 2023-07-31 15:09   61M  
[   ] libcoq-unimath_20230420-4build1_s390x.deb   2023-07-26 22:07   61M  
[   ] libcoq-unimath_20231010-1build3_arm64.deb   2024-04-09 18:57   47M  
[   ] libcoq-unimath_20231010-1build3_armhf.deb   2024-04-09 13:28   47M  
[   ] libcoq-unimath_20231010-1build3_ppc64el.deb 2024-04-09 14:15   47M  
[   ] libcoq-unimath_20231010-1build3_riscv64.deb 2024-04-11 05:53   47M  
[   ] libcoq-unimath_20231010-1build3_s390x.deb   2024-04-09 14:15   47M  
[   ] libcoq-unimath_20240331-2_arm64.deb         2024-08-04 22:21   54M  
[   ] libcoq-unimath_20240331-2_armhf.deb         2024-08-04 22:21   54M  
[   ] libcoq-unimath_20240331-2_ppc64el.deb       2024-08-04 22:21   54M  
[   ] libcoq-unimath_20240331-2_riscv64.deb       2024-08-05 11:05   54M  
[   ] libcoq-unimath_20240331-2_s390x.deb         2024-08-05 00:09   54M  
[   ] libcoq-unimath_20240331-2build1_arm64.deb   2024-08-14 21:27   54M  
[   ] libcoq-unimath_20240331-2build1_ppc64el.deb 2024-08-15 01:22   54M  
[   ] libcoq-unimath_20240331-2build1_riscv64.deb 2024-08-15 23:21   54M  
[   ] libcoq-unimath_20240331-2build1_s390x.deb   2024-08-15 02:48   54M