套件： libikos-dev (3.5-2) [multiverse]

libikos-dev 的相關超連結

Ubuntu 的資源：

• 報告問題
• Ubuntu Changelog
• 版權文件

下載原始碼套件 ikos：

• [ikos_3.5-2.dsc]
• [ikos_3.5.orig.tar.gz]
• [ikos_3.5-2.debian.tar.xz]

維護者：

• Ubuntu MOTU Developers (郵件存檔)

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

Original Maintainers (usually from Debian):

• Debian Python Team
• Scott Talbert

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

外部的資源：

• 主頁 [github.com]

相似套件：

• ikos
• findbugs
• libfindbugs-annotations-java
• libfindbugs-java
• libcpputest-dev
• libfindbugs-ant-java
• opensta-dev
• libllama-dev
• libsass-dev
• libstb-dev
• rubocop

其他與 libikos-dev 有關的套件

• dep: libikos (= 3.5-2)

  Static analyzer for C/C++ - static libraries

下載 libikos-dev