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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 coq-relation-algebra_1.7.10-4.debian.tar.xz        2024-08-04 13:34  2.2K  
 coq-relation-algebra_1.7.10-4.dsc                  2024-08-04 13:34  2.0K  
 coq-relation-algebra_1.7.10-4build4.debian.tar.xz  2024-09-08 05:03  2.3K  
 coq-relation-algebra_1.7.10-4build4.dsc            2024-09-08 05:03  2.2K  
 coq-relation-algebra_1.7.10.orig.tar.gz            2024-05-02 13:53  192K  
 coq-relation-algebra_1.7.8-2build2.debian.tar.xz   2023-02-16 19:50  1.7K  
 coq-relation-algebra_1.7.8-2build2.dsc             2023-02-16 19:50  2.2K  
 coq-relation-algebra_1.7.8.orig.tar.gz             2022-11-06 05:33  192K  
 coq-relation-algebra_1.7.9-1build1.debian.tar.xz   2023-07-24 19:37  1.9K  
 coq-relation-algebra_1.7.9-1build1.dsc             2023-07-24 19:37  2.2K  
 coq-relation-algebra_1.7.9-2build5.debian.tar.xz   2024-04-08 09:57  2.5K  
 coq-relation-algebra_1.7.9-2build5.dsc             2024-04-08 09:57  2.3K  
 coq-relation-algebra_1.7.9.orig.tar.gz             2023-06-15 01:24  192K  
 libcoq-relation-algebra_1.7.10-4_arm64.deb         2024-08-05 04:54  2.3M  
 libcoq-relation-algebra_1.7.10-4_ppc64el.deb       2024-08-05 04:54  2.3M  
 libcoq-relation-algebra_1.7.10-4_riscv64.deb       2024-08-05 15:30  2.3M  
 libcoq-relation-algebra_1.7.10-4_s390x.deb         2024-08-05 04:54  2.3M  
 libcoq-relation-algebra_1.7.10-4build4_arm64.deb   2024-09-08 05:03  2.3M  
 libcoq-relation-algebra_1.7.10-4build4_ppc64el.deb 2024-09-08 05:03  2.3M  
 libcoq-relation-algebra_1.7.10-4build4_riscv64.deb 2024-09-08 05:48  2.3M  
 libcoq-relation-algebra_1.7.10-4build4_s390x.deb   2024-09-08 05:03  2.3M  
 libcoq-relation-algebra_1.7.8-2build2_arm64.deb    2023-02-16 20:44  2.3M  
 libcoq-relation-algebra_1.7.8-2build2_armhf.deb    2023-02-16 19:50  2.3M  
 libcoq-relation-algebra_1.7.8-2build2_ppc64el.deb  2023-02-16 19:50  2.3M  
 libcoq-relation-algebra_1.7.8-2build2_riscv64.deb  2023-02-17 04:39  2.3M  
 libcoq-relation-algebra_1.7.8-2build2_s390x.deb    2023-02-16 20:44  2.3M  
 libcoq-relation-algebra_1.7.9-1build1_arm64.deb    2023-07-25 19:19  2.3M  
 libcoq-relation-algebra_1.7.9-1build1_armhf.deb    2023-07-25 19:19  2.3M  
 libcoq-relation-algebra_1.7.9-1build1_ppc64el.deb  2023-07-25 19:19  2.3M  
 libcoq-relation-algebra_1.7.9-1build1_riscv64.deb  2023-07-26 03:24  2.3M  
 libcoq-relation-algebra_1.7.9-1build1_s390x.deb    2023-07-25 19:19  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