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

../
cvc4-dbgsym_1.5-1_hppa.deb                         30-Oct-2017 18:03             3174356
cvc4_1.5-1_hppa.buildinfo                          30-Oct-2017 18:03                7671
cvc4_1.5-1_hppa.deb                                30-Oct-2017 18:03              129484
libcvc4-4-dbgsym_1.5-1_hppa.deb                    30-Oct-2017 18:03            98531172
libcvc4-4_1.5-1_hppa.deb                           30-Oct-2017 18:03             3308940
libcvc4-dev_1.5-1_hppa.deb                         30-Oct-2017 18:03             5978324
libcvc4parser4-dbgsym_1.5-1_hppa.deb               30-Oct-2017 18:03             4472108
libcvc4parser4_1.5-1_hppa.deb                      30-Oct-2017 18:03              375108