Index of /pool/universe/c/coqeal

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 coqeal_2.0.1-1build5.debian.tar.xz      2024-04-08 07:57  2.5K  
 coqeal_2.0.1-1build5.dsc                2024-04-08 07:57  2.2K  
 coqeal_2.0.1.orig.tar.gz                2024-01-21 05:45  212K  
 coqeal_2.0.3-1build6.debian.tar.xz      2025-02-19 07:52  2.5K  
 coqeal_2.0.3-1build6.dsc                2025-02-19 07:52  2.1K  
 coqeal_2.0.3.orig.tar.gz                2024-12-18 23:41  212K  
 coqeal_2.1.0-1build3.debian.tar.xz      2025-08-31 19:42  2.5K  
 coqeal_2.1.0-1build3.dsc                2025-08-31 19:42  2.1K  
 coqeal_2.1.0-1build7.debian.tar.xz      2026-01-04 23:06  2.5K  
 coqeal_2.1.0-1build7.dsc                2026-01-04 23:06  2.1K  
 coqeal_2.1.0-1build8.debian.tar.xz      2026-01-28 08:18  2.5K  
 coqeal_2.1.0-1build8.dsc                2026-01-28 08:18  2.1K  
 coqeal_2.1.0-1build9.debian.tar.xz      2026-03-09 06:58  2.6K  
 coqeal_2.1.0-1build9.dsc                2026-03-09 06:58  2.1K  
 coqeal_2.1.0.orig.tar.gz                2025-05-01 16:23  221K  
 libcoq-coqeal_2.0.1-1build5_arm64.deb   2024-04-09 08:28  5.3M  
 libcoq-coqeal_2.0.1-1build5_armhf.deb   2024-04-09 07:42  5.3M  
 libcoq-coqeal_2.0.1-1build5_ppc64el.deb 2024-04-09 07:42  5.3M  
 libcoq-coqeal_2.0.1-1build5_riscv64.deb 2024-04-09 10:43  5.3M  
 libcoq-coqeal_2.0.1-1build5_s390x.deb   2024-04-09 07:42  5.3M  
 libcoq-coqeal_2.0.3-1build6_arm64.deb   2025-02-20 22:38  5.9M  
 libcoq-coqeal_2.0.3-1build6_ppc64el.deb 2025-02-20 15:14  5.9M  
 libcoq-coqeal_2.0.3-1build6_riscv64.deb 2025-02-21 09:52  5.9M  
 libcoq-coqeal_2.0.3-1build6_s390x.deb   2025-02-20 15:14  5.9M  
 libcoq-coqeal_2.1.0-1build3_arm64.deb   2025-09-02 13:04  6.2M  
 libcoq-coqeal_2.1.0-1build3_ppc64el.deb 2025-09-02 13:05  6.2M  
 libcoq-coqeal_2.1.0-1build3_riscv64.deb 2025-09-03 16:14  6.2M  
 libcoq-coqeal_2.1.0-1build3_s390x.deb   2025-09-02 13:05  6.2M  
 libcoq-coqeal_2.1.0-1build7_arm64.deb   2026-01-06 18:49  6.2M  
 libcoq-coqeal_2.1.0-1build7_ppc64el.deb 2026-01-06 18:50  6.2M  
 libcoq-coqeal_2.1.0-1build7_riscv64.deb 2026-01-08 01:02  6.2M  
 libcoq-coqeal_2.1.0-1build7_s390x.deb   2026-01-06 18:50  6.2M  
 libcoq-coqeal_2.1.0-1build8_arm64.deb   2026-02-01 05:28  6.2M  
 libcoq-coqeal_2.1.0-1build8_ppc64el.deb 2026-02-01 05:28  6.2M  
 libcoq-coqeal_2.1.0-1build8_riscv64.deb 2026-02-01 20:57  6.2M  
 libcoq-coqeal_2.1.0-1build8_s390x.deb   2026-02-01 05:28  6.2M  
 libcoq-coqeal_2.1.0-1build9_arm64.deb   2026-03-09 08:19  6.2M  
 libcoq-coqeal_2.1.0-1build9_ppc64el.deb 2026-03-09 08:19  6.2M  
 libcoq-coqeal_2.1.0-1build9_riscv64.deb 2026-03-09 08:49  6.2M  
 libcoq-coqeal_2.1.0-1build9_s390x.deb   2026-03-09 08:19  6.2M