Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
frama-c-base-dbgsym 20220511-manganese-4~build1 (arm64 binary) in ubuntu mantic
Mantic (23.10)
arm64
frama-c-base-dbgsym
20220511-manganese-4~build1
Details
Package version:
20220511-manganese-4~build1
Source:
frama-c 20220511-manganese-4~build1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional
Downloadable files
arm64 build of frama-c 20220511-manganese-4~build1 in ubuntu mantic PROPOSED
produced
these files:
frama-c-base-dbgsym_20220511-manganese-4~build1_arm64.ddeb
(5.6 MiB)
Package relationships
Depends on:
frama-c-base (= 20220511-manganese-4~build1)