Limit to suite: [squeeze] [squeeze-updates] [squeeze-backports] [wheezy] [sid] [experimental]
Limit to a architecture: [alpha] [amd64] [arm] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-i386] [kfreebsd-amd64] [m68k] [mips] [mipsel] [powerpc] [powerpcspe] [s390] [s390x] [sh4] [sparc] [sparc64]
You have searched for packages that names contain frama-c in all suites, all sections, and all architectures. Found 2 matching packages.
Exact hits
Package frama-c
- squeeze (stable) (devel):
Framework for source code analysis of software written in C
20100401+boron+dfsg-5: amd64 armel i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc - wheezy (testing) (devel):
Framework for source code analysis of software written in C
20111001+nitrogen+dfsg-4: amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sparc - sid (unstable) (devel):
Framework for source code analysis of software written in C
20111001+nitrogen+dfsg-4: alpha amd64 armel armhf hurd-i386 i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sh4 sparc
20111001+nitrogen+dfsg-3 [debports]: sparc64
20100401+boron+dfsg-5+b1: hppa
20100401+boron+dfsg-5 [debports]: powerpcspe
Other hits
Package frama-c-base
- squeeze (stable) (devel):
Framework for C source code analysis (without gui)
20100401+boron+dfsg-5: amd64 armel i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc - wheezy (testing) (devel):
Framework for C source code analysis (without gui)
20111001+nitrogen+dfsg-4: amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sparc - sid (unstable) (devel):
Framework for C source code analysis (without gui)
20111001+nitrogen+dfsg-4: alpha amd64 armel armhf hurd-i386 i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sh4 sparc
20111001+nitrogen+dfsg-3 [debports]: sparc64
20100401+boron+dfsg-5+b1: hppa
20100401+boron+dfsg-5 [debports]: powerpcspe