Index of /mirrors/debian/pool/main/c/cvc5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]cvc5_1.0.3-1.debian.tar.xz2022-12-20 04:26 5.8K 
[TXT]cvc5_1.0.3-1.dsc2022-12-20 04:26 2.3K 
[   ]cvc5_1.0.3-1_amd64.deb2022-12-20 06:55 105K 
[   ]cvc5_1.0.3-1_arm64.deb2022-12-20 06:29 95K 
[   ]cvc5_1.0.3.orig.tar.gz2022-12-20 04:26 7.9M 
[   ]cvc5_1.0.5-3.debian.tar.xz2023-06-23 22:03 6.9K 
[TXT]cvc5_1.0.5-3.dsc2023-06-23 22:03 2.4K 
[   ]cvc5_1.0.5-3_amd64.deb2023-06-23 23:29 98K 
[   ]cvc5_1.0.5-3_arm64.deb2023-06-24 00:12 86K 
[   ]cvc5_1.0.5-3_riscv64.deb2023-09-07 08:09 92K 
[   ]cvc5_1.0.5.orig.tar.gz2023-06-20 19:12 8.0M 
[   ]libcvc5-1_1.0.3-1_amd64.deb2022-12-20 06:55 5.6M 
[   ]libcvc5-1_1.0.3-1_arm64.deb2022-12-20 06:29 4.7M 
[   ]libcvc5-1_1.0.5-3_amd64.deb2023-06-23 23:29 5.6M 
[   ]libcvc5-1_1.0.5-3_arm64.deb2023-06-24 00:12 4.8M 
[   ]libcvc5-1_1.0.5-3_riscv64.deb2023-09-07 08:09 5.9M 
[   ]libcvc5-dev_1.0.3-1_amd64.deb2022-12-20 06:55 57K 
[   ]libcvc5-dev_1.0.3-1_arm64.deb2022-12-20 06:29 57K 
[   ]libcvc5-dev_1.0.5-3_amd64.deb2023-06-23 23:29 59K 
[   ]libcvc5-dev_1.0.5-3_arm64.deb2023-06-24 00:12 59K 
[   ]libcvc5-dev_1.0.5-3_riscv64.deb2023-09-07 08:09 59K 
[   ]libcvc5parser1_1.0.3-1_amd64.deb2022-12-20 06:55 300K 
[   ]libcvc5parser1_1.0.3-1_arm64.deb2022-12-20 06:29 267K 
[   ]libcvc5parser1_1.0.5-3_amd64.deb2023-06-23 23:29 359K 
[   ]libcvc5parser1_1.0.5-3_arm64.deb2023-06-24 00:12 312K 
[   ]libcvc5parser1_1.0.5-3_riscv64.deb2023-09-07 08:09 349K 
[   ]python3-cvc5_1.0.5-3_amd64.deb2023-06-23 23:29 222K 
[   ]python3-cvc5_1.0.5-3_arm64.deb2023-06-24 00:12 195K 
[   ]python3-cvc5_1.0.5-3_riscv64.deb2023-09-07 08:09 217K 

Apache/2.4.57 (Debian) Server at ftp.zcu.cz Port 443