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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]python3-cvc5_1.1.2-1build1_amd64.deb2025-08-01 23:02 339K 
[   ]libcvc5parser1_1.1.2-1build1_amd64.deb2025-08-01 23:02 205K 
[   ]libcvc5-dev_1.1.2-1build1_amd64.deb2025-08-01 23:02 82K 
[   ]libcvc5-1_1.1.2-1build1_amd64.deb2025-08-01 23:02 4.8M 
[   ]cvc5_1.1.2-1build1_amd64.deb2025-08-01 23:02 93K 

Apache/2.4.58 (Ubuntu) Server at mirror.alexanderwagner.xyz Port 443