cvc4-dbgsym 1.5-1 (i386 binary) in ubuntu bionic
Details
- Package version:
- 1.5-1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
i386 build of cvc4 1.5-1 in ubuntu bionic PROPOSED produced
these files:
- cvc4-dbgsym_1.5-1_i386.ddeb (3.0 MiB)
Package relationships
- Depends on: