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

../
cvc5-dbgsym_1.1.2-2_hppa.deb                       20-Mar-2024 06:03             1780940
cvc5_1.1.2-2_hppa.buildinfo                        20-Mar-2024 06:03               10959
cvc5_1.1.2-2_hppa.deb                              20-Mar-2024 06:03              108040
libcvc5-1-dbgsym_1.1.2-2_hppa.deb                  20-Mar-2024 06:03           176303296
libcvc5-1_1.1.2-2_hppa.deb                         20-Mar-2024 06:03             6140624
libcvc5-dev_1.1.2-2_hppa.deb                       20-Mar-2024 06:03               92952
libcvc5parser1-dbgsym_1.1.2-2_hppa.deb             20-Mar-2024 06:03             3910976
libcvc5parser1_1.1.2-2_hppa.deb                    20-Mar-2024 06:03              231752
python3-cvc5-dbgsym_1.1.2-2_hppa.deb               20-Mar-2024 06:03             2454684
python3-cvc5_1.1.2-2_hppa.deb                      20-Mar-2024 06:03              378576