Paquet : ikos (3.5-2) [multiverse]

Liens pour ikos

Ressources Ubuntu :

• Rapports de bogues
• Journal des modifications Ubuntu
• Fichier de licence

Télécharger le paquet source ikos :

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

Responsable :

• Ubuntu MOTU Developers (Archive du courrier électronique)

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.

Ressources externes :

• Page d'accueil [github.com]

Paquets similaires :

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

Autres paquets associés à 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) [non 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

Télécharger ikos