All "libwhy-coq" versions
Deleted packages are displayed in grey.
| Release | Repository | Level | Version | PPA |
|---|---|---|---|---|
| bionic | universe | base | 2.39-2build1 |
Search Package
About
-
Send Feedback to @ubuntu_updates
Share this page
Bookmarks
google-chrome-beta 132.0.6834.15Latest updates
Packages changelogs
Bugs & CVEs
updates
nullboot (jammy)python2.7 (jammy)
python2.7 (focal)
security
nullboot (jammy)proposed
linux-restricted-signatures-nvidia-6.8 (jammy)linux-restricted-modules-nvidia-6.8 (jammy)
linux-signed-nvidia-6.8 (jammy)
linux-meta-nvidia-6.8 (jammy)
linux-signed-gke (noble)
linux-meta-gke (noble)
linux-restricted-signatures-oracle (noble)
linux-restricted-modules-oracle (noble)
linux-signed-oracle (noble)
linux-meta-oracle (noble)
grub2-signed (focal)
grub2-signed (jammy)
grub2-unsigned (jammy)
linux-restricted-signatures-aws (noble)
linux-restricted-signatures-nvidia-lowlatency (noble)
linux-restricted-modules-aws (noble)
linux-restricted-modules-nvidia-lowlatency (noble)
linux-signed-aws (noble)
linux-signed-nvidia-lowlatency (noble)
linux-meta-nvidia-lowlatency (noble)
linux-meta-aws (noble)
linux-restricted-signatures-aws-6.8 (jammy)
linux-restricted-modules-aws-6.8 (jammy)
linux-signed-aws-6.8 (jammy)
linux-aws-6.8 (jammy)
linux-meta-aws-6.8 (jammy)
See all
PPA updates
nginx-nr-agent (bionic)google-chrome-canary (stable)
firefox-trunk (oracular)
firefox-trunk (noble)
firefox-trunk (jammy)
firefox-trunk (focal)
linux-riscv (oracular)
timescaledb (jammy-pgdg)
patroni (jammy-pgdg)
timescaledb (focal-pgdg)
patroni (focal-pgdg)
nvidia-graphics-drivers-550 (noble)
nvidia-graphics-drivers-550 (jammy)
libnvidia-nscq-550 (jammy)
nvidia-graphics-drivers-550 (focal)
linux-signed-oracle (oracular)
linux-signed-lowlatency (oracular)
linux-signed-gcp-6.8 (jammy)
linux-restricted-modules-oracle (oracular)
linux-restricted-modules-lowlatency (oracular)
linux-signed-gcp (oracular)
linux-signed-intel (noble)
linux-restricted-modules-gcp-6.8 (jammy)
linux-restricted-modules-gcp (oracular)
linux-signed-aws (oracular)
linux-meta-oracle (oracular)
linux-generate-oracle (oracular)
linux-generate-lowlatency (oracular)
linux-generate-gcp (oracular)
linux-meta-gcp (oracular)
See all