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	hol-light armhf	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	ppc64el	hol-light ppc64el	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	riscv64	hol-light riscv64	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	s390x	hol-light s390x	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	amd64v3	hol-light amd64v3	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	armhf	hol-light armhf	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	s390x	hol-light s390x	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	arm64	hol-light arm64	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	amd64	hol-light amd64	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	arm64	hol-light arm64	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	riscv64	hol-light riscv64	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details
ubuntu	26.04/resolute	universe	ppc64el	hol-light ppc64el	1:3.1.0-2build3	optional	48.7 MB	HOL Light theorem prover	match	Details

Showing 1–12