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

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 coq-quickchick_2.0.5-1.debian.tar.xz   2024-12-18 18:08  2.8K  
 coq-quickchick_2.0.5-1.dsc             2024-12-18 18:08  2.2K  
 coq-quickchick_2.0.5.orig.tar.gz       2024-12-18 18:08  403K  
 libcoq-quickchick_2.0.5-1+b4_amd64.deb 2025-01-30 10:08  4.0M  
 quickchick_2.0.5-1+b4_amd64.deb        2025-01-30 10:08  480K  
 libcoq-quickchick_2.0.5-1+b4_arm64.deb 2025-01-30 11:08  4.0M  
 quickchick_2.0.5-1+b4_arm64.deb        2025-01-30 11:08  523K  
 libcoq-quickchick_2.0.5-1+b6_amd64.deb 2025-02-18 04:57  4.0M  
 quickchick_2.0.5-1+b6_amd64.deb        2025-02-18 04:57  481K  
 libcoq-quickchick_2.0.5-1+b6_arm64.deb 2025-02-18 07:49  4.0M  
 quickchick_2.0.5-1+b6_arm64.deb        2025-02-18 07:49  525K