Bugs fixes in "coq-libhyps"
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.17
Latest updates
Packages changelogs
Bugs & CVEs
proposed
linux-restricted-signatures-aws (noble)linux-restricted-modules-aws (noble)
linux-signed-aws (noble)
linux-meta-aws (noble)
linux-restricted-signatures-aws (mantic)
linux-restricted-modules-aws (mantic)
linux-signed-aws (mantic)
linux-meta-aws (mantic)
linux-restricted-signatures-azure (jammy)
linux-restricted-signatures-aws (jammy)
linux-restricted-modules-azure (jammy)
linux-restricted-modules-aws (jammy)
linux-signed-azure (jammy)
linux-signed-aws (jammy)
linux-signed-gke (jammy)
linux-meta-gke (jammy)
linux-meta-azure (jammy)
linux-meta-aws (jammy)
linux-restricted-signatures-aws (focal)
linux-restricted-modules-aws (focal)
linux-signed-aws (focal)
linux-signed-gkeop (focal)
linux-meta-gkeop (focal)
linux-meta-aws (focal)
linux-restricted-signatures-lowlatency (noble)
linux-restricted-signatures (noble)
linux-restricted-signatures-gcp (noble)
linux-restricted-signatures-azure (noble)
linux-restricted-signatures-ibm (noble)
linux-restricted-signatures-oem-6.10 (noble)
See all
PPA updates
nginx-nr-agent (bionic)handbrake (trusty)
pgvector (jammy-pgdg)
pgnodemx (jammy-pgdg)
pg-permissions (jammy-pgdg)
pg-dirtyread (jammy-pgdg)
omnidb (jammy-pgdg)
linux-oracle-6.5 (jammy)
pgvector (focal-pgdg)
pgnodemx (focal-pgdg)
pg-permissions (focal-pgdg)
pg-dirtyread (focal-pgdg)
omnidb (focal-pgdg)
code-insiders (stable)
dokku (jammy)
dokku (focal)
firefox (vera)
chromium (vera)
linux-signed-oracle (jammy)
linux-signed-gke (jammy)
linux-restricted-modules-oracle (jammy)
linux-signed-azure (jammy)
linux-meta-oracle (jammy)
linux-meta-gke (jammy)
linux-generate-oracle (jammy)
linux-generate-gke (jammy)
linux-signed-gkeop (focal)
linux-signed-azure-5.15 (focal)
linux-meta-gkeop (focal)
linux-generate-gkeop (focal)
See all