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

Source Package: frama-c (20161101+silicon+dfsg-5)

Links for frama-c

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
frama-c
Platform dedicated to the analysis of source code written in C
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_20161101+silicon+dfsg-5.dsc 2.4 kt 584ef86e00808312f4a0e83902677865
frama-c_20161101+silicon+dfsg.orig.tar.gz 6,523.3 kt 4ef49bbcdf9c35b5796e7c29383861b2
frama-c_20161101+silicon+dfsg-5.debian.tar.xz 26.3 kt 1323da3a0b43454da2c37a46327ab143
Debian Package Source Repository (VCS: Git)
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/frama-c.git
Debian Package Source Repository (Browsable)
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/frama-c.git