Index of /ubuntu/pool/universe/c/cvc5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libcvc5-dev_1.1.2-2build1_arm64.deb2025-01-03 22:44 82K 
[ ]libcvc5-dev_1.1.2-2build1_amd64.deb2025-01-03 22:43 82K 
[ ]libcvc5-dev_1.1.2-1build1_amd64.deb2024-04-01 05:46 82K 
[ ]cvc5_1.1.2-2build1_arm64.deb2025-01-03 22:44 85K 
[ ]cvc5_1.1.2-2build1_amd64.deb2025-01-03 22:43 90K 
[ ]cvc5_1.1.2-1build1_amd64.deb2024-04-01 05:46 93K 
[ ]libcvc5-dev_1.3.2-1build1_arm64.deb2026-01-23 18:17 109K 
[ ]libcvc5-dev_1.3.2-1build1_amd64.deb2026-01-23 18:16 109K 
[ ]cvc5_1.3.2-1build1_arm64.deb2026-01-23 18:17 112K 
[ ]cvc5_1.3.2-1build1_amd64.deb2026-01-23 18:16 119K 
[ ]libcvc5parser1_1.1.2-2build1_arm64.deb2025-01-03 22:44 195K 
[ ]libcvc5parser1_1.1.2-1build1_amd64.deb2024-04-01 05:46 205K 
[ ]libcvc5parser1_1.1.2-2build1_amd64.deb2025-01-03 22:43 206K 
[ ]libcvc5parser1_1.3.2-1build1_arm64.deb2026-01-23 18:17 214K 
[ ]libcvc5parser1_1.3.2-1build1_amd64.deb2026-01-23 18:16 229K 
[ ]python3-cvc5_1.1.2-2build1_arm64.deb2025-01-03 22:44 331K 
[ ]python3-cvc5_1.1.2-1build1_amd64.deb2024-04-01 05:46 339K 
[ ]python3-cvc5_1.3.2-1build1_arm64.deb2026-01-23 18:17 348K 
[ ]python3-cvc5_1.1.2-2build1_amd64.deb2025-01-03 22:43 350K 
[ ]python3-cvc5_1.3.2-1build1_amd64.deb2026-01-23 18:16 382K 
[ ]libcvc5-1_1.1.2-2build1_arm64.deb2025-01-03 22:44 4.6M 
[ ]libcvc5-1_1.1.2-1build1_amd64.deb2024-04-01 05:46 4.8M 
[ ]libcvc5-1_1.1.2-2build1_amd64.deb2025-01-03 22:43 5.0M 
[ ]libcvc5-1_1.3.2-1build1_arm64.deb2026-01-23 18:17 5.5M 
[ ]libcvc5-1_1.3.2-1build1_amd64.deb2026-01-23 18:16 5.9M 
Apache/2.4.58 (Ubuntu) Server at mirror.geekonweb.fr Port 80