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	eprover armhf	3.2.5+ds-1build1	optional	6.1 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	ppc64el	eprover ppc64el	3.2.5+ds-1build1	optional	12.2 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	riscv64	eprover riscv64	3.2.5+ds-1build1	optional	8 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	s390x	eprover s390x	3.2.5+ds-1build1	optional	10.8 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	amd64v3	eprover amd64v3	3.2.5+ds-1build1	optional	9.6 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	armhf	eprover armhf	3.2.5+ds-1build1	optional	6.1 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	s390x	eprover s390x	3.2.5+ds-1build1	optional	10.8 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	arm64	eprover arm64	3.2.5+ds-1build1	optional	9.7 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	amd64	eprover amd64	3.2.5+ds-1build1	optional	9.6 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	arm64	eprover arm64	3.2.5+ds-1build1	optional	9.7 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	riscv64	eprover riscv64	3.2.5+ds-1build1	optional	8 MB	Equational theorem prover	match	Details
ubuntu	26.04/resolute	universe	ppc64el	eprover ppc64el	3.2.5+ds-1build1	optional	12.2 MB	Equational theorem prover	match	Details

Showing 1–12