Index of /pub/linux/mirrors/debian/pool/main/c/coqeal

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 coqeal_1.1.1-3.debian.tar.xz           2023-01-27 16:30  2.1K  
 coqeal_1.1.1-3.dsc                     2023-01-27 16:30  2.1K  
 coqeal_1.1.1.orig.tar.gz               2022-07-08 07:23  214K  
 coqeal_2.0.3-1.debian.tar.xz           2024-12-18 16:13  2.3K  
 coqeal_2.0.3-1.dsc                     2024-12-18 16:13  2.1K  
 coqeal_2.0.3.orig.tar.gz               2024-12-18 16:13  212K  
 coqeal_2.1.0-1.debian.tar.xz           2025-03-18 12:33  2.4K  
 coqeal_2.1.0-1.dsc                     2025-03-18 12:33  2.1K  
 coqeal_2.1.0.orig.tar.gz               2025-03-18 12:33  221K  
 libcoq-coqeal_1.1.1-3+b1_amd64.deb     2023-02-14 06:27  4.4M  
 libcoq-coqeal_1.1.1-3+b1_arm64.deb     2023-02-14 06:27  4.4M  
 libcoq-coqeal_1.1.1-3+b1_armhf.deb     2023-02-14 06:26  4.4M  
 libcoq-coqeal_1.1.1-3+b1_i386.deb      2023-02-14 06:27  4.4M  
 libcoq-coqeal_1.1.1-3+b1_ppc64el.deb   2023-02-14 07:27  4.4M  
 libcoq-coqeal_1.1.1-3+b1_s390x.deb     2023-02-14 07:17  4.4M  
 libcoq-coqeal_2.0.3-1+b5_amd64.deb     2025-02-18 12:20  5.1M  
 libcoq-coqeal_2.0.3-1+b5_arm64.deb     2025-02-18 12:25  5.1M  
 libcoq-coqeal_2.0.3-1+b5_ppc64el.deb   2025-02-18 03:48  5.1M  
 libcoq-coqeal_2.0.3-1+b5_riscv64.deb   2025-02-18 21:12  5.1M  
 libcoq-coqeal_2.0.3-1+b5_s390x.deb     2025-02-19 01:43  5.1M  
 libcoq-coqeal_2.1.0-1_amd64.deb        2025-03-18 19:37  5.3M  
 libcoq-coqeal_2.1.0-1_arm64.deb        2025-03-18 20:13  5.3M  
 libcoq-coqeal_2.1.0-1_ppc64el.deb      2025-03-18 20:07  5.3M  
 libcoq-coqeal_2.1.0-1_riscv64.deb      2025-03-19 12:48  5.3M  
 libcoq-coqeal_2.1.0-1_s390x.deb        2025-03-19 01:10  5.3M