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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-quickchick_1.6.4..> 2022-08-15 09:38  379K  
 coq-quickchick_1.6.4..> 2023-01-27 09:18  2.7K  
 coq-quickchick_1.6.4..> 2023-01-27 09:18  2.2K  
 libcoq-quickchick_1...> 2023-02-14 09:11  1.5M  
 quickchick_1.6.4-3+b..> 2023-02-14 09:11   54K  
 coq-quickchick_2.0.5..> 2024-12-18 19:08  2.8K  
 coq-quickchick_2.0.5..> 2024-12-18 19:08  2.2K  
 coq-quickchick_2.0.5..> 2024-12-18 19:08  403K  
 libcoq-quickchick_2...> 2024-12-19 22:49  4.1M  
 quickchick_2.0.5-1+b..> 2024-12-19 22:49  470K