frama-c-base-dbgsym 20220511-manganese-1.1 (amd64 binary) in ubuntu kinetic
Details
- Package version:
- 20220511-manganese-1.1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of frama-c 20220511-manganese-1.1 in ubuntu kinetic PROPOSED produced
these files:
Package relationships
- Depends on: