Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

Index of /raspbian/raspbian/pool/main/o/ott

File Last Modified Size
📂 Parent Directory
📄 libcoq-ott_0.32+ds-3+b2_armhf.deb2023-05-21 01:16:59159.69 KB
📄 ott-tools_0.32+ds-3+b2_armhf.deb2023-05-21 01:16:591.12 MB
📄 ott_0.32+ds-3.debian.tar.xz2023-01-25 08:58:286.79 KB
📄 ott_0.32+ds-3.dsc2023-01-25 08:58:282.06 KB
📄 ott_0.32+ds.orig.tar.xz2022-07-10 16:36:041.09 MB
📄 ott_0.34+ds-1.debian.tar.xz2025-01-04 10:35:486.8 KB
📄 ott_0.34+ds-1.dsc2025-01-04 10:35:482.07 KB
📄 ott_0.34+ds.orig.tar.xz2025-01-04 10:35:481.09 MB