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

 Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 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-2build3_arm64.deb   2024-09-07 19:24   54M  
 libcoq-unimath_20240331-2build3_ppc64el.deb 2024-09-07 19:24   54M  
 libcoq-unimath_20240331-2build3_riscv64.deb 2024-09-08 08:51   54M  
 libcoq-unimath_20240331-2build3_s390x.deb   2024-09-07 20:14   54M  
 libcoq-unimath_20240923-2build3_arm64.deb   2025-02-19 01:22   57M  
 libcoq-unimath_20240923-2build3_ppc64el.deb 2025-02-19 01:23   57M  
 libcoq-unimath_20240923-2build3_riscv64.deb 2025-02-19 14:45   57M  
 libcoq-unimath_20240923-2build3_s390x.deb   2025-02-19 01:24   57M