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

 Name                                          Last modified      Size  Description
 Parent Directory                                                   -   
 coq-extructures_0.4.0-1build5.debian.tar.xz   2024-04-08 09:57  2.4K  
 coq-extructures_0.4.0-1build5.dsc             2024-04-08 09:57  2.2K  
 coq-extructures_0.4.0.orig.tar.gz             2023-12-26 18:17   41K  
 coq-extructures_0.5.0-1build10.debian.tar.xz  2025-08-31 21:42  2.6K  
 coq-extructures_0.5.0-1build10.dsc            2025-08-31 21:42  2.1K  
 coq-extructures_0.5.0-1build11.debian.tar.xz  2025-10-23 02:05  2.6K  
 coq-extructures_0.5.0-1build11.dsc            2025-10-23 02:05  2.1K  
 coq-extructures_0.5.0-1build6.debian.tar.xz   2025-02-19 08:52  2.5K  
 coq-extructures_0.5.0-1build6.dsc             2025-02-19 08:52  2.1K  
 coq-extructures_0.5.0.orig.tar.gz             2024-12-19 00:41   42K  
 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.5.0-1build10_arm64.deb   2025-09-02 10:36  821K  
 libcoq-extructures_0.5.0-1build10_ppc64el.deb 2025-09-02 10:36  821K  
 libcoq-extructures_0.5.0-1build10_riscv64.deb 2025-09-03 10:05  821K  
 libcoq-extructures_0.5.0-1build10_s390x.deb   2025-09-02 10:36  821K  
 libcoq-extructures_0.5.0-1build11_arm64.deb   2025-10-26 14:30  821K  
 libcoq-extructures_0.5.0-1build11_ppc64el.deb 2025-10-26 14:31  821K  
 libcoq-extructures_0.5.0-1build11_riscv64.deb 2025-10-27 19:34  821K  
 libcoq-extructures_0.5.0-1build11_s390x.deb   2025-10-26 14:31  821K  
 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