原始碼套件： ikos (3.5-2) [multiverse]

ikos 的相關超連結

Ubuntu 的資源：

• 報告問題
• Ubuntu Changelog
• 版權文件
• Debian 原始碼倉庫 (Git)

維護者：

• 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

Static analyzer for C/C++

libikos

Static analyzer for C/C++ - static libraries

libikos-dev

Static analyzer for C/C++ - development headers

其他與 ikos 有關的套件

• adep: clang-14

  C, C++ and Objective-C compiler

• adep: cmake

  cross-platform, open-source make system

• adep: debhelper-compat (= 13)

  套件暫時不可用

• adep: dh-sequence-python3

  本虛擬套件由這些套件提供： dh-python

• adep: libboost-dev

  Boost C++ Libraries development files (default version)

• adep: libboost-filesystem-dev

  filesystem operations (portable paths, iteration over directories, etc) in C++ (default version)

• adep: libboost-test-dev

  components for writing and executing test suites (default version)

• adep: libboost-thread-dev

  portable C++ multi-threading (default version)

• adep: libgmp-dev

  Multiprecision arithmetic library developers tools

• adep: libsqlite3-dev

  SQLite 3 development files

• adep: libtbb-dev

  parallelism library for C++ - development files

• adep: libz-dev

  本虛擬套件由這些套件提供： zlib1g-dev

• adep: llvm-14-dev

  Modular compiler and toolchain technologies, libraries and headers

• adep: python3

  interactive high-level object-oriented language (default python3 version)

• adep: python3-setuptools

  Python3 Distutils Enhancements

Download ikos

Debian 套件原始碼倉庫(VCS: Git)

https://salsa.debian.org/python-team/packages/ikos.git

Debian 套件原始碼倉庫(可在線瀏覽)

https://salsa.debian.org/python-team/packages/ikos