[ bullseye ] [ bookworm ] [ trixie ] [ sid ]

Zdrojový balík: cryptominisat (5.11.15+dfsg1-1.1)

Odkazy pre cryptominisat

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

cryptominisat: SAT solver command line interface
libcryptominisat5-5.11t64: SAT solver library
libcryptominisat5-dev: development files for the CryptoMiniSat SAT solver
python3-cryptominisat: Python bindings for the CryptoMiniSat SAT solver (Python 3)

adep: dpkg-dev (>= 1.22.5)

nástroje na vývoj balíkov Debianu
adep: cmake

multiplatformný open source systém make
adep: debhelper-compat (= 13)

Balík nie je dostupný
adep: dh-python

Debian helper tools for packaging Python libraries and applications
adep: help2man

automatický generátor manuálových stránok
adep: libboost-program-options-dev

program options library for C++ (default version)
adep: libm4ri-dev

Method of the Four Russians Inversion library, development files
adep: pybuild-plugin-pyproject

Debian helper tools for packaging Python libraries using PEP517
adep: python3-dev

header files and a static library for Python (default)
adep: python3-setuptools

Python 3 - rozšírenia Distutils
adep: zlib1g-dev

komprimačná knižnica - vývoj

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
cryptominisat_5.11.15+dfsg1-1.1.dsc	2.5 kB	271d7111fd96daf1bd48ee4a086ce31d
cryptominisat_5.11.15+dfsg1.orig.tar.xz	463.7 kB	a0c2e04cb58bd97213598d08b146b25c
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz	5.5 kB	4852edae230e19dd7b9756bf5bef2107

Úložisko zdrojových balíkov Debianu (VCS: Git): https://salsa.debian.org/science-team/cryptominisat.git
Úložisko zdrojových balíkov Debianu (možno prezerať): https://salsa.debian.org/science-team/cryptominisat