Folder Path

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

0 directories 10 files 210 MiB total
List Grid
Name
Size Modified
Up
cvc5-dbgsym_1.3.2-1+b2_powerpc.deb
2.0 MiB
cvc5_1.3.2-1+b2_powerpc.buildinfo
11 KiB
cvc5_1.3.2-1+b2_powerpc.deb
131 KiB
libcvc5-1-dbgsym_1.3.2-1+b2_powerpc.deb
195 MiB
libcvc5-1_1.3.2-1+b2_powerpc.deb
6.6 MiB
libcvc5-dev_1.3.2-1+b2_powerpc.deb
121 KiB
libcvc5parser1-dbgsym_1.3.2-1+b2_powerpc.deb
4.3 MiB
libcvc5parser1_1.3.2-1+b2_powerpc.deb
246 KiB
python3-cvc5-dbgsym_1.3.2-1+b2_powerpc.deb
1.3 MiB
python3-cvc5_1.3.2-1+b2_powerpc.deb
317 KiB