Folder Path

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

0 directories 10 files 210 MiB total
List Grid
Name
Size Modified
Up
cvc5-dbgsym_1.3.2-1+b2_ppc64.deb
2.0 MiB
cvc5_1.3.2-1+b2_ppc64.buildinfo
11 KiB
cvc5_1.3.2-1+b2_ppc64.deb
133 KiB
libcvc5-1-dbgsym_1.3.2-1+b2_ppc64.deb
195 MiB
libcvc5-1_1.3.2-1+b2_ppc64.deb
6.7 MiB
libcvc5-dev_1.3.2-1+b2_ppc64.deb
121 KiB
libcvc5parser1-dbgsym_1.3.2-1+b2_ppc64.deb
4.4 MiB
libcvc5parser1_1.3.2-1+b2_ppc64.deb
260 KiB
python3-cvc5-dbgsym_1.3.2-1+b2_ppc64.deb
1.3 MiB
python3-cvc5_1.3.2-1+b2_ppc64.deb
331 KiB