[ noble ]

Source Package: frama-c (20220511-manganese-5build7) [universe]

Links for frama-c

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

The following binary packages are built from this source package:

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

adep: debhelper-compat (= 13)

Package not available
adep: ocaml

ML language implementation with a class-based object system
adep: dh-ocaml

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: libyojson-ocaml-dev

JSON library for OCaml - development package
adep: libocamlgraph-ocaml-dev

graph library for OCaml
adep: liblablgtk3-ocaml-dev (>= 3.0~beta4)

OCaml bindings to Gtk+ version 3 (development files)
adep: liblablgtksourceview3-ocaml-dev

OCaml bindings for libgtksourceview3 (development files)
adep: libppx-import-ocaml-dev

OCaml extension to import declarations (development)
adep: libppx-deriving-ocaml-dev

type-driven code generation for OCaml (dev files)

File	Size (in kB)	MD5 checksum
frama-c_20220511-manganese-5build7.dsc	2.4 kB	764a7e7e9e7c59ff70513e32d2b2737c
frama-c_20220511-manganese.orig.tar.gz	7,885.1 kB	9d67adb5e1cefbe57c8292a3b7ddd9e6
frama-c_20220511-manganese-5build7.debian.tar.xz	16.7 kB	a014655567b234707eb835782820560f

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/ocaml-team/frama-c.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/ocaml-team/frama-c