[ etiona ] [ nabia ]

Source Package: frama-c (20170501+phosphorus+dfsg-2build1)

Links for frama-c

The following binary packages are built from this source package:

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

Package not available
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

File	Size (in kB)	MD5 checksum
frama-c_20170501+phosphorus+dfsg-2build1.dsc	2.3 kB	2f98e9382c44ed102a698bf277a4123d
frama-c_20170501+phosphorus+dfsg.orig.tar.gz	7,246.1 kB	3e1e42c81e33712ca09a0fdb29b16db0
frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz	29.1 kB	a3d93f717dcf74008c8b49fe467ec99c

Debian Package Source Repository (VCS: Git): https://anonscm.debian.org/git/pkg-ocaml-maint/packages/frama-c.git
Debian Package Source Repository (Browsable): https://anonscm.debian.org/git/pkg-ocaml-maint/packages/frama-c.git