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

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] coq-quickchick_2.0.3-2.debian.tar.xz   2024-05-01 06:09  2.7K  
[TXT] coq-quickchick_2.0.3-2.dsc             2024-05-01 06:09  2.2K  
[   ] coq-quickchick_2.0.3.orig.tar.gz       2024-05-01 06:09  402K  
[   ] libcoq-quickchick_2.0.3-2+b2_amd64.deb 2024-06-15 22:06  3.1M  
[   ] quickchick_2.0.3-2+b2_amd64.deb        2024-06-15 22:06  402K  
[   ] libcoq-quickchick_2.0.3-2+b2_i386.deb  2024-06-15 22:07  3.1M  
[   ] quickchick_2.0.3-2+b2_i386.deb         2024-06-15 22:07  394K  
[   ] libcoq-quickchick_2.0.3-2+b1_armhf.deb 2024-06-15 22:17  3.1M  
[   ] quickchick_2.0.3-2+b1_armhf.deb        2024-06-15 22:17  377K  
[   ] libcoq-quickchick_2.0.3-2+b2_arm64.deb 2024-06-16 00:18  3.1M  
[   ] quickchick_2.0.3-2+b2_arm64.deb        2024-06-16 00:18  446K  
[   ] coq-quickchick_2.0.3-3.debian.tar.xz   2024-08-04 15:22  2.8K  
[TXT] coq-quickchick_2.0.3-3.dsc             2024-08-04 15:22  2.0K  
[   ] libcoq-quickchick_2.0.3-3+b4_arm64.deb 2024-08-31 14:16  4.1M  
[   ] quickchick_2.0.3-3+b4_arm64.deb        2024-08-31 14:16  513K  
[   ] libcoq-quickchick_2.0.3-3+b4_amd64.deb 2024-08-31 14:16  4.1M  
[   ] quickchick_2.0.3-3+b4_amd64.deb        2024-08-31 14:16  471K  
[   ] libcoq-quickchick_2.0.3-3+b5_amd64.deb 2024-09-17 20:38  4.1M  
[   ] quickchick_2.0.3-3+b5_amd64.deb        2024-09-17 20:38  470K  
[   ] libcoq-quickchick_2.0.3-3+b5_arm64.deb 2024-09-17 20:38  4.1M  
[   ] quickchick_2.0.3-3+b5_arm64.deb        2024-09-17 20:38  513K  
[   ] libcoq-quickchick_2.0.3-3+b6_amd64.deb 2024-10-13 20:49  4.1M  
[   ] quickchick_2.0.3-3+b6_amd64.deb        2024-10-13 20:49  472K  
[   ] libcoq-quickchick_2.0.3-3+b6_arm64.deb 2024-10-13 21:25  4.1M  
[   ] quickchick_2.0.3-3+b6_arm64.deb        2024-10-13 21:25  512K