aptpeek.dev
Repository Viewer
Navigation
Home
Search
Distributions
Debian
Toggle
Ubuntu
Toggle
26.10/stonking
26.10/stonking-backports
26.10/stonking-security
26.10/stonking-updates
26.04/resolute
26.04/resolute-backports
26.04/resolute-security
26.04/resolute-updates
25.10/questing
25.10/questing-backports
25.10/questing-security
25.10/questing-updates
25.04/plucky
25.04/plucky-backports
25.04/plucky-security
25.04/plucky-updates
24.04/noble
24.04/noble-backports
24.04/noble-security
24.04/noble-updates
22.04/jammy
22.04/jammy-backports
22.04/jammy-security
22.04/jammy-updates
20.04/focal
20.04/focal-backports
20.04/focal-security
20.04/focal-updates
Linux Mint
Toggle
Kali Linux
Toggle
Raspberry Pi OS
Toggle
Pop!_OS
Toggle
Elementary OS
Toggle
Vendors
Docker
Toggle
HashiCorp
Toggle
Cloudflare
Toggle
Nginx
Toggle
Tor Project
Toggle
Microsoft
Toggle
PostgreSQL
Toggle
ClickHouse
Toggle
InfluxDB
Toggle
Grafana
Toggle
GitLab
Toggle
Brave
Toggle
Signal
Toggle
Repositories
Statistics
© 2026 aptpeek.dev.
Crafted with
by
Jorrit
Toggle Sidebar
aptpeek.dev
ubuntu
resolute-security
universe
armhf
Toggle theme
Packages of
Ubuntu
/ resolute-security
Reset
Component
Select component
Architecture
Select architecture
Package name
Version
Source package
Component
Architecture
Package
Version
Priority
Size
Description
Integrity
Actions
universe
armhf
elan
4.1.2-3.1ubuntu1
optional
3.4 kB
tool for managing installations of the Lean theorem prover
Details
Showing 1–1 of 1 packages
Page 1 of 1
Previous
1
Next