Index of /ubuntu-ports/pool/universe/c/coq-quickchick

 Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 libcoq-quickchick_2.0.2-1build5_arm64.deb   2024-04-08 16:36  1.9M  
 libcoq-quickchick_2.0.2-1build5_armhf.deb   2024-04-08 16:36  1.9M  
 libcoq-quickchick_2.0.2-1build5_ppc64el.deb 2024-04-08 16:36  1.9M  
 libcoq-quickchick_2.0.2-1build5_riscv64.deb 2024-04-09 09:00  1.9M  
 libcoq-quickchick_2.0.2-1build5_s390x.deb   2024-04-08 16:36  1.9M  
 libcoq-quickchick_2.0.3-3build5_arm64.deb   2024-09-20 01:39  4.4M  
 libcoq-quickchick_2.0.3-3build5_ppc64el.deb 2024-09-20 06:15  4.4M  
 libcoq-quickchick_2.0.3-3build5_riscv64.deb 2024-09-20 12:37  4.6M  
 libcoq-quickchick_2.0.3-3build5_s390x.deb   2024-09-20 01:39  4.3M  
 libcoq-quickchick_2.0.5-1build6_arm64.deb   2025-02-20 16:13  4.3M  
 libcoq-quickchick_2.0.5-1build6_ppc64el.deb 2025-02-20 05:20  4.3M  
 libcoq-quickchick_2.0.5-1build6_riscv64.deb 2025-02-20 21:17  4.5M  
 libcoq-quickchick_2.0.5-1build6_s390x.deb   2025-02-20 05:21  4.3M  
 libcoq-quickchick_2.1.0-1_arm64.deb         2025-05-02 01:02  4.4M  
 libcoq-quickchick_2.1.0-1_ppc64el.deb       2025-05-02 01:14  4.3M  
 libcoq-quickchick_2.1.0-1_riscv64.deb       2025-05-02 19:59  4.5M  
 libcoq-quickchick_2.1.0-1_s390x.deb         2025-05-02 01:18  4.3M  
 libcoq-quickchick_2.1.0-1build1_arm64.deb   2025-05-08 17:28  4.3M  
 libcoq-quickchick_2.1.0-1build1_ppc64el.deb 2025-05-08 17:29  4.3M  
 libcoq-quickchick_2.1.0-1build1_riscv64.deb 2025-05-08 19:10  4.5M  
 libcoq-quickchick_2.1.0-1build1_s390x.deb   2025-05-08 17:29  4.3M  
 quickchick_2.0.2-1build5_arm64.deb          2024-04-08 16:36   65K  
 quickchick_2.0.2-1build5_armhf.deb          2024-04-08 16:36   65K  
 quickchick_2.0.2-1build5_ppc64el.deb        2024-04-08 16:36   65K  
 quickchick_2.0.2-1build5_riscv64.deb        2024-04-09 09:00   65K  
 quickchick_2.0.2-1build5_s390x.deb          2024-04-08 16:36   65K  
 quickchick_2.0.3-3build5_arm64.deb          2024-09-20 01:39  590K  
 quickchick_2.0.3-3build5_ppc64el.deb        2024-09-20 06:15  576K  
 quickchick_2.0.3-3build5_riscv64.deb        2024-09-20 12:37  554K  
 quickchick_2.0.3-3build5_s390x.deb          2024-09-20 01:39  547K  
 quickchick_2.0.5-1build6_arm64.deb          2025-02-20 16:13  602K  
 quickchick_2.0.5-1build6_ppc64el.deb        2025-02-20 05:20  591K  
 quickchick_2.0.5-1build6_riscv64.deb        2025-02-20 21:17  566K  
 quickchick_2.0.5-1build6_s390x.deb          2025-02-20 05:21  559K  
 quickchick_2.1.0-1_arm64.deb                2025-05-02 01:02  608K  
 quickchick_2.1.0-1_ppc64el.deb              2025-05-02 01:14  591K  
 quickchick_2.1.0-1_riscv64.deb              2025-05-02 19:59  566K  
 quickchick_2.1.0-1_s390x.deb                2025-05-02 01:18  559K  
 quickchick_2.1.0-1build1_arm64.deb          2025-05-08 17:28  602K  
 quickchick_2.1.0-1build1_ppc64el.deb        2025-05-08 17:29  590K  
 quickchick_2.1.0-1build1_riscv64.deb        2025-05-08 19:10  566K  
 quickchick_2.1.0-1build1_s390x.deb          2025-05-08 17:29  559K