| Paketname | frama-c |
| Beschreibung | Framework for source code analysis of software written in C |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 20111001+nitrogen+dfsg-4 |
| Sektion | devel |
| Priorität | optional |
| Installierte Größe | 8283 Byte |
| Hängt ab von | libart-2.0-2 (>= 2.3.18), libatk1.0-0 (>= 1.12.4), libc6 (>= 2.7), libcairo2 (>= 1.2.4), libfontconf |
| Empfohlene Pakete | why (>= 2.19+dfsg-2) |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | |
| Paketgröße | 3298578 Byte |
| Prüfsumme MD5 | 799c67e0974b2e6db37a91d187ee025c |
| Prüfsumme SHA1 | 012a3efb03f480e33590339c1b2b736d44bb86a1 |
| Prüfsumme SHA256 | 0b6a9d1927d013e3982874deac648339b457bc6a3def3060a8ad272a6340406b |
| Link zum Herunterladen | frama-c_20111001+nitrogen+dfsg-4_i386.deb |
| Ausführliche Beschreibung | uitoolkit::ncurses, x11::application
|