Index of /revyos/trixie32/revyos-base/pool/main/c/cvc5/

../
cvc5-dbgsym_1.1.2-2+b3_amd64.deb                   04-Jun-2025 22:31      2M
cvc5_1.1.2-2+b3_amd64.deb                          04-Jun-2025 19:05    107K
cvc5_1.1.2-2.debian.tar.xz                         15-May-2024 12:01    7396
cvc5_1.1.2-2.dsc                                   15-May-2024 12:01    2470
cvc5_1.1.2.orig.tar.gz                             15-May-2024 12:01      8M
libcvc5-1-dbgsym_1.1.2-2+b3_amd64.deb              04-Jun-2025 22:43    174M
libcvc5-1_1.1.2-2+b3_amd64.deb                     04-Jun-2025 19:20      6M
libcvc5-dev_1.1.2-2+b3_amd64.deb                   04-Jun-2025 18:18     91K
libcvc5parser1-dbgsym_1.1.2-2+b3_amd64.deb         04-Jun-2025 22:08      4M
libcvc5parser1_1.1.2-2+b3_amd64.deb                04-Jun-2025 18:52    231K
python3-cvc5-dbgsym_1.1.2-2+b3_amd64.deb           04-Jun-2025 22:36      3M
python3-cvc5_1.1.2-2+b3_amd64.deb                  04-Jun-2025 19:29    331K