Index of /debian-ports/pool-x32/main/c/cvc5/

../
cvc5-dbgsym_1.1.2-2_x32.deb                        27-Mar-2024 00:03             1783868
cvc5_1.1.2-2_x32.buildinfo                         27-Mar-2024 00:03               11124
cvc5_1.1.2-2_x32.deb                               27-Mar-2024 00:03              110868
libcvc5-1-dbgsym_1.1.2-2_x32.deb                   27-Mar-2024 00:03           178886916
libcvc5-1_1.1.2-2_x32.deb                          27-Mar-2024 00:03             6524144
libcvc5-dev_1.1.2-2_x32.deb                        27-Mar-2024 00:03               92956
libcvc5parser1-dbgsym_1.1.2-2_x32.deb              27-Mar-2024 00:03             3986560
libcvc5parser1_1.1.2-2_x32.deb                     27-Mar-2024 00:03              233576
python3-cvc5-dbgsym_1.1.2-2_x32.deb                27-Mar-2024 00:03             2530040
python3-cvc5_1.1.2-2_x32.deb                       27-Mar-2024 00:03              334544