Index of /debian/pool/main/o/ott

Name ↑ Last modified Size
Parent Directory  -  -
libcoq-ott_0.32+ds-3+b1_amd64.deb  14-Feb-2023 06:26  160 KiB
libcoq-ott_0.32+ds-3+b1_i386.deb  14-Feb-2023 06:42  160 KiB
libcoq-ott_0.34+ds-1+b4_amd64.deb  15-Jun-2025 10:49  157 KiB
libcoq-ott_0.34+ds-1+b6_amd64.deb  12-Feb-2026 15:04  157 KiB
libcoq-ott_0.34+ds-3+b1_amd64.deb  18-Feb-2026 03:09  161 KiB
ott-tools_0.32+ds-3+b1_amd64.deb  14-Feb-2023 06:26  1.2 MiB
ott-tools_0.32+ds-3+b1_i386.deb  14-Feb-2023 06:42  1.2 MiB
ott-tools_0.34+ds-1+b4_amd64.deb  15-Jun-2025 10:49  1.4 MiB
ott-tools_0.34+ds-1+b6_amd64.deb  12-Feb-2026 15:04  1.4 MiB
ott-tools_0.34+ds-3+b1_amd64.deb  18-Feb-2026 03:09  1.4 MiB
ott_0.32+ds-3.debian.tar.xz  25-Jan-2023 08:58  6.8 KiB
ott_0.32+ds-3.dsc  25-Jan-2023 08:58  2.1 KiB
ott_0.32+ds.orig.tar.xz  10-Jul-2022 16:36  1.1 MiB
ott_0.34+ds-1.debian.tar.xz  04-Jan-2025 10:35  6.8 KiB
ott_0.34+ds-1.dsc  04-Jan-2025 10:35  2.1 KiB
ott_0.34+ds-3.debian.tar.xz  11-Nov-2025 18:20  7.0 KiB
ott_0.34+ds-3.dsc  11-Nov-2025 18:20  2.1 KiB
ott_0.34+ds.orig.tar.xz  04-Jan-2025 10:35  1.1 MiB
pub.gotlandia.net — 0 directories, 18 files