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

NameLast ModifiedSizeType
../ -  Directory
libcoq-ott_0.32+ds-3+b1_amd64.deb2023-Feb-14 07:26:42159.8Kapplication/octet-stream
libcoq-ott_0.32+ds-3+b1_i386.deb2023-Feb-14 07:42:11159.7Kapplication/octet-stream
libcoq-ott_0.34+ds-1_amd64.deb2025-Jan-04 12:02:27157.0Kapplication/octet-stream
libcoq-ott_0.34+ds-1_riscv64.deb2025-Jan-04 13:28:37157.0Kapplication/octet-stream
ott-tools_0.32+ds-3+b1_amd64.deb2023-Feb-14 07:26:421.2Mapplication/octet-stream
ott-tools_0.32+ds-3+b1_i386.deb2023-Feb-14 07:42:111.1Mapplication/octet-stream
ott-tools_0.34+ds-1_amd64.deb2025-Jan-04 12:02:271.4Mapplication/octet-stream
ott-tools_0.34+ds-1_riscv64.deb2025-Jan-04 13:28:371.4Mapplication/octet-stream
ott_0.32+ds-3.debian.tar.xz2023-Jan-25 09:58:286.8Kapplication/octet-stream
ott_0.32+ds-3.dsc2023-Jan-25 09:58:282.0Kapplication/octet-stream
ott_0.32+ds.orig.tar.xz2022-Jul-10 18:36:041.0Mapplication/octet-stream
ott_0.34+ds-1.debian.tar.xz2025-Jan-04 11:35:486.8Kapplication/octet-stream
ott_0.34+ds-1.dsc2025-Jan-04 11:35:482.0Kapplication/octet-stream
ott_0.34+ds.orig.tar.xz2025-Jan-04 11:35:481.0Mapplication/octet-stream
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences