Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

Index of /raspbian/raspbian/pool/main/c/cadical

File Last Modified Size
📂 Parent Directory
📄 cadical_1.5.3-2.debian.tar.xz2022-11-14 23:53:472.91 KB
📄 cadical_1.5.3-2.dsc2022-11-14 23:53:471.95 KB
📄 cadical_1.5.3-2_armhf.deb2022-11-20 10:08:02263.47 KB
📄 cadical_1.5.3.orig.tar.gz2022-11-01 20:34:21582.4 KB
📄 cadical_1.7.4-1.debian.tar.xz2024-02-11 04:22:203.87 KB
📄 cadical_1.7.4-1.dsc2024-02-11 04:22:201.95 KB
📄 cadical_1.7.4-1_armhf.deb2024-02-16 10:08:02320.87 KB
📄 cadical_1.7.4.orig.tar.gz2024-02-11 04:22:20632.65 KB
📄 libcadical-dev_1.5.3-2_armhf.deb2022-11-20 10:08:02268.37 KB
📄 libcadical-dev_1.7.4-1_armhf.deb2024-02-16 10:08:02325.63 KB