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

../
cvc4-dbgsym_1.5-1_hppa.deb                         30-Oct-2017 18:03      3M
cvc4_1.5-1_hppa.buildinfo                          30-Oct-2017 18:03    7671
cvc4_1.5-1_hppa.deb                                30-Oct-2017 18:03    126K
libcvc4-4-dbgsym_1.5-1_hppa.deb                    30-Oct-2017 18:03     94M
libcvc4-4_1.5-1_hppa.deb                           30-Oct-2017 18:03      3M
libcvc4-dev_1.5-1_hppa.deb                         30-Oct-2017 18:03      6M
libcvc4parser4-dbgsym_1.5-1_hppa.deb               30-Oct-2017 18:03      4M
libcvc4parser4_1.5-1_hppa.deb                      30-Oct-2017 18:03    366K