all options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]

Source Package: frama-c (20171101+sulfur+dfsg-2)

Links for frama-c

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
frama-c-base
Platform dedicated to the analysis of source code written in C (without gui)

Other Packages Related to frama-c

  • build-depends
  • build-depends-indep

Download frama-c

FileSize (in kB)MD5 checksum
frama-c_20171101+sulfur+dfsg-2.dsc 1.8 kB d7affb29670b7c5a6ad30ff16408f35d
frama-c_20171101+sulfur+dfsg.orig.tar.gz 6,954.8 kB 38d0f2a2a25810466937f30320bf1a5d
frama-c_20171101+sulfur+dfsg-2.debian.tar.xz 22.8 kB 17edfcf413f817c703503d99a57be3a6
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