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

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 coq-quickchick_2.0.2-1.debian.tar.xz   2024-01-21 04:21  3.0K  
 coq-quickchick_2.0.2-1.dsc             2024-01-21 04:21  2.2K  
 coq-quickchick_2.0.2.orig.tar.gz       2024-01-21 04:21  406K  
 libcoq-quickchick_2.0.2-1+b1_amd64.deb 2024-02-17 00:04  1.6M  
 libcoq-quickchick_2.0.2-1+b1_arm64.deb 2024-02-17 02:36  1.7M  
 libcoq-quickchick_2.0.2-1+b1_armhf.deb 2024-02-16 23:09  1.6M  
 libcoq-quickchick_2.0.2-1+b1_i386.deb  2024-02-17 00:04  1.6M  
 libcoq-quickchick_2.0.2-1+b2_armhf.deb 2024-04-01 08:29  1.6M  
 libcoq-quickchick_2.0.2-1_amd64.deb    2024-01-21 05:28  1.6M  
 libcoq-quickchick_2.0.2-1_arm64.deb    2024-01-21 05:33  1.7M  
 libcoq-quickchick_2.0.2-1_armhf.deb    2024-01-21 05:33  1.6M  
 libcoq-quickchick_2.0.2-1_i386.deb     2024-01-21 05:23  1.6M  
 quickchick_2.0.2-1+b1_amd64.deb        2024-02-17 00:04   57K  
 quickchick_2.0.2-1+b1_arm64.deb        2024-02-17 02:36   57K  
 quickchick_2.0.2-1+b1_armhf.deb        2024-02-16 23:09   57K  
 quickchick_2.0.2-1+b1_i386.deb         2024-02-17 00:04   57K  
 quickchick_2.0.2-1+b2_armhf.deb        2024-04-01 08:29   57K  
 quickchick_2.0.2-1_amd64.deb           2024-01-21 05:28   57K  
 quickchick_2.0.2-1_arm64.deb           2024-01-21 05:33   57K  
 quickchick_2.0.2-1_armhf.deb           2024-01-21 05:33   57K  
 quickchick_2.0.2-1_i386.deb            2024-01-21 05:23   57K