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	ppc64el	libghc-agda-dev ppc64el	2.8.0-2build1	extra	819.8 MB	dependently typed functional programming language	match	Details
ubuntu	26.04/resolute	universe	riscv64	libghc-agda-dev riscv64	2.8.0-2build1	extra	972.5 MB	dependently typed functional programming language	match	Details
ubuntu	26.04/resolute	universe	s390x	libghc-agda-dev s390x	2.8.0-2build1	extra	920.3 MB	dependently typed functional programming language	match	Details
ubuntu	26.04/resolute	universe	amd64v3	libghc-agda-dev amd64v3	2.8.0-2build1	extra	627.9 MB	dependently typed functional programming language	match	Details
ubuntu	26.04/resolute	universe	s390x	libghc-agda-dev s390x	2.8.0-2build1	extra	920.3 MB	dependently typed functional programming language	match	Details
ubuntu	26.04/resolute	universe	arm64	libghc-agda-dev arm64	2.8.0-2build1	extra	677.8 MB	dependently typed functional programming language	match	Details
ubuntu	26.04/resolute	universe	amd64	libghc-agda-dev amd64	2.8.0-2build1	extra	627.9 MB	dependently typed functional programming language	match	Details
ubuntu	26.04/resolute	universe	arm64	libghc-agda-dev arm64	2.8.0-2build1	extra	677.8 MB	dependently typed functional programming language	match	Details
ubuntu	26.04/resolute	universe	riscv64	libghc-agda-dev riscv64	2.8.0-2build1	extra	972.5 MB	dependently typed functional programming language	match	Details
ubuntu	26.04/resolute	universe	ppc64el	libghc-agda-dev ppc64el	2.8.0-2build1	extra	819.8 MB	dependently typed functional programming language	match	Details

Showing 1–10