Index of /ubuntu/pool/universe/c/curry-tools

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 curry-tools-source_2..> 09-Feb-2018 17:31  238K  
 curry-tools-source_2..> 18-Nov-2019 17:13  293K  
 curry-tools-source_3..> 05-Feb-2021 05:34  316K  
 curry-tools_2.0.1-1...> 09-Feb-2018 17:30  3.4K  
 curry-tools_2.0.1-1.dsc 09-Feb-2018 17:30  2.0K  
 curry-tools_2.0.1.or..> 09-Feb-2018 17:30  415K  
 curry-tools_2.2.0-1...> 18-Nov-2019 17:13  3.8K  
 curry-tools_2.2.0-1.dsc 18-Nov-2019 17:13  2.0K  
 curry-tools_2.2.0.or..> 18-Nov-2019 17:13  527K  
 curry-tools_3.3.0-2...> 05-Feb-2021 05:19  3.9K  
 curry-tools_3.3.0-2.dsc 05-Feb-2021 05:19  2.0K  
 curry-tools_3.3.0.or..> 05-Feb-2021 05:19  582K