[ etiona ] [ nabia ]

Пакет исходного кода: frama-c (20170501+phosphorus+dfsg-2build1)

Ссылки для frama-c

Из этого пакета исходного кода собираются следующие двоичные пакеты:

frama-c: Platform dedicated to the analysis of source code written in C
frama-c-base: Platform dedicated to the analysis of source code written in C (without gui)

adep: debhelper (>= 7.0.50~)

helper programs for debian/rules
adep: ocaml-nox (>= 3.12.0~)

ML implementation with a class-based object system (no X)
adep: ocaml-best-compilers

Пакет недоступен
adep: dh-ocaml (>= 0.9~)

helper tools for maintaining OCaml-related Debian packages
adep: graphviz

rich set of graph drawing tools
adep: autoconf

automatic configure script builder
adep: libzarith-ocaml-dev

arithmetic and logical operations over arbitrary-precision integers (dev)
adep: ocaml-findlib

management tool for OCaml libraries
adep: libfindlib-ocaml-dev

library for managing OCaml libraries (development files)
adep: libocamlgraph-viewer-ocaml-dev (>> 1.8.5~)

graph library for OCaml
adep: liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~)

OCaml bindings to GNOME
adep: liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~)

OCaml bindings for libgtksourceview2, a source editor GTK+ widget

Файл	Размер (в Кб)	Контрольная сумма MD5
frama-c_20170501+phosphorus+dfsg-2build1.dsc	2,3 Кб	2f98e9382c44ed102a698bf277a4123d
frama-c_20170501+phosphorus+dfsg.orig.tar.gz	7 246,1 Кб	3e1e42c81e33712ca09a0fdb29b16db0
frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz	29,1 Кб	a3d93f717dcf74008c8b49fe467ec99c

Репозиторий пакетов исходного кода Debian (VCS: Git): https://anonscm.debian.org/git/pkg-ocaml-maint/packages/frama-c.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://anonscm.debian.org/git/pkg-ocaml-maint/packages/frama-c.git