Search Packages

Distribution

Codename

Component

Architecture

Package name

Version

Source package

Distribution	Codename	Component	Architecture	Package	Version	Priority	Size	Description	Integrity	Actions
ubuntu	26.10/stonking	universe	amd64	libcryptominisat5-5.11t64	5.11.21+dfsg1-3build1	optional	1.1 kB	SAT solver library
ubuntu	26.10/stonking	universe	amd64v3	libcryptominisat5-5.11t64	5.11.21+dfsg1-3build1	optional	1.1 kB	SAT solver library
ubuntu	26.10/stonking	universe	arm64	libcryptominisat5-5.11t64	5.11.21+dfsg1-3build1	optional	984 B	SAT solver library
ubuntu	26.10/stonking	universe	armhf	libcryptominisat5-5.11t64	5.11.21+dfsg1-3build1	optional	919 B	SAT solver library
ubuntu	26.10/stonking	universe	ppc64el	libcryptominisat5-5.11t64	5.11.21+dfsg1-3build1	optional	1.2 kB	SAT solver library

Showing 1–5 of 5 packages

Page 1 of 1