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

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