Index of /kali/pool/main/o/ott

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] ott-tools_0.34+ds-1+b3_arm64.deb                   2025-02-18 08:41  1.6M  
[   ] libcoq-ott_0.34+ds-1+b3_arm64.deb                  2025-02-18 08:41  157K  
[   ] ott-tools_0.34+ds-1+b3_amd64.deb                   2025-02-18 08:20  1.4M  
[   ] libcoq-ott_0.34+ds-1+b3_amd64.deb                  2025-02-18 08:20  157K  
[   ] ott-tools_0.34+ds-1+b1_arm64.deb                   2025-01-30 15:27  1.6M  
[   ] libcoq-ott_0.34+ds-1+b1_arm64.deb                  2025-01-30 15:27  157K  
[   ] ott-tools_0.34+ds-1+b1_amd64.deb                   2025-01-30 15:21  1.4M  
[   ] libcoq-ott_0.34+ds-1+b1_amd64.deb                  2025-01-30 15:21  157K  
[   ] ott_0.34+ds.orig.tar.xz                            2025-01-04 18:35  1.1M  
[TXT] ott_0.34+ds-1.dsc                                  2025-01-04 18:35  2.1K  
[   ] ott_0.34+ds-1.debian.tar.xz                        2025-01-04 18:35  6.8K
Apache/2.4.63 (Debian) Server at mirror.freedif.org Port 443