Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

Index of /raspbian/raspbian/pool/main/c/cvc5

File Last Modified Size
📂 Parent Directory
📄 cvc5_1.0.3-1.debian.tar.xz2022-12-20 03:26:075.82 KB
📄 cvc5_1.0.3-1.dsc2022-12-20 03:26:072.25 KB
📄 cvc5_1.0.3.orig.tar.gz2022-12-20 03:26:077.95 MB
📄 cvc5_1.1.2-2+b2_armhf.deb2025-01-29 10:08:0296.01 KB
📄 cvc5_1.1.2-2.debian.tar.xz2024-03-19 22:22:507.22 KB
📄 cvc5_1.1.2-2.dsc2024-03-19 22:22:502.41 KB
📄 cvc5_1.1.2.orig.tar.gz2024-03-03 02:53:308.18 MB
📄 libcvc5-1_1.1.2-2+b2_armhf.deb2025-01-29 10:08:025.51 MB
📄 libcvc5-dev_1.1.2-2+b2_armhf.deb2025-01-29 10:08:0291.07 KB
📄 libcvc5parser1_1.1.2-2+b2_armhf.deb2025-01-29 10:08:02196.3 KB
📄 python3-cvc5_1.1.2-2+b2_armhf.deb2025-01-29 10:08:02305.34 KB