Index of /ubuntu/pool/universe/o/ott

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libcoq-ott_0.32+ds-3..> 16-Feb-2023 18:50  181K  
 libcoq-ott_0.33+ds-1..> 26-Jul-2023 06:22  178K  
 libcoq-ott_0.33+ds-2..> 01-Apr-2024 06:51  177K  
 libcoq-ott_0.33+ds-4..> 07-Sep-2024 15:44  186K  
 ott-tools_0.32+ds-3b..> 16-Feb-2023 18:50  1.4M  
 ott-tools_0.33+ds-1b..> 26-Jul-2023 06:22  1.4M  
 ott-tools_0.33+ds-2b..> 01-Apr-2024 06:51  1.4M  
 ott-tools_0.33+ds-4b..> 07-Sep-2024 15:44  1.6M  
 ott_0.32+ds-3build2...> 16-Feb-2023 18:50  6.9K  
 ott_0.32+ds-3build2.dsc 16-Feb-2023 18:50  2.1K  
 ott_0.32+ds.orig.tar.xz 10-Jul-2022 23:39  1.1M  
 ott_0.33+ds-1build1...> 26-Jul-2023 05:19  6.6K  
 ott_0.33+ds-1build1.dsc 26-Jul-2023 05:19  2.1K  
 ott_0.33+ds-2build3...> 01-Apr-2024 05:43  6.9K  
 ott_0.33+ds-2build3.dsc 01-Apr-2024 05:43  2.1K  
 ott_0.33+ds-4build4...> 07-Sep-2024 15:43  8.1K  
 ott_0.33+ds-4build4.dsc 07-Sep-2024 15:43  2.1K  
 ott_0.33+ds.orig.tar.xz 13-Jun-2023 05:30  1.1M