ソースパッケージ: frama-c (20220511-manganese-5build7) [universe]

frama-c に関するリンク

Ubuntu の資源:

• バグ報告
• Ubuntu での変更履歴
• 著作権ファイル
• Debian ソースリポジトリ (Git)

メンテナ:

• Ubuntu Developers (メールアーカイブ)

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

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (メールアーカイブ)
• Mehdi Dogguy
• Ralf Treinen

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

外部の資源:

• ホームページ [frama-c.com]

frama-c-base

Platform dedicated to the analysis of source code written in C

その他の frama-c 関連パッケージ

• adep: debhelper-compat (= 13)

  パッケージは利用できません

• 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

Debian パッケージソースリポジトリ (VCS: Git)

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

Debian パッケージソースリポジトリ (ブラウザで表示可能)

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