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.33+ds-4+b3_riscv64.deb2024-Nov-20 18:17:29157.3Kapplication/octet-stream
libcoq-ott_0.33+ds-4+b4_amd64.deb2024-Nov-20 17:40:55157.4Kapplication/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.33+ds-4+b3_riscv64.deb2024-Nov-20 18:17:291.4Mapplication/octet-stream
ott-tools_0.33+ds-4+b4_amd64.deb2024-Nov-20 17:40:551.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.33+ds-4.debian.tar.xz2024-Aug-03 14:52:127.9Kapplication/octet-stream
ott_0.33+ds-4.dsc2024-Aug-03 14:52:121.8Kapplication/octet-stream
ott_0.33+ds.orig.tar.xz2023-Jun-12 22:34:021.0Mapplication/octet-stream
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences