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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 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  
 coq-quickchick_2.0.5.orig.tar.gz                   2024-12-19 00:08  403K  
 quickchick_2.0.5-1+b4_amd64.deb                    2025-01-30 16:08  480K  
 quickchick_2.0.5-1+b6_amd64.deb                    2025-02-18 10:57  481K  
 quickchick_2.0.5-1+b4_arm64.deb                    2025-01-30 17:08  523K  
 quickchick_2.0.5-1+b6_arm64.deb                    2025-02-18 13:49  525K  
 libcoq-quickchick_2.0.5-1+b6_amd64.deb             2025-02-18 10:57  4.0M  
 libcoq-quickchick_2.0.5-1+b4_amd64.deb             2025-01-30 16:08  4.0M  
 libcoq-quickchick_2.0.5-1+b4_arm64.deb             2025-01-30 17:08  4.0M  
 libcoq-quickchick_2.0.5-1+b6_arm64.deb             2025-02-18 13:49  4.0M