Paket: ikos (3.2-3) [multiverse]

Links für ikos

Ubuntu-Ressourcen:

• Fehlerberichte
• Ubuntu-Changelog
• Copyright-Datei

Quellcode-Paket ikos herunterladen:

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

Betreuer:

• Ubuntu MOTU Developers (E-Mail-Archiv)

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.

Externe Ressourcen:

• Homepage [github.com]

Ähnliche Pakete:

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

Andere Pakete mit Bezug zu 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) [nicht 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 (>= 13.1)

  GNU Standard C++ Library v3

• dep: libtbb12 (>= 2021.11.0) [nicht amd64]

  parallelism library for C++ - runtime files

  dep: libtbb12 (>= 2021.4.0) [amd64]

• 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 herunterladen