Index of /debian/pool/main/c/cvc5/


../
cvc5_1.0.3-1.debian.tar.xz                         20-Dec-2022 03:26                5964
cvc5_1.0.3-1.dsc                                   20-Dec-2022 03:26                2305
cvc5_1.0.3-1_amd64.deb                             20-Dec-2022 05:55              107900
cvc5_1.0.3-1_arm64.deb                             20-Dec-2022 05:29               97488
cvc5_1.0.3-1_ppc64el.deb                           20-Dec-2022 05:45              105020
cvc5_1.0.3-1_s390x.deb                             20-Dec-2022 12:13               97308
cvc5_1.0.3.orig.tar.gz                             20-Dec-2022 03:26             8335175
cvc5_1.1.1-1.debian.tar.xz                         12-Feb-2024 03:02                6944
cvc5_1.1.1-1.dsc                                   12-Feb-2024 03:02                2470
cvc5_1.1.1-1_amd64.deb                             12-Feb-2024 03:53              109188
cvc5_1.1.1-1_arm64.deb                             12-Feb-2024 04:34               96368
cvc5_1.1.1-1_ppc64el.deb                           12-Feb-2024 03:53              102996
cvc5_1.1.1-1_riscv64.deb                           12-Feb-2024 10:43              101108
cvc5_1.1.1-1_s390x.deb                             12-Feb-2024 03:58              105964
cvc5_1.1.1.orig.tar.gz                             12-Feb-2024 03:02             8509343
cvc5_1.1.2-1.debian.tar.xz                         03-Mar-2024 02:53                6472
cvc5_1.1.2-1.dsc                                   03-Mar-2024 02:53                2470
cvc5_1.1.2-1_amd64.deb                             03-Mar-2024 04:04              111104
cvc5_1.1.2-1_arm64.deb                             03-Mar-2024 03:54               98604
cvc5_1.1.2-1_i386.deb                              03-Mar-2024 03:54              113556
cvc5_1.1.2-1_ppc64el.deb                           03-Mar-2024 03:54              104380
cvc5_1.1.2-1_riscv64.deb                           03-Mar-2024 10:45              102712
cvc5_1.1.2-1_s390x.deb                             03-Mar-2024 03:59              108028
cvc5_1.1.2.orig.tar.gz                             03-Mar-2024 02:53             8581968
libcvc5-1_1.0.3-1_amd64.deb                        20-Dec-2022 05:55             5841260
libcvc5-1_1.0.3-1_arm64.deb                        20-Dec-2022 05:29             4944548
libcvc5-1_1.0.3-1_ppc64el.deb                      20-Dec-2022 05:45             5588964
libcvc5-1_1.0.3-1_s390x.deb                        20-Dec-2022 12:13             5099564
libcvc5-1_1.1.1-1_amd64.deb                        12-Feb-2024 03:53             6295236
libcvc5-1_1.1.1-1_arm64.deb                        12-Feb-2024 04:34             5352344
libcvc5-1_1.1.1-1_ppc64el.deb                      12-Feb-2024 03:53             5988920
libcvc5-1_1.1.1-1_riscv64.deb                      12-Feb-2024 10:43             6335340
libcvc5-1_1.1.1-1_s390x.deb                        12-Feb-2024 03:58             6415072
libcvc5-1_1.1.2-1_amd64.deb                        03-Mar-2024 04:04             6378712
libcvc5-1_1.1.2-1_arm64.deb                        03-Mar-2024 03:54             5423488
libcvc5-1_1.1.2-1_i386.deb                         03-Mar-2024 03:54             7005168
libcvc5-1_1.1.2-1_ppc64el.deb                      03-Mar-2024 03:54             6067900
libcvc5-1_1.1.2-1_riscv64.deb                      03-Mar-2024 10:45             6414952
libcvc5-1_1.1.2-1_s390x.deb                        03-Mar-2024 03:59             6500500
libcvc5-dev_1.0.3-1_amd64.deb                      20-Dec-2022 05:55               58584
libcvc5-dev_1.0.3-1_arm64.deb                      20-Dec-2022 05:29               58576
libcvc5-dev_1.0.3-1_ppc64el.deb                    20-Dec-2022 05:45               58600
libcvc5-dev_1.0.3-1_s390x.deb                      20-Dec-2022 12:13               58580
libcvc5-dev_1.1.1-1_amd64.deb                      12-Feb-2024 03:53               79640
libcvc5-dev_1.1.1-1_arm64.deb                      12-Feb-2024 04:34               79636
libcvc5-dev_1.1.1-1_ppc64el.deb                    12-Feb-2024 03:53               79640
libcvc5-dev_1.1.1-1_riscv64.deb                    12-Feb-2024 10:43               79640
libcvc5-dev_1.1.1-1_s390x.deb                      12-Feb-2024 03:58               79632
libcvc5-dev_1.1.2-1_amd64.deb                      03-Mar-2024 04:04               92776
libcvc5-dev_1.1.2-1_arm64.deb                      03-Mar-2024 03:54               92784
libcvc5-dev_1.1.2-1_i386.deb                       03-Mar-2024 03:54               92780
libcvc5-dev_1.1.2-1_ppc64el.deb                    03-Mar-2024 03:54               92784
libcvc5-dev_1.1.2-1_riscv64.deb                    03-Mar-2024 10:45               92784
libcvc5-dev_1.1.2-1_s390x.deb                      03-Mar-2024 03:59               92780
libcvc5parser1_1.0.3-1_amd64.deb                   20-Dec-2022 05:55              306872
libcvc5parser1_1.0.3-1_arm64.deb                   20-Dec-2022 05:29              273148
libcvc5parser1_1.0.3-1_ppc64el.deb                 20-Dec-2022 05:45              304436
libcvc5parser1_1.0.3-1_s390x.deb                   20-Dec-2022 12:13              271212
libcvc5parser1_1.1.1-1_amd64.deb                   12-Feb-2024 03:53              231856
libcvc5parser1_1.1.1-1_arm64.deb                   12-Feb-2024 04:34              203860
libcvc5parser1_1.1.1-1_ppc64el.deb                 12-Feb-2024 03:53              228676
libcvc5parser1_1.1.1-1_riscv64.deb                 12-Feb-2024 10:43              221456
libcvc5parser1_1.1.1-1_s390x.deb                   12-Feb-2024 03:58              225596
libcvc5parser1_1.1.2-1_amd64.deb                   03-Mar-2024 04:04              234900
libcvc5parser1_1.1.2-1_arm64.deb                   03-Mar-2024 03:54              206572
libcvc5parser1_1.1.2-1_i386.deb                    03-Mar-2024 03:54              254000
libcvc5parser1_1.1.2-1_ppc64el.deb                 03-Mar-2024 03:54              230996
libcvc5parser1_1.1.2-1_riscv64.deb                 03-Mar-2024 10:45              224144
libcvc5parser1_1.1.2-1_s390x.deb                   03-Mar-2024 03:59              228224
python3-cvc5_1.1.1-1_amd64.deb                     12-Feb-2024 03:53              324272
python3-cvc5_1.1.1-1_arm64.deb                     12-Feb-2024 04:34              294016
python3-cvc5_1.1.1-1_ppc64el.deb                   12-Feb-2024 03:53              296768
python3-cvc5_1.1.1-1_riscv64.deb                   12-Feb-2024 10:43              318184
python3-cvc5_1.1.1-1_s390x.deb                     12-Feb-2024 03:58              321164
python3-cvc5_1.1.2-1_amd64.deb                     03-Mar-2024 04:04              328384
python3-cvc5_1.1.2-1_arm64.deb                     03-Mar-2024 03:54              297408
python3-cvc5_1.1.2-1_i386.deb                      03-Mar-2024 03:54              314868
python3-cvc5_1.1.2-1_ppc64el.deb                   03-Mar-2024 03:54              301980
python3-cvc5_1.1.2-1_riscv64.deb                   03-Mar-2024 10:45              321912
python3-cvc5_1.1.2-1_s390x.deb                     03-Mar-2024 03:59              323328