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

../
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.1.2-2+b3_amd64.deb                          09-Jan-2025 22:44              109176
cvc5_1.1.2-2+b3_arm64.deb                          09-Jan-2025 22:44               97292
cvc5_1.1.2-2+b3_armhf.deb                          09-Jan-2025 22:44              101064
cvc5_1.3.2-1_amd64.deb                             24-Dec-2025 16:43              143700
cvc5_1.3.2-1_arm64.deb                             24-Dec-2025 16:43              128672
cvc5_1.3.2-1_armhf.deb                             24-Dec-2025 16:43              132096
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.1.2-2+b3_amd64.deb                     09-Jan-2025 22:44             6682620
libcvc5-1_1.1.2-2+b3_arm64.deb                     09-Jan-2025 22:44             5708748
libcvc5-1_1.1.2-2+b3_armhf.deb                     09-Jan-2025 22:44             5674364
libcvc5-1_1.3.2-1_amd64.deb                        24-Dec-2025 16:43             7725568
libcvc5-1_1.3.2-1_arm64.deb                        24-Dec-2025 16:43             6623380
libcvc5-1_1.3.2-1_armhf.deb                        24-Dec-2025 16:43             6533108
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.1.2-2+b3_amd64.deb                   09-Jan-2025 22:44               93296
libcvc5-dev_1.1.2-2+b3_arm64.deb                   09-Jan-2025 22:44               93260
libcvc5-dev_1.1.2-2+b3_armhf.deb                   09-Jan-2025 22:44               93256
libcvc5-dev_1.3.2-1_amd64.deb                      24-Dec-2025 16:43              124012
libcvc5-dev_1.3.2-1_arm64.deb                      24-Dec-2025 16:43              124008
libcvc5-dev_1.3.2-1_armhf.deb                      24-Dec-2025 16:43              124012
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.1.2-2+b3_amd64.deb                09-Jan-2025 22:44              236752
libcvc5parser1_1.1.2-2+b3_arm64.deb                09-Jan-2025 22:44              207592
libcvc5parser1_1.1.2-2+b3_armhf.deb                09-Jan-2025 22:44              207176
libcvc5parser1_1.3.2-1_amd64.deb                   24-Dec-2025 16:43              273180
libcvc5parser1_1.3.2-1_arm64.deb                   24-Dec-2025 16:43              237412
libcvc5parser1_1.3.2-1_armhf.deb                   24-Dec-2025 16:43              239136
python3-cvc5_1.1.2-2+b3_amd64.deb                  09-Jan-2025 22:44              339080
python3-cvc5_1.1.2-2+b3_arm64.deb                  09-Jan-2025 22:44              298164
python3-cvc5_1.1.2-2+b3_armhf.deb                  09-Jan-2025 22:44              316776
python3-cvc5_1.3.2-1_amd64.deb                     24-Dec-2025 16:43              385008
python3-cvc5_1.3.2-1_arm64.deb                     24-Dec-2025 16:43              322688
python3-cvc5_1.3.2-1_armhf.deb                     24-Dec-2025 16:43              352148