Index of /ubuntu-ports/pool/universe/c/coq-relation-algebra

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcoq-relation-algebra_1.7.10-4build6_arm64.deb   2024-09-20 01:39  2.3M  
 libcoq-relation-algebra_1.7.10-4build6_ppc64el.deb 2024-09-20 03:35  2.3M  
 libcoq-relation-algebra_1.7.10-4build6_riscv64.deb 2024-09-20 12:37  2.3M  
 libcoq-relation-algebra_1.7.10-4build6_s390x.deb   2024-09-20 01:39  2.3M  
 libcoq-relation-algebra_1.7.11-1build5_arm64.deb   2025-02-20 16:13  2.3M  
 libcoq-relation-algebra_1.7.11-1build5_ppc64el.deb 2025-02-20 05:20  2.3M  
 libcoq-relation-algebra_1.7.11-1build5_riscv64.deb 2025-02-20 21:16  2.3M  
 libcoq-relation-algebra_1.7.11-1build5_s390x.deb   2025-02-20 05:21  2.3M  
 libcoq-relation-algebra_1.7.11-1build6_arm64.deb   2025-05-08 21:00  2.3M  
 libcoq-relation-algebra_1.7.11-1build6_ppc64el.deb 2025-05-08 17:29  2.3M  
 libcoq-relation-algebra_1.7.11-1build6_riscv64.deb 2025-05-08 19:10  2.3M  
 libcoq-relation-algebra_1.7.11-1build6_s390x.deb   2025-05-08 17:29  2.3M  
 libcoq-relation-algebra_1.7.9-2build5_arm64.deb    2024-04-08 16:36  2.3M  
 libcoq-relation-algebra_1.7.9-2build5_armhf.deb    2024-04-08 16:36  2.3M  
 libcoq-relation-algebra_1.7.9-2build5_ppc64el.deb  2024-04-08 16:36  2.3M  
 libcoq-relation-algebra_1.7.9-2build5_riscv64.deb  2024-04-09 09:00  2.3M  
 libcoq-relation-algebra_1.7.9-2build5_s390x.deb    2024-04-08 16:36  2.3M