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

../
cvc5_1.0.3-1_amd64.deb                             20-Dec-2022 05:55              107900
cvc5_1.1.2-2+b1_amd64.deb                          26-Jun-2024 09:01              111012
cvc5_1.1.2-2+b1_i386.deb                           26-Jun-2024 09:01              113668
libcvc5-1_1.0.3-1_amd64.deb                        20-Dec-2022 05:55             5841260
libcvc5-1_1.1.2-2+b1_amd64.deb                     26-Jun-2024 09:01             6412324
libcvc5-1_1.1.2-2+b1_i386.deb                      26-Jun-2024 09:01             7028072
libcvc5-dev_1.0.3-1_amd64.deb                      20-Dec-2022 05:55               58584
libcvc5-dev_1.1.2-2+b1_amd64.deb                   26-Jun-2024 09:01               93216
libcvc5-dev_1.1.2-2+b1_i386.deb                    26-Jun-2024 09:01               93196
libcvc5parser1_1.0.3-1_amd64.deb                   20-Dec-2022 05:55              306872
libcvc5parser1_1.1.2-2+b1_amd64.deb                26-Jun-2024 09:01              235060
libcvc5parser1_1.1.2-2+b1_i386.deb                 26-Jun-2024 09:01              254328
python3-cvc5_1.1.2-2+b1_amd64.deb                  26-Jun-2024 09:01              335544
python3-cvc5_1.1.2-2+b1_i386.deb                   26-Jun-2024 09:01              317696