All "coq-serapi" versions
Deleted packages are displayed in grey.
| Release | Repository | Level | Version | PPA |
|---|---|---|---|---|
| plucky | universe | base | 8.20.0+0.20.0-1build3 |
Search Package
About
-
Send Feedback to @ubuntu_updates
Share this page
Bookmarks
google-chrome-beta 155.0.8059.5Latest updates
Packages changelogs
Bugs & CVEs
proposed
open-vm-tools (resolute)open-vm-tools (resolute)
linux-signed-realtime (resolute)
linux-meta-realtime (resolute)
linux-main-signed-realtime (resolute)
linux-main-modules-realtime (resolute)
updates
perl (noble)linux-nvidia-tegra-modules-signed (noble)
linux-nvidia-tegra (noble)
aom (resolute)
aom (resolute)
aom (noble)
aom (noble)
python-webob (noble)
python-webob (resolute)
python-webob (jammy)
policykit-1 (resolute)
simplesamlphp (noble)
security
perl (noble)aom (resolute)
aom (resolute)
aom (noble)
aom (noble)
python-webob (resolute)
python-webob (noble)
python-webob (jammy)
linux-restricted-signatures-nvidia-7.0 (noble)
linux-restricted-modules-nvidia-7.0 (noble)
linux-signed-nvidia-7.0 (noble)
linux-meta-nvidia-7.0 (noble)
See all
PPA updates
plpgsql-check (resolute-pgdg)pg-background (resolute-pgdg)
pg-ivm (resolute-pgdg)
linux-signed-gcp (noble)
linux-restricted-modules-gcp (noble)
linux-meta-gcp (noble)
plpgsql-check (jammy-pgdg)
pg-background (jammy-pgdg)
pg-ivm (jammy-pgdg)
linux-riscv-6.8 (jammy)
brave-origin (stable)
brave-browser (stable)
google-chrome-beta (stable)
thunderbird (noble)
firefox-esr (resolute)
firefox-trunk (resolute)
firefox (xia)
chromium (xia)
firefox (wilma)
chromium (wilma)
firefox-trunk (noble)
firefox (vera)
chromium (vera)
firefox-trunk (jammy)
microsoft-edge-canary (stable)
google-chrome-canary (stable)
code-insiders (stable)
firefox (resolute)
firefox (noble)
firefox (jammy)
See all