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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ott_0.33+ds.orig.tar.xz 11403682023-Jun-12 22:34
ott_0.33+ds-3.dsc 21092024-Apr-26 16:01
ott_0.33+ds-3.debian.tar.xz 80842024-Apr-26 16:01
ott-tools_0.33+ds-3+b1_arm64.deb 14881362024-Jun-15 12:59
libcoq-ott_0.33+ds-3+b1_arm64.deb 1672922024-Jun-15 12:59
libcoq-ott_0.33+ds-3+b1_i386.deb 1672002024-Jun-15 13:04
ott-tools_0.33+ds-3+b1_i386.deb 12508762024-Jun-15 13:04
libcoq-ott_0.33+ds-3+b1_amd64.deb 1672722024-Jun-15 13:05
ott-tools_0.33+ds-3+b1_amd64.deb 13434522024-Jun-15 13:05
ott-tools_0.33+ds-3+b1_armhf.deb 12876402024-Jun-15 13:15
libcoq-ott_0.33+ds-3+b1_armhf.deb 1671482024-Jun-15 13:15
ott_0.33+ds-4.dsc 18742024-Aug-03 14:52
ott_0.33+ds-4.debian.tar.xz 81562024-Aug-03 14:52
libcoq-ott_0.33+ds-4+b2_amd64.deb 1674762024-Aug-21 05:54
ott-tools_0.33+ds-4+b2_amd64.deb 14829082024-Aug-21 05:54
libcoq-ott_0.33+ds-4+b2_arm64.deb 1674882024-Aug-21 05:59
ott-tools_0.33+ds-4+b2_arm64.deb 16424242024-Aug-21 05:59