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
Repositories
Statistics
© 2026 aptpeek.dev.
Crafted with
by
Jorrit
Toggle Sidebar
aptpeek.dev
ubuntu
stonking
universe
amd64
Toggle theme
Packages of
Ubuntu
/ stonking
Reset
Component
Select component
Architecture
Select architecture
Package name
Version
Source package
Component
Architecture
Package
Version
Priority
Size
Description
Integrity
Actions
universe
amd64
libcoq-aac-tactics
8.20.0-1build8
optional
2.9 kB
Coq tactics for reasoning modulo AC (theories)
Details
Showing 1–1 of 1 packages
Page 1 of 1
Previous
1
Next