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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-quickchick_1.6.4..> 27-Jan-2023 06:18  2.7K  
 coq-quickchick_1.6.4..> 27-Jan-2023 06:18  2.2K  
 coq-quickchick_1.6.4..> 15-Aug-2022 06:38  379K  
 coq-quickchick_2.0.5..> 18-Dec-2024 16:08  2.8K  
 coq-quickchick_2.0.5..> 18-Dec-2024 16:08  2.2K  
 coq-quickchick_2.0.5..> 18-Dec-2024 16:08  403K  
 libcoq-quickchick_1...> 14-Feb-2023 06:11  1.5M  
 libcoq-quickchick_1...> 14-Feb-2023 06:11  1.5M  
 libcoq-quickchick_1...> 14-Feb-2023 06:11  1.5M  
 libcoq-quickchick_1...> 14-Feb-2023 06:16  1.5M  
 libcoq-quickchick_1...> 14-Feb-2023 13:13  1.5M  
 libcoq-quickchick_1...> 14-Feb-2023 06:26  1.5M  
 libcoq-quickchick_2...> 30-Jan-2025 08:08  4.0M  
 libcoq-quickchick_2...> 30-Jan-2025 09:08  4.0M  
 libcoq-quickchick_2...> 30-Jan-2025 07:52  4.0M  
 libcoq-quickchick_2...> 30-Jan-2025 23:59  4.2M  
 libcoq-quickchick_2...> 30-Jan-2025 10:09  4.0M  
 libcoq-quickchick_2...> 18-Feb-2025 02:57  4.0M  
 libcoq-quickchick_2...> 18-Feb-2025 05:49  4.0M  
 libcoq-quickchick_2...> 18-Feb-2025 01:37  4.0M  
 libcoq-quickchick_2...> 18-Feb-2025 15:29  4.2M  
 libcoq-quickchick_2...> 18-Feb-2025 20:05  4.0M  
 quickchick_1.6.4-3+b..> 14-Feb-2023 06:11   54K  
 quickchick_1.6.4-3+b..> 14-Feb-2023 06:11   54K  
 quickchick_1.6.4-3+b..> 14-Feb-2023 06:11   54K  
 quickchick_1.6.4-3+b..> 14-Feb-2023 06:16   54K  
 quickchick_1.6.4-3+b..> 14-Feb-2023 13:13   54K  
 quickchick_1.6.4-3+b..> 14-Feb-2023 06:26   54K  
 quickchick_2.0.5-1+b..> 30-Jan-2025 08:08  480K  
 quickchick_2.0.5-1+b..> 30-Jan-2025 09:08  523K  
 quickchick_2.0.5-1+b..> 30-Jan-2025 07:52  499K  
 quickchick_2.0.5-1+b..> 30-Jan-2025 23:59  499K  
 quickchick_2.0.5-1+b..> 30-Jan-2025 10:09  487K  
 quickchick_2.0.5-1+b..> 18-Feb-2025 02:57  481K  
 quickchick_2.0.5-1+b..> 18-Feb-2025 05:49  525K  
 quickchick_2.0.5-1+b..> 18-Feb-2025 01:37  499K  
 quickchick_2.0.5-1+b..> 18-Feb-2025 15:29  501K  
 quickchick_2.0.5-1+b..> 18-Feb-2025 20:05  486K