Processing commands for control@bugs.debian.org: > tags 484234 + pending Bug#484234: ITP: frama-c -- framework for source code analysis of software written in C There were no tags set. Tags added: pending > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)