[ noble ] [ questing ]

Source Package: ikos (3.2-3) [multiverse]

Links for ikos

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

The following binary packages are built from this source package:

adep: clang-14

C, C++ and Objective-C compiler
adep: cmake

cross-platform, open-source make system
adep: debhelper-compat (= 13)

Package not available
adep: dh-sequence-python3

virtual package provided by 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

virtual package provided by 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

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/python-team/packages/ikos.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/python-team/packages/ikos