[ICO]NameLast modifiedSize
[parent]Parent Directory  -
[text]cvc5_1.1.2-3.dsc2025-10-28 07:01 2.4K
[text]cvc5_1.1.2-2build1.dsc2025-01-04 04:43 2.4K
[text]cvc5_1.1.2-1build1.dsc2024-04-01 01:36 2.5K
[archive]cvc5_1.1.2-1build1.debian.tar.xz2024-04-01 01:36 6.4K
[archive]cvc5_1.1.2-3.debian.tar.xz2025-10-28 07:01 7.2K
[archive]cvc5_1.1.2-2build1.debian.tar.xz2025-01-04 04:43 7.3K
[ ]libcvc5-dev_1.1.2-2build1_amd64.deb2025-01-04 04:43 82K
[ ]libcvc5-dev_1.1.2-1build1_amd64.deb2024-04-01 10:46 82K
[ ]libcvc5-dev_1.1.2-3_amd64.deb2025-10-28 07:16 82K
[ ]libcvc5-dev_1.1.2-3_amd64v3.deb2025-10-28 07:28 82K
[ ]cvc5_1.1.2-2build1_amd64.deb2025-01-04 04:43 90K
[ ]cvc5_1.1.2-3_amd64.deb2025-10-28 07:16 92K
[ ]cvc5_1.1.2-1build1_amd64.deb2024-04-01 10:46 93K
[ ]cvc5_1.1.2-3_amd64v3.deb2025-10-28 07:28 94K
[ ]libcvc5parser1_1.1.2-1build1_amd64.deb2024-04-01 10:46 205K
[ ]libcvc5parser1_1.1.2-2build1_amd64.deb2025-01-04 04:43 206K
[ ]libcvc5parser1_1.1.2-3_amd64.deb2025-10-28 07:16 208K
[ ]libcvc5parser1_1.1.2-3_amd64v3.deb2025-10-28 07:28 212K
[ ]python3-cvc5_1.1.2-3_amd64.deb2025-10-28 07:16 323K
[ ]python3-cvc5_1.1.2-3_amd64v3.deb2025-10-28 07:28 332K
[ ]python3-cvc5_1.1.2-1build1_amd64.deb2024-04-01 10:46 339K
[ ]python3-cvc5_1.1.2-2build1_amd64.deb2025-01-04 04:43 350K
[ ]libcvc5-1_1.1.2-1build1_amd64.deb2024-04-01 10:46 4.8M
[ ]libcvc5-1_1.1.2-2build1_amd64.deb2025-01-04 04:43 5.0M
[ ]libcvc5-1_1.1.2-3_amd64.deb2025-10-28 07:16 5.1M
[ ]libcvc5-1_1.1.2-3_amd64v3.deb2025-10-28 07:28 5.2M
[archive]cvc5_1.1.2.orig.tar.gz2024-03-03 18:23 8.2M