» Ubuntu » Paket » precise (12.04LTS) » math » frama-c
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]
[ Källkod: frama-c  ]

Paket: frama-c (20111001+nitrogen+dfsg-3) [universe]

Länkar för frama-c

Screenshot

Ubunturesurser:

Hämta källkodspaketet frama-c:

Ansvarig:

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

Original Maintainers (usually from Debian):

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

Externa resurser:

Liknande paket:

Framework for source code analysis of software written in C

Andra paket besläktade med frama-c

  • beror
  • rekommenderar
  • föreslår
  • enhances
  • rec: why (>= 2.19+dfsg-2)
    Software verification tool

Hämta frama-c

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 3.490,1 kbyte10.743,0 kbyte [filförteckning]
i386 3.093,4 kbyte8.050,0 kbyte [filförteckning]