[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc5_1.0.3-1.debian.tar.xz2022-12-20 04:26 5.8KTAR compressed archive
[TXT]cvc5_1.0.3-1.dsc2022-12-20 04:26 2.3K 
[ ]cvc5_1.0.3-1_amd64.deb2022-12-20 06:55 105KDebian Software Package
[ ]cvc5_1.0.3-1_arm64.deb2022-12-20 06:29 95KDebian Software Package
[ ]cvc5_1.0.3.orig.tar.gz2022-12-20 04:26 7.9MGZIP compressed TAR archive
[ ]cvc5_1.1.2-2+b3_amd64.deb2025-01-09 12:11 107KDebian Software Package
[ ]cvc5_1.1.2-2+b3_arm64.deb2025-01-09 12:31 95KDebian Software Package
[ ]cvc5_1.1.2-2+b3_armhf.deb2025-01-09 13:32 99KDebian Software Package
[ ]cvc5_1.1.2-2+b3_riscv64.deb2025-01-12 21:01 99KDebian Software Package
[ ]cvc5_1.1.2-2.debian.tar.xz2024-03-19 23:22 7.2KTAR compressed archive
[TXT]cvc5_1.1.2-2.dsc2024-03-19 23:22 2.4K 
[ ]cvc5_1.1.2.orig.tar.gz2024-03-03 03:53 8.2MGZIP compressed TAR archive
[ ]libcvc5-1_1.0.3-1_amd64.deb2022-12-20 06:55 5.6MDebian Software Package
[ ]libcvc5-1_1.0.3-1_arm64.deb2022-12-20 06:29 4.7MDebian Software Package
[ ]libcvc5-1_1.1.2-2+b3_amd64.deb2025-01-09 12:11 6.4MDebian Software Package
[ ]libcvc5-1_1.1.2-2+b3_arm64.deb2025-01-09 12:31 5.4MDebian Software Package
[ ]libcvc5-1_1.1.2-2+b3_armhf.deb2025-01-09 13:32 5.4MDebian Software Package
[ ]libcvc5-1_1.1.2-2+b3_riscv64.deb2025-01-12 21:01 6.4MDebian Software Package
[ ]libcvc5-dev_1.0.3-1_amd64.deb2022-12-20 06:55 57KDebian Software Package
[ ]libcvc5-dev_1.0.3-1_arm64.deb2022-12-20 06:29 57KDebian Software Package
[ ]libcvc5-dev_1.1.2-2+b3_amd64.deb2025-01-09 12:11 91KDebian Software Package
[ ]libcvc5-dev_1.1.2-2+b3_arm64.deb2025-01-09 12:31 91KDebian Software Package
[ ]libcvc5-dev_1.1.2-2+b3_armhf.deb2025-01-09 13:32 91KDebian Software Package
[ ]libcvc5-dev_1.1.2-2+b3_riscv64.deb2025-01-12 21:01 91KDebian Software Package
[ ]libcvc5parser1_1.0.3-1_amd64.deb2022-12-20 06:55 300KDebian Software Package
[ ]libcvc5parser1_1.0.3-1_arm64.deb2022-12-20 06:29 267KDebian Software Package
[ ]libcvc5parser1_1.1.2-2+b3_amd64.deb2025-01-09 12:11 231KDebian Software Package
[ ]libcvc5parser1_1.1.2-2+b3_arm64.deb2025-01-09 12:31 203KDebian Software Package
[ ]libcvc5parser1_1.1.2-2+b3_armhf.deb2025-01-09 13:32 202KDebian Software Package
[ ]libcvc5parser1_1.1.2-2+b3_riscv64.deb2025-01-12 21:01 222KDebian Software Package
[ ]python3-cvc5_1.1.2-2+b3_amd64.deb2025-01-09 12:11 331KDebian Software Package
[ ]python3-cvc5_1.1.2-2+b3_arm64.deb2025-01-09 12:31 291KDebian Software Package
[ ]python3-cvc5_1.1.2-2+b3_armhf.deb2025-01-09 13:32 309KDebian Software Package
[ ]python3-cvc5_1.1.2-2+b3_riscv64.deb2025-01-12 21:01 320KDebian Software Package