Index of /ubuntu-ports/pool/universe/c/coqeal

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 coqeal_1.1.1-3build3.debian.tar.xz      2023-02-17 08:29  2.2K  
 coqeal_1.1.1-3build3.dsc                2023-02-17 08:29  2.1K  
 coqeal_1.1.1.orig.tar.gz                2022-07-08 13:34  214K  
 coqeal_1.1.3-1build1.debian.tar.xz      2023-07-24 19:37  2.2K  
 coqeal_1.1.3-1build1.dsc                2023-07-24 19:37  2.1K  
 coqeal_1.1.3.orig.tar.gz                2023-06-20 19:20  213K  
 coqeal_2.0.1-1build5.debian.tar.xz      2024-04-08 09:57  2.5K  
 coqeal_2.0.1-1build5.dsc                2024-04-08 09:57  2.2K  
 coqeal_2.0.1.orig.tar.gz                2024-01-21 06:45  212K  
 coqeal_2.0.2-1.debian.tar.xz            2024-05-03 03:55  2.3K  
 coqeal_2.0.2-1.dsc                      2024-05-03 03:55  2.1K  
 coqeal_2.0.2.orig.tar.gz                2024-05-03 03:55  212K  
 libcoq-coqeal_1.1.1-3build3_arm64.deb   2023-02-17 08:29  5.1M  
 libcoq-coqeal_1.1.1-3build3_armhf.deb   2023-02-17 08:29  5.1M  
 libcoq-coqeal_1.1.1-3build3_ppc64el.deb 2023-02-17 08:29  5.1M  
 libcoq-coqeal_1.1.1-3build3_riscv64.deb 2023-02-17 09:04  5.1M  
 libcoq-coqeal_1.1.1-3build3_s390x.deb   2023-02-17 08:29  5.1M  
 libcoq-coqeal_1.1.3-1build1_arm64.deb   2023-07-26 09:55  5.0M  
 libcoq-coqeal_1.1.3-1build1_armhf.deb   2023-07-26 09:55  5.0M  
 libcoq-coqeal_1.1.3-1build1_ppc64el.deb 2023-07-26 09:55  5.0M  
 libcoq-coqeal_1.1.3-1build1_riscv64.deb 2023-07-26 10:54  5.0M  
 libcoq-coqeal_1.1.3-1build1_s390x.deb   2023-07-26 09:56  5.0M  
 libcoq-coqeal_2.0.1-1build5_arm64.deb   2024-04-09 10:28  5.3M  
 libcoq-coqeal_2.0.1-1build5_armhf.deb   2024-04-09 09:42  5.3M  
 libcoq-coqeal_2.0.1-1build5_ppc64el.deb 2024-04-09 09:42  5.3M  
 libcoq-coqeal_2.0.1-1build5_riscv64.deb 2024-04-09 12:43  5.3M  
 libcoq-coqeal_2.0.1-1build5_s390x.deb   2024-04-09 09:42  5.3M  
 libcoq-coqeal_2.0.2-1_arm64.deb         2024-05-04 20:40  5.8M  
 libcoq-coqeal_2.0.2-1_armhf.deb         2024-05-09 08:45  5.3M  
 libcoq-coqeal_2.0.2-1_ppc64el.deb       2024-05-04 14:09  5.8M  
 libcoq-coqeal_2.0.2-1_riscv64.deb       2024-05-08 09:23  5.8M