» Ubuntu » 套件 » bionic (18.04LTS) » math » frama-c
xenial  ] [  bionic  ] [  cosmic  ]
[ 原始碼: frama-c  ]

套件: frama-c (20170501+phosphorus+dfsg-2build1) [universe]

frama-c 的相關超連結

Screenshot

Ubuntu 的資源:

下載原始碼套件 frama-c

維護者:

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.

外部的資源:

相似套件:

Platform dedicated to the analysis of source code written in C

其他與 frama-c 有關的套件

  • 依賴
  • 推薦
  • 建議
  • enhances

下載 frama-c

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
amd64 11,624.5 kB53,434.0 kB [文件列表]
arm64 13,321.5 kB61,182.0 kB [文件列表]
armhf 11,325.4 kB43,137.0 kB [文件列表]
i386 10,837.4 kB45,673.0 kB [文件列表]
ppc64el 12,234.2 kB58,165.0 kB [文件列表]
s390x 11,917.0 kB57,902.0 kB [文件列表]