packages
[ Source: frama-c ]
Пакунок: frama-c (20111001+nitrogen+dfsg-4) [universe]
Links for frama-c
Ubuntu Resources:
Download Source Package frama-c:
- [frama-c_20111001+nitrogen+dfsg-4.dsc]
- [frama-c_20111001+nitrogen+dfsg.orig.tar.gz]
- [frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz]
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Mehdi Dogguy
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [frama-c.com]
Similar packages:
Framework for source code analysis of software written in C
Інші пакунки пов'язані з frama-c
|
|
|
-
- dep: emacs
- GNU Emacs editor (metapackage)
- or emacsen
- virtual package provided by emacs23, emacs23-lucid, emacs23-nox, emacs24, emacs24-lucid, emacs24-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
-
- dep: frama-c-base (= 20111001+nitrogen+dfsg-4)
- Framework for C source code analysis (without gui)
-
- dep: graphviz
- rich set of graph drawing tools
-
- dep: libc6 (>= 2.15)
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0)
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.24.0)
- GLib library of C routines
-
- dep: libgnomecanvas2-0 (>= 2.11.1)
- powerful object-oriented display engine - runtime files
-
- dep: libgtk2.0-0 (>= 2.24.0)
- GTK+ graphical user interface library
-
- dep: libgtksourceview2.0-0 (>= 2.10.0)
- shared libraries for the GTK+ syntax highlighting widget
-
- dep: libpango1.0-0 (>= 1.14.0)
- Layout and rendering of internationalized text
-
- rec: why (>= 2.19+dfsg-2)
- Software verification tool
Завантажити frama-c
| Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|
| amd64 | 3,491.4 kB | 10,743.0 kB | [список файлів] |
| i386 | 3,094.1 kB | 8,050.0 kB | [список файлів] |