Index of /pureos/pool/main/c/cvc5/

../
cvc5_1.0.3-1.debian.tar.xz                         14-Jun-2023 13:56    5964
cvc5_1.0.3-1.dsc                                   14-Jun-2023 13:56    2305
cvc5_1.0.3-1_amd64.deb                             14-Jun-2023 20:18    105K
cvc5_1.0.3-1_arm64.deb                             14-Jun-2023 20:18     95K
cvc5_1.0.3.orig.tar.gz                             14-Jun-2023 13:56      8M
cvc5_1.1.2-2+b1_amd64.deb                          08-Jul-2024 02:33    108K
cvc5_1.1.2-2+b1_arm64.deb                          08-Jul-2024 02:33     97K
cvc5_1.1.2-2+b2_amd64.deb                          30-Oct-2024 04:24    105K
cvc5_1.1.2-2+b2_arm64.deb                          30-Oct-2024 16:26     95K
cvc5_1.1.2-2.debian.tar.xz                         10-May-2024 02:05    7396
cvc5_1.1.2-2.dsc                                   10-May-2024 02:05    2470
cvc5_1.1.2-2_amd64.deb                             10-May-2024 11:18    108K
cvc5_1.1.2-2_arm64.deb                             10-May-2024 11:18     96K
cvc5_1.1.2.orig.tar.gz                             10-May-2024 02:05      8M
libcvc5-1_1.0.3-1_amd64.deb                        14-Jun-2023 20:18      6M
libcvc5-1_1.0.3-1_arm64.deb                        14-Jun-2023 20:18      5M
libcvc5-1_1.1.2-2+b1_amd64.deb                     08-Jul-2024 02:33      6M
libcvc5-1_1.1.2-2+b1_arm64.deb                     08-Jul-2024 02:33      5M
libcvc5-1_1.1.2-2+b2_amd64.deb                     30-Oct-2024 04:24      6M
libcvc5-1_1.1.2-2+b2_arm64.deb                     30-Oct-2024 16:26      5M
libcvc5-1_1.1.2-2_amd64.deb                        10-May-2024 11:18      6M
libcvc5-1_1.1.2-2_arm64.deb                        10-May-2024 11:18      5M
libcvc5-dev_1.0.3-1_amd64.deb                      14-Jun-2023 20:18     57K
libcvc5-dev_1.0.3-1_arm64.deb                      14-Jun-2023 20:18     57K
libcvc5-dev_1.1.2-2+b1_amd64.deb                   08-Jul-2024 02:33     91K
libcvc5-dev_1.1.2-2+b1_arm64.deb                   08-Jul-2024 02:33     91K
libcvc5-dev_1.1.2-2+b2_amd64.deb                   30-Oct-2024 04:24     91K
libcvc5-dev_1.1.2-2+b2_arm64.deb                   30-Oct-2024 16:26     91K
libcvc5-dev_1.1.2-2_amd64.deb                      10-May-2024 11:18     91K
libcvc5-dev_1.1.2-2_arm64.deb                      10-May-2024 11:18     91K
libcvc5parser1_1.0.3-1_amd64.deb                   14-Jun-2023 20:18    300K
libcvc5parser1_1.0.3-1_arm64.deb                   14-Jun-2023 20:18    267K
libcvc5parser1_1.1.2-2+b1_amd64.deb                08-Jul-2024 02:33    230K
libcvc5parser1_1.1.2-2+b1_arm64.deb                08-Jul-2024 02:33    201K
libcvc5parser1_1.1.2-2+b2_amd64.deb                30-Oct-2024 04:24    231K
libcvc5parser1_1.1.2-2+b2_arm64.deb                30-Oct-2024 16:26    202K
libcvc5parser1_1.1.2-2_amd64.deb                   10-May-2024 11:18    229K
libcvc5parser1_1.1.2-2_arm64.deb                   10-May-2024 11:18    201K
python3-cvc5_1.1.2-2+b1_amd64.deb                  08-Jul-2024 02:33    328K
python3-cvc5_1.1.2-2+b1_arm64.deb                  08-Jul-2024 02:33    289K
python3-cvc5_1.1.2-2+b2_amd64.deb                  30-Oct-2024 04:24    331K
python3-cvc5_1.1.2-2+b2_arm64.deb                  30-Oct-2024 16:26    291K
python3-cvc5_1.1.2-2_amd64.deb                     10-May-2024 11:18    321K
python3-cvc5_1.1.2-2_arm64.deb                     10-May-2024 11:18    291K