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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcoq-ott_0.34+ds-1build4_amd64.deb               2025-06-20 21:23  178K  
 ott-tools_0.34+ds-1build4_amd64.deb                2025-06-20 21:23  1.6M  
 ott_0.34+ds-1build4.dsc                            2025-06-20 21:22  2.1K  
 ott_0.34+ds-1build4.debian.tar.xz                  2025-06-20 21:22  7.0K  
 libcoq-ott_0.34+ds-1build3_amd64.deb               2025-02-19 05:25  179K  
 ott-tools_0.34+ds-1build3_amd64.deb                2025-02-19 05:25  1.6M  
 ott_0.34+ds-1build3.dsc                            2025-02-19 05:25  2.1K  
 ott_0.34+ds-1build3.debian.tar.xz                  2025-02-19 05:25  7.0K  
 ott_0.34+ds.orig.tar.xz                            2025-01-05 02:00  1.1M  
 libcoq-ott_0.33+ds-4build4_amd64.deb               2024-09-07 23:44  186K  
 ott-tools_0.33+ds-4build4_amd64.deb                2024-09-07 23:44  1.6M  
 ott_0.33+ds-4build4.dsc                            2024-09-07 23:43  2.1K  
 ott_0.33+ds-4build4.debian.tar.xz                  2024-09-07 23:43  8.1K  
 libcoq-ott_0.33+ds-2build3_amd64.deb               2024-04-01 14:51  177K  
 ott-tools_0.33+ds-2build3_amd64.deb                2024-04-01 14:51  1.4M  
 ott_0.33+ds-2build3.dsc                            2024-04-01 13:43  2.1K  
 ott_0.33+ds-2build3.debian.tar.xz                  2024-04-01 13:43  6.9K  
 ott_0.33+ds.orig.tar.xz                            2023-06-13 13:30  1.1M