| Artifact | frama-c-base_20220511-manganese-3+b4_amd64 |
|---|---|
| Category | debian:binary-package |
architecture: amd64
component: main
package: frama-c-base
priority: optional
section: devel
srcpkg_name: frama-c
srcpkg_version: 20220511-manganese-3
version: 20220511-manganese-3+b4