packages
[ Zdroj: frama-c ]
Balík: frama-c (20111001+nitrogen+dfsg-3) [universe]
Odkazy pre frama-c
Zdroje Ubuntu:
Stiahnuť zdrojový balík frama-c:
- [frama-c_20111001+nitrogen+dfsg-3.dsc]
- [frama-c_20111001+nitrogen+dfsg.orig.tar.gz]
- [frama-c_20111001+nitrogen+dfsg-3.debian.tar.gz]
Správca:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Konferencia)
- Mehdi Dogguy
It should generally not be necessary for users to contact the original maintainer.
Externé zdroje:
- Domovská stránka [frama-c.com]
Podobné balíky:
Framework for source code analysis of software written in C
Ostatné balíky súvisiace s balíkom frama-c
|
|
|
-
- dep: emacs
- The GNU Emacs editor (metapackage)
- alebo emacsen
- virtuálny balík poskytovaný balíkom emacs, emacs23, emacs23-lucid, emacs23-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
-
- dep: frama-c-base (= 20111001+nitrogen+dfsg-3)
- Framework for C source code analysis (without gui)
-
- dep: graphviz
- rich set of graph drawing tools
-
- dep: libc6 (>= 2.7)
- Embedded GNU C Library: Shared libraries
tiež virtuálny balík poskytovaný balíkom 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
Stiahnuť frama-c
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 3,490.1 kB | 10,743.0 kB | [zoznam súborov] |
| i386 | 3,093.4 kB | 8,050.0 kB | [zoznam súborov] |