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	minisat armhf	1:2.2.1-8build2	extra	397.3 kB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	ppc64el	minisat ppc64el	1:2.2.1-8build2	extra	540.7 kB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	riscv64	minisat riscv64	1:2.2.1-8build2	extra	1.6 MB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	s390x	minisat s390x	1:2.2.1-8build2	extra	410.6 kB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	amd64v3	minisat amd64v3	1:2.2.1-8build2	extra	417.8 kB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	armhf	minisat armhf	1:2.2.1-8build2	extra	397.3 kB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	s390x	minisat s390x	1:2.2.1-8build2	extra	410.6 kB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	arm64	minisat arm64	1:2.2.1-8build2	extra	506.9 kB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	amd64	minisat amd64	1:2.2.1-8build2	extra	411.6 kB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	arm64	minisat arm64	1:2.2.1-8build2	extra	506.9 kB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	riscv64	minisat riscv64	1:2.2.1-8build2	extra	1.6 MB	Fast and lightweight SAT solver	match	Details
ubuntu	26.04/resolute	universe	ppc64el	minisat ppc64el	1:2.2.1-8build2	extra	540.7 kB	Fast and lightweight SAT solver	match	Details

Showing 1–12