aptpeek.devRepository Viewer

Navigation

Distributions

Vendors

© 2026 aptpeek.dev.
Crafted with by Jorrit

Search Packages

Distribution

Codename

Component

Architecture

Package name

Version

Source package

Distribution	Codename	Component	Architecture	Package	Version	Priority	Size	Description	Integrity	Actions
ubuntu	26.04/resolute	universe	armhf	python3-cryptominisat armhf	5.11.21+dfsg1-3build1	optional	1.3 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	ppc64el	python3-cryptominisat ppc64el	5.11.21+dfsg1-3build1	optional	2 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	riscv64	python3-cryptominisat riscv64	5.11.21+dfsg1-3build1	optional	1.5 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	s390x	python3-cryptominisat s390x	5.11.21+dfsg1-3build1	optional	1.7 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	amd64v3	python3-cryptominisat amd64v3	5.11.21+dfsg1-3build1	optional	1.6 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	armhf	python3-cryptominisat armhf	5.11.21+dfsg1-3build1	optional	1.3 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	s390x	python3-cryptominisat s390x	5.11.21+dfsg1-3build1	optional	1.7 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	arm64	python3-cryptominisat arm64	5.11.21+dfsg1-3build1	optional	1.5 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	amd64	python3-cryptominisat amd64	5.11.21+dfsg1-3build1	optional	1.6 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	arm64	python3-cryptominisat arm64	5.11.21+dfsg1-3build1	optional	1.5 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	riscv64	python3-cryptominisat riscv64	5.11.21+dfsg1-3build1	optional	1.5 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details
ubuntu	26.04/resolute	universe	ppc64el	python3-cryptominisat ppc64el	5.11.21+dfsg1-3build1	optional	2 MB	Python bindings for the CryptoMiniSat SAT solver (Python 3)	match	Details

Showing 1–12