[ sid ]
ソースパッケージ: ikos (3.5-2) [non-free]
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- ikos
- Static analyzer for C/C++
- libikos
- Static analyzer for C/C++ - static libraries
- libikos-dev
- Static analyzer for C/C++ - development headers
その他の ikos 関連パッケージ
|
|
-
- 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 開発用ファイル
-
- 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
- 対話式の高レベルオブジェクト指向言語 (デフォルト python3 バージョン)
-
- adep: python3-setuptools
- Python3 用配布用ユーティリティへの機能強化
Download ikos
ファイル | サイズ (単位: kB) | MD5 チェックサム |
---|---|---|
ikos_3.5-2.dsc | 2.2 kB | 390b1fe1e705ce13881b53255ff4d40f |
ikos_3.5.orig.tar.gz | 1,350.5 kB | 1f44ab5e142ddb639a61ee81db84ae6d |
ikos_3.5-2.debian.tar.xz | 7.5 kB | 1e3f4275691701237ce030b6751faaae |
- Debian パッケージソースリポジトリ (VCS: Git)
- https://salsa.debian.org/python-team/packages/ikos.git
- Debian パッケージソースリポジトリ (ブラウザで表示可能)
- https://salsa.debian.org/python-team/packages/ikos