Index of /ubuntu-test-rebuild-20250115-oracular-armv8dot2a/ubuntu/pool/universe/c/cvc5

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]cvc5_1.1.2-2_arm64.deb2025-02-23 00:37 85K
[ ]libcvc5-1_1.1.2-2_arm64.deb2025-02-23 00:37 4.7M
[ ]libcvc5-dev_1.1.2-2_arm64.deb2025-02-23 00:37 82K
[ ]libcvc5parser1_1.1.2-2_arm64.deb2025-02-23 00:37 194K
[ ]python3-cvc5_1.1.2-2_arm64.deb2025-02-23 00:37 330K