You have searched for packages that names contain frama-c-base in all suites, all sections, and all architectures.
Found 1 matching packages.
Exact hits
Package frama-c-base
- lucid (devel):
Framework for C source code analysis (without gui) [universe]
20090902+beryllium+dfsg-4: amd64 i386
- precise (devel):
Framework for C source code analysis (without gui) [universe]
20111001+nitrogen+dfsg-3: amd64 i386
- quantal (devel):
Framework for C source code analysis (without gui) [universe]
20111001+nitrogen+dfsg-4: amd64 i386
- raring (devel):
Framework for C source code analysis (without gui) [universe]
20111001+nitrogen+dfsg-4: amd64 i386