Index of /ubuntu/pool/universe/c/coq-quickchick

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-quickchick_1.6.4..> 17-Feb-2023 07:29  2.7K  
 coq-quickchick_1.6.4..> 17-Feb-2023 07:29  2.2K  
 coq-quickchick_1.6.4..> 15-Aug-2022 11:39  379K  
 coq-quickchick_2.0-2..> 24-Jul-2023 17:37  2.9K  
 coq-quickchick_2.0-2..> 24-Jul-2023 17:37  2.2K  
 coq-quickchick_2.0.2..> 08-Apr-2024 07:57  3.2K  
 coq-quickchick_2.0.2..> 08-Apr-2024 07:57  2.3K  
 coq-quickchick_2.0.2..> 20-Jan-2024 23:35  406K  
 coq-quickchick_2.0.o..> 14-Jun-2023 23:24  400K  
 libcoq-quickchick_1...> 17-Feb-2023 07:29  1.7M  
 libcoq-quickchick_2...> 26-Jul-2023 09:58  2.0M  
 libcoq-quickchick_2...> 08-Apr-2024 14:36  1.9M  
 quickchick_1.6.4-3bu..> 17-Feb-2023 07:29   62K  
 quickchick_2.0-2buil..> 26-Jul-2023 09:58   62K  
 quickchick_2.0.2-1bu..> 08-Apr-2024 14:36   65K