Folder Path

/debian-ports/pool-ppc64/main/c/cvc4/

0 directories 8 files 196 MiB total
List Grid
Name
Size Modified
Up
cvc4-dbgsym_1.8-5+b1_ppc64.deb
972 KiB
cvc4_1.8-5+b1_ppc64.buildinfo
9.9 KiB
cvc4_1.8-5+b1_ppc64.deb
77 KiB
libcvc4-7-dbgsym_1.8-5+b1_ppc64.deb
184 MiB
libcvc4-7_1.8-5+b1_ppc64.deb
5.7 MiB
libcvc4-dev_1.8-5+b1_ppc64.deb
128 KiB
libcvc4parser7-dbgsym_1.8-5+b1_ppc64.deb
5.1 MiB
libcvc4parser7_1.8-5+b1_ppc64.deb
364 KiB