Index of /debian-ports/pool-powerpc/main/c/cvc4/
../
cvc4-dbgsym_1.8-3+b2_powerpc.deb 24-Mar-2024 18:03 968K
cvc4_1.8-3+b2_powerpc.buildinfo 24-Mar-2024 18:03 10K
cvc4_1.8-3+b2_powerpc.deb 24-Mar-2024 18:03 78K
libcvc4-7-dbgsym_1.8-3+b2_powerpc.deb 24-Mar-2024 18:03 185M
libcvc4-7_1.8-3+b2_powerpc.deb 24-Mar-2024 18:03 5M
libcvc4-dev_1.8-3+b2_powerpc.deb 24-Mar-2024 18:03 128K
libcvc4parser7-dbgsym_1.8-3+b2_powerpc.deb 24-Mar-2024 18:03 5M
libcvc4parser7_1.8-3+b2_powerpc.deb 24-Mar-2024 18:03 334K