packages [ stonking ]
ソースパッケージ: bitwuzla (0.8.2-3) [universe]
bitwuzla に関するリンク
Ubuntu の資源:
メンテナ:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (メールアーカイブ)
- Gábor Németh
It should generally not be necessary for users to contact the original maintainer.
その他の bitwuzla 関連パッケージ
|
|
-
- adep: debhelper-compat (= 14)
- パッケージは利用できません
-
- adep: dh-sequence-python3
- 以下のパッケージによって提供される仮想パッケージです: dh-python
-
- adep: cython3
- C-Extensions for Python 3
-
- adep: doxygen
- Generate documentation from source code
-
- adep: git
- fast, scalable, distributed revision control system
-
- adep: help2man
- Automatic manpage generator
-
- adep: libcadical-dev
- Simplified Satisfiability Solver (development files)
-
- adep: libgmp-dev
- Multiprecision arithmetic library developers tools
-
- adep: libgtest-dev
- Google's framework for writing C++ tests
-
- adep: libpython3-dev
- header files and a static library for Python (default)
-
- adep: libsymfpu-dev
- Symbolic Floating Point Unit
-
- adep: meson
- high-productivity build system
-
- adep: ninja-build
- small build system closest in spirit to Make
-
- adep: pkgconf
- manage compile and link flags for libraries
-
- adep: pybuild-plugin-pyproject
- Debian helper tools for packaging Python libraries using PEP517
-
- adep: python3-all-dev
- package depending on all supported Python 3 development packages
-
- adep: python3-breathe
- Sphinx autodox support for languages with doxygen support (Python 3)
-
- adep: python3-mesonpy
- Meson PEP 517 Python build backend
-
- adep: python3-pytest
- Simple, powerful testing in Python3
-
- adep: python3-sphinx
- documentation generator for Python projects
-
- adep: python3-sphinx-rtd-theme
- sphinx theme from readthedocs.org (Python 3)
-
- adep: python3-sphinx-tabs
- Tabbed views for Sphinx
-
- adep: python3-sphinxcontrib.bibtex
- Sphinx extension for BibTeX style citations
Download bitwuzla
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| bitwuzla_0.8.2-3.dsc | 2.5 kB | 6a410731069573c6149ba1a459c73a62 |
| bitwuzla_0.8.2.orig.tar.gz | 2,031.6 kB | 71171801c3e31351367eddf6c1acf183 |
| bitwuzla_0.8.2-3.debian.tar.xz | 4.5 kB | 530d11724c88ea70041ea2e6d8dc3e3b |
- Debian パッケージソースリポジトリ (VCS: Git)
- https://salsa.debian.org/science-team/bitwuzla.git
- Debian パッケージソースリポジトリ (ブラウザで表示可能)
- https://salsa.debian.org/science-team/bitwuzla