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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 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.3..> 17-Sep-2024 16:56  2.9K  
 coq-quickchick_2.0.3..> 17-Sep-2024 16:56  2.2K  
 coq-quickchick_2.0.3..> 02-May-2024 11:53  402K  
 coq-quickchick_2.0.4..> 21-Nov-2024 14:00  2.9K  
 coq-quickchick_2.0.4..> 21-Nov-2024 14:00  2.2K  
 coq-quickchick_2.0.4..> 20-Nov-2024 18:47  403K  
 libcoq-quickchick_2...> 08-Apr-2024 14:36  1.9M  
 libcoq-quickchick_2...> 19-Sep-2024 23:39  4.3M  
 libcoq-quickchick_2...> 21-Nov-2024 14:01  4.3M  
 quickchick_2.0.2-1bu..> 08-Apr-2024 14:36   65K  
 quickchick_2.0.3-3bu..> 19-Sep-2024 23:39  517K  
 quickchick_2.0.4-1bu..> 21-Nov-2024 14:01  517K