Index of /debian/pool/main/c/coq-relation-algebra

 Name                                           Last modified      Size  Description
 Parent Directory                                                    -   
 coq-relation-algebra_1.7.10-3.debian.tar.xz    30-Apr-2024 23:09  2.1K  
 coq-relation-algebra_1.7.10-3.dsc              30-Apr-2024 23:09  2.2K  
 coq-relation-algebra_1.7.10.orig.tar.gz        30-Apr-2024 23:09  192K  
 coq-relation-algebra_1.7.8-2.debian.tar.xz     26-Jan-2023 13:44  1.6K  
 coq-relation-algebra_1.7.8-2.dsc               26-Jan-2023 13:44  2.2K  
 coq-relation-algebra_1.7.8.orig.tar.gz         23-Sep-2022 16:29  192K  
 coq-relation-algebra_1.7.9-2.debian.tar.xz     22-Dec-2023 12:07  2.2K  
 coq-relation-algebra_1.7.9-2.dsc               22-Dec-2023 12:07  2.2K  
 coq-relation-algebra_1.7.9.orig.tar.gz         14-Jun-2023 15:57  192K  
 libcoq-relation-algebra_1.7.10-3_amd64.deb     30-Apr-2024 23:39  2.0M  
 libcoq-relation-algebra_1.7.10-3_arm64.deb     30-Apr-2024 23:39  2.0M  
 libcoq-relation-algebra_1.7.10-3_i386.deb      30-Apr-2024 23:42  2.0M  
 libcoq-relation-algebra_1.7.10-3_ppc64el.deb   30-Apr-2024 23:39  2.0M  
 libcoq-relation-algebra_1.7.10-3_riscv64.deb   01-May-2024 00:17  2.0M  
 libcoq-relation-algebra_1.7.8-2+b1_amd64.deb   13-Feb-2023 08:28  1.9M  
 libcoq-relation-algebra_1.7.8-2+b1_arm64.deb   13-Feb-2023 08:44  1.9M  
 libcoq-relation-algebra_1.7.8-2+b1_armhf.deb   13-Feb-2023 08:28  1.9M  
 libcoq-relation-algebra_1.7.8-2+b1_i386.deb    13-Feb-2023 08:39  1.9M  
 libcoq-relation-algebra_1.7.8-2+b1_ppc64el.deb 14-Feb-2023 01:11  1.9M  
 libcoq-relation-algebra_1.7.8-2+b1_s390x.deb   13-Feb-2023 11:20  1.9M  
 libcoq-relation-algebra_1.7.9-2+b1_amd64.deb   16-Feb-2024 16:09  1.9M  
 libcoq-relation-algebra_1.7.9-2+b1_arm64.deb   16-Feb-2024 18:41  1.9M  
 libcoq-relation-algebra_1.7.9-2+b1_i386.deb    16-Feb-2024 16:09  1.9M  
 libcoq-relation-algebra_1.7.9-2+b1_ppc64el.deb 16-Feb-2024 16:20  1.9M  
 libcoq-relation-algebra_1.7.9-2+b1_s390x.deb   16-Feb-2024 16:09  1.9M  
 libcoq-relation-algebra_1.7.9-2+b2_armhf.deb   01-Apr-2024 01:35  1.9M  
 libcoq-relation-algebra_1.7.9-2+b2_s390x.deb   20-Mar-2024 14:08  1.9M