Bugs fixes in "libwhy-coq"
Sorry, no bug was found.
About
-
Send Feedback to @ubuntu_updates
Share this page
Bookmarks
skype 4.3.0.37virtualbox-4.3 4.3.40-110317
steam 1:1.0.0.79
google-chrome-beta 127.0.6533.4
Latest updates
Packages changelogs
Bugs & CVEs
proposed
linux-restricted-signatures-azure (noble)linux-restricted-modules-azure (noble)
linux-signed-azure (noble)
linux-meta-azure (noble)
linux-restricted-signatures-azure-6.8 (jammy)
linux-restricted-modules-azure-6.8 (jammy)
linux-signed-azure-6.8 (jammy)
linux-meta-azure-6.8 (jammy)
linux-azure-6.8 (jammy)
linux-xilinx-zynqmp (focal)
linux-restricted-signatures-aws (noble)
linux-restricted-modules-aws (noble)
linux-signed-aws (noble)
linux-meta-aws (noble)
ubuntu-advantage-tools (noble)
ubuntu-advantage-tools (noble)
ubuntu-advantage-tools (mantic)
ubuntu-advantage-tools (mantic)
ubuntu-advantage-tools (jammy)
ubuntu-advantage-tools (jammy)
updates
linux-firmware-xilinx-ap1302 (mantic)linux-firmware-xilinx-ap1302 (jammy)
linux-restricted-signatures-hwe-6.5 (jammy)
linux-restricted-modules-hwe-6.5 (jammy)
linux-signed-hwe-6.5 (jammy)
linux-meta-hwe-6.5 (jammy)
linux-hwe-6.5 (jammy)
ghostscript (mantic)
golang-1.22 (mantic)
golang-1.22 (jammy)
See all
PPA updates
nginx-nr-agent (bionic)handbrake (trusty)
opera-developer (stable)
code-insiders (stable)
code-exploration (stable)
puppet-release (jammy)
puppet-release (focal)
puppet8-release (jammy)
puppet7-release (jammy)
puppet7-release (focal)
puppet8-release (noble)
puppet7-release (noble)
linux-xilinx-zynqmp (jammy)
linux-xilinx-zynqmp (focal)
linux-signed-azure (mantic)
linux-signed-azure-6.8 (jammy)
linux-signed-azure-6.5 (jammy)
linux-restricted-modules-azure-6.8 (jammy)
linux-restricted-modules-azure-6.5 (jammy)
linux-meta-azure-6.8 (jammy)
linux-meta-azure-6.5 (jammy)
linux-generate-azure-6.8 (jammy)
linux-generate-azure-6.5 (jammy)
linux-signed-azure (noble)
linux-azure-6.8 (jammy)
linux-azure-6.5 (jammy)
linux-restricted-modules-azure (noble)
linux-meta-azure (noble)
linux-generate-azure (noble)
linux-restricted-modules-azure (mantic)
See all