Index of /repos/pool/main/c/cvc5/

../
cvc5_1.0.3-1.debian.tar.xz                         27-Sep-2025 09:49    5964
cvc5_1.0.3-1.dsc                                   27-Sep-2025 09:49    2305
cvc5_1.0.3-1_amd64.deb                             27-Sep-2025 09:49    105K
cvc5_1.0.3.orig.tar.gz                             27-Sep-2025 09:49      8M
cvc5_1.1.2-2+b3_amd64.deb                          26-Sep-2025 20:27    107K
cvc5_1.1.2-2+b3_i386.deb                           26-Sep-2025 20:27    109K
cvc5_1.1.2-2.debian.tar.xz                         26-Sep-2025 20:27    7396
cvc5_1.1.2-2.dsc                                   26-Sep-2025 20:27    2470
cvc5_1.1.2.orig.tar.gz                             26-Sep-2025 20:27      8M
libcvc5-1_1.0.3-1_amd64.deb                        27-Sep-2025 11:37      6M
libcvc5-1_1.1.2-2+b3_amd64.deb                     26-Sep-2025 23:45      6M
libcvc5-1_1.1.2-2+b3_i386.deb                      26-Sep-2025 23:45      7M
libcvc5-dev_1.0.3-1_amd64.deb                      27-Sep-2025 11:37     57K
libcvc5-dev_1.1.2-2+b3_amd64.deb                   26-Sep-2025 23:45     91K
libcvc5-dev_1.1.2-2+b3_i386.deb                    26-Sep-2025 23:45     91K
libcvc5parser1_1.0.3-1_amd64.deb                   27-Sep-2025 11:37    300K
libcvc5parser1_1.1.2-2+b3_amd64.deb                26-Sep-2025 23:45    231K
libcvc5parser1_1.1.2-2+b3_i386.deb                 26-Sep-2025 23:45    252K
python3-cvc5_1.1.2-2+b3_amd64.deb                  27-Sep-2025 04:59    331K
python3-cvc5_1.1.2-2+b3_i386.deb                   27-Sep-2025 04:59    318K