Tarkennettu haku
jessie  ] [  stretch  ] [  buster  ] [  sid  ]

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

Links for frama-c

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
frama-c-base
Platform dedicated to the analysis of source code written in C (without gui)

Muut pakettiin frama-c liittyvät paketit

  • build-depends
  • build-depends-indep

Download frama-c

TiedostoKoko (kt)MD5-tarkiste
frama-c_20171101+sulfur+dfsg-2.dsc 1.8 kt d7affb29670b7c5a6ad30ff16408f35d
frama-c_20171101+sulfur+dfsg.orig.tar.gz 6,954.8 kt 38d0f2a2a25810466937f30320bf1a5d
frama-c_20171101+sulfur+dfsg-2.debian.tar.xz 22.8 kt 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