[ noble ] [ questing ]

ソースパッケージ: ikos (3.5-2) [multiverse]

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.

以下のバイナリパッケージがこのソースパッケージからビルドされています。

構築依存	構築依存 (アーキテクチャ非依存)

adep: clang-14

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

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

パッケージは利用できません
adep: dh-sequence-python3

以下のパッケージによって提供される仮想パッケージです: 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

以下のパッケージによって提供される仮想パッケージです: 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 パッケージソースリポジトリ (VCS: Git): https://salsa.debian.org/python-team/packages/ikos.git
Debian パッケージソースリポジトリ (ブラウザで表示可能): https://salsa.debian.org/python-team/packages/ikos