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-2_amd64.deb2023-Dec-22 12:12:37156.1Kapplication/octet-stream
libcoq-ott_0.33+ds-2_i386.deb2023-Dec-22 12:12:38156.0Kapplication/octet-stream
libcoq-ott_0.33+ds-3_amd64.deb2024-Apr-28 00:03:18163.0Kapplication/octet-stream
libcoq-ott_0.33+ds-3_i386.deb2024-Apr-27 19:50:07162.9Kapplication/octet-stream
libcoq-ott_0.33+ds-3_riscv64.deb2024-Apr-27 19:50:24163.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.33+ds-2_amd64.deb2023-Dec-22 12:12:371.2Mapplication/octet-stream
ott-tools_0.33+ds-2_i386.deb2023-Dec-22 12:12:381.1Mapplication/octet-stream
ott-tools_0.33+ds-3_amd64.deb2024-Apr-28 00:03:181.2Mapplication/octet-stream
ott-tools_0.33+ds-3_i386.deb2024-Apr-27 19:50:071.1Mapplication/octet-stream
ott-tools_0.33+ds-3_riscv64.deb2024-Apr-27 19:50:241.2Mapplication/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-2.debian.tar.xz2023-Dec-22 11:21:396.6Kapplication/octet-stream
ott_0.33+ds-2.dsc2023-Dec-22 11:21:392.0Kapplication/octet-stream
ott_0.33+ds-3.debian.tar.xz2024-Apr-26 16:01:387.9Kapplication/octet-stream
ott_0.33+ds-3.dsc2024-Apr-26 16:01:382.0Kapplication/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