packages
[ Source: frama-c ]
Package: frama-c-base (20191204+calcium-0.1) [ports] [universe]
Links for frama-c-base
Ubuntu Resources:
Download Source Package frama-c:
- [frama-c_20191204+calcium-0.1.dsc]
- [frama-c_20191204+calcium.orig.tar.gz]
- [frama-c_20191204+calcium-0.1.debian.tar.xz]
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:
Platform dedicated to the analysis of source code written in C (without gui)
Other Packages Related to frama-c-base
|
|
|
|
-
- dep: gcc
- GNU C compiler
-
- dep: libbiniou-ocaml-yi158
- virtual package provided by libbiniou-ocaml
-
- dep: libc6 (>= 2.29)
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libeasy-format-ocaml-n6e18
- virtual package provided by libeasy-format-ocaml
-
- dep: libfindlib-ocaml-os862
- virtual package provided by libfindlib-ocaml
-
- dep: libgmp10
- Multiprecision arithmetic library
-
- dep: libocamlgraph-ocaml-dev
- graph library for OCaml
-
- dep: libyojson-ocaml-9vo91
- virtual package provided by libyojson-ocaml
-
- dep: libzarith-ocaml-gu9g3
- virtual package provided by libzarith-ocaml
-
- dep: ocaml-base-nox-4.08.1
- virtual package provided by ocaml-base-nox
-
- rec: alt-ergo
- Automatic theorem prover dedicated to program verification
Download frama-c-base
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| s390x | 35,313.1 kB | 179,854.0 kB | [list of files] |