Källkodspaket: frama-c (20220511-manganese-5build7) [universe]

Länkar för frama-c

Ubunturesurser:

• Felrapporter
• Ändringslogg för Ubuntu
• Upphovsrättsfil
• Debians källkodsarkiv (Git)

Ansvarig:

• Ubuntu Developers (E-postarkiv)

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

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (E-postarkiv)
• Mehdi Dogguy
• Ralf Treinen

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

Externa resurser:

• Hemsida [frama-c.com]

frama-c-base

Platform dedicated to the analysis of source code written in C

Andra paket besläktade med frama-c

• adep: debhelper-compat (= 13)

  Paketet inte tillgängligt

• 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)

Download frama-c

Debians paketkällkodsarkiv- (VCS: Git)

https://salsa.debian.org/ocaml-team/frama-c.git

Debians paketkällkodsarkiv (blädderbart)

https://salsa.debian.org/ocaml-team/frama-c