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...> 19-Dec-2024 19:49  4.1M  
 libcoq-quickchick_2...> 19-Dec-2024 21:31  4.1M  
 libcoq-quickchick_2...> 19-Dec-2024 18:56  4.1M  
 libcoq-quickchick_2...> 19-Dec-2024 19:49  4.2M  
 libcoq-quickchick_2...> 22-Dec-2024 02:04  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..> 19-Dec-2024 19:49  470K  
 quickchick_2.0.5-1+b..> 19-Dec-2024 21:31  514K  
 quickchick_2.0.5-1+b..> 19-Dec-2024 18:56  486K  
 quickchick_2.0.5-1+b..> 19-Dec-2024 19:49  488K  
 quickchick_2.0.5-1+b..> 22-Dec-2024 02:04  476K