Bugs fixes in "libwhy-coq"
Sorry, no bug was found.
About
-
Send Feedback to @ubuntu_updates
Share this page
Bookmarks
google-chrome-beta 132.0.6834.15Latest updates
Packages changelogs
Bugs & CVEs
updates
openjdk-23 (oracular)nullboot (jammy)
security
openjdk-23 (oracular)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)linux-xilinx-zynqmp (jammy)
herokuish (noble)
herokuish (jammy)
herokuish (focal)
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)
See all