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
amd64v3
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
amd64v3
libcoq-mtac2
1.4+8.20-1build9
optional
3.7 kB
Mtac2 tactic language for Coq
Details
Showing 1–1 of 1 packages
Page 1 of 1
Previous
1
Next