switch to basic browser
📂
📝
📟

🌲 / debian pool main c cvc5

c File Name Size T Date
-cvc5_1.1.2-2+b3_amd64.deb109176deb2025-01-09 11:11:00
-cvc5_1.1.2-2+b3_i386.deb111940deb2025-01-09 11:05:49
-cvc5_1.1.2-2.debian.tar.xz7396xz2024-03-19 22:22:50
-cvc5_1.1.2-2.dsc2470dsc2024-03-19 22:22:50
-cvc5_1.1.2.orig.tar.gz8581968gz2024-03-03 02:53:30
-libcvc5-1_1.1.2-2+b3_amd64.deb6682620deb2025-01-09 11:11:00
-libcvc5-1_1.1.2-2+b3_i386.deb7251204deb2025-01-09 11:05:49
-libcvc5-dev_1.1.2-2+b3_amd64.deb93296deb2025-01-09 11:11:00
-libcvc5-dev_1.1.2-2+b3_i386.deb93252deb2025-01-09 11:05:49
-libcvc5parser1_1.1.2-2+b3_amd64.deb236752deb2025-01-09 11:11:00
-libcvc5parser1_1.1.2-2+b3_i386.deb257908deb2025-01-09 11:05:49
-python3-cvc5_1.1.2-2+b3_amd64.deb339080deb2025-01-09 11:11:00
-python3-cvc5_1.1.2-2+b3_i386.deb325448deb2025-01-09 11:05:49

control-panel

π
nas // 945 GiB free of 1.19 TiB