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	drat-trim armhf	0.0~git20240428.effa1dc-2build1	optional	151.6 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	ppc64el	drat-trim ppc64el	0.0~git20240428.effa1dc-2build1	optional	153.6 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	riscv64	drat-trim riscv64	0.0~git20240428.effa1dc-2build1	optional	71.7 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	s390x	drat-trim s390x	0.0~git20240428.effa1dc-2build1	optional	84 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	amd64v3	drat-trim amd64v3	0.0~git20240428.effa1dc-2build1	optional	84 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	armhf	drat-trim armhf	0.0~git20240428.effa1dc-2build1	optional	151.6 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	s390x	drat-trim s390x	0.0~git20240428.effa1dc-2build1	optional	84 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	arm64	drat-trim arm64	0.0~git20240428.effa1dc-2build1	optional	153.6 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	amd64	drat-trim amd64	0.0~git20240428.effa1dc-2build1	optional	84 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	arm64	drat-trim arm64	0.0~git20240428.effa1dc-2build1	optional	153.6 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	riscv64	drat-trim riscv64	0.0~git20240428.effa1dc-2build1	optional	71.7 kB	DART-trim satisfiability proof checker (binary utils)	match	Details
ubuntu	26.04/resolute	universe	ppc64el	drat-trim ppc64el	0.0~git20240428.effa1dc-2build1	optional	153.6 kB	DART-trim satisfiability proof checker (binary utils)	match	Details

Showing 1–12