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

 Name                                         Last modified      Size  Description
 Parent Directory                                                  -   
 libcoq-extructures_0.4.0-1build5_arm64.deb   2024-04-09 08:03  715K  
 libcoq-extructures_0.4.0-1build5_armhf.deb   2024-04-09 08:03  714K  
 libcoq-extructures_0.4.0-1build5_ppc64el.deb 2024-04-09 08:03  715K  
 libcoq-extructures_0.4.0-1build5_riscv64.deb 2024-04-09 09:00  715K  
 libcoq-extructures_0.4.0-1build5_s390x.deb   2024-04-09 08:03  715K  
 libcoq-extructures_0.4.0-4build5_arm64.deb   2024-09-20 03:35  760K  
 libcoq-extructures_0.4.0-4build5_ppc64el.deb 2024-09-20 05:19  760K  
 libcoq-extructures_0.4.0-4build5_riscv64.deb 2024-09-20 15:55  760K  
 libcoq-extructures_0.4.0-4build5_s390x.deb   2024-09-20 03:35  760K  
 libcoq-extructures_0.5.0-1build6_arm64.deb   2025-02-20 21:15  823K  
 libcoq-extructures_0.5.0-1build6_ppc64el.deb 2025-02-20 10:57  823K  
 libcoq-extructures_0.5.0-1build6_riscv64.deb 2025-02-21 04:24  823K  
 libcoq-extructures_0.5.0-1build6_s390x.deb   2025-02-20 10:58  823K  
 libcoq-extructures_0.5.0-1build7_arm64.deb   2025-05-08 21:00  821K  
 libcoq-extructures_0.5.0-1build7_ppc64el.deb 2025-05-09 00:26  821K  
 libcoq-extructures_0.5.0-1build7_riscv64.deb 2025-05-08 23:08  821K  
 libcoq-extructures_0.5.0-1build7_s390x.deb   2025-05-08 21:00  821K