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

../
cvc5_1.0.3-1.debian.tar.xz                         20-Apr-2023 12:23                5964
cvc5_1.0.3-1.dsc                                   20-Apr-2023 12:23                2305
cvc5_1.0.3-1_amd64.deb                             20-Apr-2023 12:23              107900
cvc5_1.0.3.orig.tar.gz                             20-Apr-2023 12:23             8335175
cvc5_1.1.2-2+b3_amd64.deb                          06-Aug-2025 12:27              109176
cvc5_1.1.2-2+b3_i386.deb                           06-Aug-2025 12:27              111940
cvc5_1.1.2-2.debian.tar.xz                         06-Aug-2025 12:27                7396
cvc5_1.1.2-2.dsc                                   06-Aug-2025 12:27                2470
cvc5_1.1.2.orig.tar.gz                             06-Aug-2025 12:27             8581968
libcvc5-1_1.0.3-1_amd64.deb                        20-Apr-2023 12:23             5841260
libcvc5-1_1.1.2-2+b3_amd64.deb                     06-Aug-2025 12:27             6682620
libcvc5-1_1.1.2-2+b3_i386.deb                      06-Aug-2025 12:27             7251204
libcvc5-dev_1.0.3-1_amd64.deb                      20-Apr-2023 12:23               58584
libcvc5-dev_1.1.2-2+b3_amd64.deb                   06-Aug-2025 12:27               93296
libcvc5-dev_1.1.2-2+b3_i386.deb                    06-Aug-2025 12:27               93252
libcvc5parser1_1.0.3-1_amd64.deb                   20-Apr-2023 12:23              306872
libcvc5parser1_1.1.2-2+b3_amd64.deb                06-Aug-2025 12:27              236752
libcvc5parser1_1.1.2-2+b3_i386.deb                 06-Aug-2025 12:27              257908
python3-cvc5_1.1.2-2+b3_amd64.deb                  06-Aug-2025 12:27              339080
python3-cvc5_1.1.2-2+b3_i386.deb                   06-Aug-2025 12:27              325448