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

ikos 的相關超連結

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]

相似套件：

• libikos-dev
• findbugs
• libfindbugs-annotations-java
• libfindbugs-java
• libfindbugs-ant-java
• rubocop
• prospector
• cppcheck
• cppcheck-gui
• bandit
• opensta

其他與 ikos 有關的套件

• dep: clang-14

  C, C++ and Objective-C compiler

• dep: libboost-filesystem1.83.0 (>= 1.83.0)

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

• dep: libboost-thread1.83.0 (>= 1.83.0)

  portable C++ multi-threading

• dep: libc6 (>= 2.38)

  GNU C Library: Shared libraries

• dep: libgcc-s1 (>= 3.3.1) [除 armhf, riscv64]

  GCC support library

  dep: libgcc-s1 (>= 3.4) [riscv64]

  dep: libgcc-s1 (>= 4.3) [armhf]

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library

• dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library (C++ bindings)

• dep: libsqlite3-0 (>= 3.5.9)

  SQLite 3 shared library

• dep: libstdc++6 (>= 14)

  GNU Standard C++ Library v3

• dep: libtbb12 (>= 2022.0.0) [amd64, arm64, armhf]

  parallelism library for C++ - runtime files

  dep: libtbb12 (>= 2022.1.0) [ppc64el, riscv64, s390x]

• dep: libtinfo6 (>= 6)

  shared low-level terminfo library for terminal handling

• dep: python3

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

• dep: zlib1g (>= 1:1.2.0)

  compression library - runtime

下載 ikos