Index of /kali/pool/main/c/coq-quickchick

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 quickchick_2.0.5-1+b3_arm64.deb                    2025-01-15 16:14  513K  
 libcoq-quickchick_2.0.5-1+b3_arm64.deb             2025-01-15 16:14  4.1M  
 quickchick_2.0.5-1+b3_amd64.deb                    2025-01-15 14:42  469K  
 libcoq-quickchick_2.0.5-1+b3_amd64.deb             2025-01-15 14:42  4.1M  
 quickchick_2.0.5-1+b2_arm64.deb                    2025-01-10 08:04  513K  
 libcoq-quickchick_2.0.5-1+b2_arm64.deb             2025-01-10 08:04  4.1M  
 quickchick_2.0.5-1+b2_amd64.deb                    2025-01-10 08:04  470K  
 libcoq-quickchick_2.0.5-1+b2_amd64.deb             2025-01-10 08:04  4.1M  
 quickchick_2.0.5-1+b1_arm64.deb                    2024-12-20 05:31  514K  
 libcoq-quickchick_2.0.5-1+b1_arm64.deb             2024-12-20 05:31  4.1M  
 quickchick_2.0.5-1+b1_amd64.deb                    2024-12-20 03:49  470K  
 libcoq-quickchick_2.0.5-1+b1_amd64.deb             2024-12-20 03:49  4.1M  
 coq-quickchick_2.0.5.orig.tar.gz                   2024-12-19 00:08  403K  
 coq-quickchick_2.0.5-1.dsc                         2024-12-19 00:08  2.2K  
 coq-quickchick_2.0.5-1.debian.tar.xz               2024-12-19 00:08  2.8K  
 quickchick_2.0.3-3+b6_arm64.deb                    2024-10-13 20:25  512K  
 libcoq-quickchick_2.0.3-3+b6_arm64.deb             2024-10-13 20:25  4.1M  
 quickchick_2.0.3-3+b6_amd64.deb                    2024-10-13 19:49  472K  
 libcoq-quickchick_2.0.3-3+b6_amd64.deb             2024-10-13 19:49  4.1M  
 coq-quickchick_2.0.3-3.dsc                         2024-08-04 14:22  2.0K  
 coq-quickchick_2.0.3-3.debian.tar.xz               2024-08-04 14:22  2.8K  
 coq-quickchick_2.0.3.orig.tar.gz                   2024-05-01 05:09  402K