Index of /debian-ports/pool-hurd-i386/main/c/cvc4/


../
cvc4-dbgsym_1.6-2+b3_hurd-i386.deb                 12-Aug-2019 12:03             3516524
cvc4_1.6-2+b3_hurd-i386.buildinfo                  12-Aug-2019 12:03                8810
cvc4_1.6-2+b3_hurd-i386.deb                        12-Aug-2019 12:03              140912
libcvc4-5-dbgsym_1.6-2+b3_hurd-i386.deb            12-Aug-2019 12:03           148889620
libcvc4-5_1.6-2+b3_hurd-i386.deb                   12-Aug-2019 12:03             4642792
libcvc4-dev_1.6-2+b3_hurd-i386.deb                 12-Aug-2019 12:03             7345132
libcvc4parser5-dbgsym_1.6-2+b3_hurd-i386.deb       12-Aug-2019 12:03             6011784
libcvc4parser5_1.6-2+b3_hurd-i386.deb              12-Aug-2019 12:03              390816