alla flaggor
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]

Källkodspaket: frama-c (20111001+nitrogen+dfsg-4)

Länkar för frama-c

Debianresurser:

Ansvariga:

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
frama-c
Framework for source code analysis of software written in C
frama-c-base
Framework for C source code analysis (without gui)

Andra paket besläktade med frama-c

  • bygg-beroende
  • arkitekturoberoende bygg-beroende

Download frama-c

FilStorlek (i kbyte)MD5-kontrollsumma
frama-c_20111001+nitrogen+dfsg-4.dsc 1,9 kbyte dbb764580241991b1f9c3b2aab294070
frama-c_20111001+nitrogen+dfsg.orig.tar.gz 2.655,8 kbyte 7a512643cb35cf516c488bc9734210f7
frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz 29,0 kbyte 2de6b01a18d17303b3d77a6c4203a72d
Debians paketkällkodsarkiv- (VCS: Git)
git://git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git
Debians paketkällkodsarkiv (blädderbart)
http://git.debian.org/?p=pkg-ocaml-maint/packages/frama-c.git