Index of /sites/archive.ubuntu.com/ubuntu/ubuntu/ubuntu/pool/universe/c/coq-relation-algebra/

 Name                                                            Last modified      Size  
 Parent Directory                                                                     -   
 coq-relation-algebra_1.7.8-2build2.debian.tar.xz                2023-02-16 18:50  1.7K  
 coq-relation-algebra_1.7.8-2build2.dsc                          2023-02-16 18:50  2.2K  
 coq-relation-algebra_1.7.8.orig.tar.gz                          2022-11-06 04:33  192K  
 coq-relation-algebra_1.7.9-1build1.debian.tar.xz                2023-07-24 18:37  1.9K  
 coq-relation-algebra_1.7.9-1build1.dsc                          2023-07-24 18:37  2.2K  
 coq-relation-algebra_1.7.9-2build5.debian.tar.xz                2024-04-08 08:57  2.5K  
 coq-relation-algebra_1.7.9-2build5.dsc                          2024-04-08 08:57  2.3K  
 coq-relation-algebra_1.7.9.orig.tar.gz                          2023-06-15 00:24  192K  
 libcoq-relation-algebra_1.7.8-2build2_amd64.deb                 2023-02-16 18:50  2.3M  
 libcoq-relation-algebra_1.7.9-1build1_amd64.deb                 2023-07-25 18:19  2.3M  
 libcoq-relation-algebra_1.7.9-2build5_amd64.deb                 2024-04-08 15:36  2.3M