Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

Index of /raspbian/raspbian/pool/main/c/coq-quickchick

File Last Modified Size
📂 Parent Directory
📄 coq-quickchick_1.6.4-3.debian.tar.xz2023-01-27 06:18:562.66 KB
📄 coq-quickchick_1.6.4-3.dsc2023-01-27 06:18:562.21 KB
📄 coq-quickchick_1.6.4.orig.tar.gz2022-08-15 06:38:36379.36 KB
📄 coq-quickchick_2.1.0-1.debian.tar.xz2025-03-18 12:33:512.84 KB
📄 coq-quickchick_2.1.0-1.dsc2025-03-18 12:33:512.23 KB
📄 coq-quickchick_2.1.0.orig.tar.gz2025-03-18 12:33:51404.83 KB
📄 libcoq-quickchick_1.6.4-3+b3_armhf.deb2023-05-22 04:08:011.5 MB
📄 quickchick_1.6.4-3+b3_armhf.deb2023-05-22 04:08:0154.32 KB