z3-dbgsym 4.8.7-ok2 (i386 binary) in openkylin yangtze
Details
- Package version:
- 4.8.7-ok2
- Status:
- Published
- Component:
- main
- Priority:
- Optional
Downloadable files
i386 build of z3 4.8.7-ok2 in openkylin yangtze PROPOSED produced
these files:
- z3-dbgsym_4.8.7-ok2_i386.deb (103.5 MiB)
Package relationships
- Depends on:
