Index of /pool/universe/c/cvc5

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]python3-cvc5_1.1.2-3_amd64v3.deb2025-10-28 01:28 332K
[ ]python3-cvc5_1.1.2-3_amd64.deb2025-10-28 01:16 323K
[ ]python3-cvc5_1.1.2-2build1_amd64.deb2025-01-03 22:43 350K
[ ]python3-cvc5_1.1.2-1build1_amd64.deb2024-04-01 05:46 339K
[ ]libcvc5parser1_1.1.2-3_amd64v3.deb2025-10-28 01:28 212K
[ ]libcvc5parser1_1.1.2-3_amd64.deb2025-10-28 01:16 208K
[ ]libcvc5parser1_1.1.2-2build1_amd64.deb2025-01-03 22:43 206K
[ ]libcvc5parser1_1.1.2-1build1_amd64.deb2024-04-01 05:46 205K
[ ]libcvc5-dev_1.1.2-3_amd64v3.deb2025-10-28 01:28 82K
[ ]libcvc5-dev_1.1.2-3_amd64.deb2025-10-28 01:16 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
[ ]libcvc5-1_1.1.2-3_amd64v3.deb2025-10-28 01:28 5.2M
[ ]libcvc5-1_1.1.2-3_amd64.deb2025-10-28 01:16 5.1M
[ ]libcvc5-1_1.1.2-2build1_amd64.deb2025-01-03 22:43 5.0M
[ ]libcvc5-1_1.1.2-1build1_amd64.deb2024-04-01 05:46 4.8M
[ ]cvc5_1.1.2.orig.tar.gz2024-03-03 12:23 8.2M
[ ]cvc5_1.1.2-3_amd64v3.deb2025-10-28 01:28 94K
[ ]cvc5_1.1.2-3_amd64.deb2025-10-28 01:16 92K
[TXT]cvc5_1.1.2-3.dsc2025-10-28 01:01 2.4K
[ ]cvc5_1.1.2-3.debian.tar.xz2025-10-28 01:01 7.2K
[ ]cvc5_1.1.2-2build1_amd64.deb2025-01-03 22:43 90K
[TXT]cvc5_1.1.2-2build1.dsc2025-01-03 22:43 2.4K
[ ]cvc5_1.1.2-2build1.debian.tar.xz2025-01-03 22:43 7.3K
[ ]cvc5_1.1.2-1build1_amd64.deb2024-04-01 05:46 93K
[TXT]cvc5_1.1.2-1build1.dsc2024-03-31 20:36 2.5K
[ ]cvc5_1.1.2-1build1.debian.tar.xz2024-03-31 20:36 6.4K