This page shows all known information about package frama-c-base.

frama-c-base - Platform dedicated to the analysis of source code written in C

From source: frama-c

debian/control

Section

Architecture

Distribution