Package: ikos (3.5-2) [multiverse]

Links for ikos

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package ikos:

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

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

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.

External Resources:

• Homepage [github.com]

Similar packages:

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

Other Packages Related to 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) [not 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

Download ikos