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.4
Latest updates
Packages changelogs
Bugs & CVEs
proposed
linux-restricted-signatures-azure (noble)linux-restricted-signatures-oem-6.8 (noble)
linux-restricted-modules-oem-6.8 (noble)
linux-restricted-modules-azure (noble)
libreoffice (noble)
libreoffice (noble)
glusterfs (noble)
llvm-toolchain-18 (noble)
llvm-toolchain-18 (noble)
linux-restricted-signatures-oem-6.10 (noble)
linux-restricted-modules-oem-6.10 (noble)
klayout (noble)
linux-signed-oem-6.10 (noble)
linux-meta-oem-6.10 (noble)
linux-oem-6.10 (noble)
ruby-curses (jammy)
ubuntu-dev-tools (jammy)
linux-signed-ibm (jammy)
linux-meta-ibm (jammy)
dotnet6 (jammy)
m2crypto (noble)
ceph (noble)
ceph (noble)
extruct (noble)
python-evtx (noble)
libfprint (noble)
gnome-builder (noble)
fwbuilder (noble)
updates
ubuntu-advantage-desktop-daemon (xenial)ubuntu-advantage-desktop-daemon (xenial)
See all
PPA updates
nginx-nr-agent (bionic)handbrake (trusty)
thunderbird (noble)
thunderbird (mantic)
thunderbird (jammy)
thunderbird (focal)
thunderbird (bionic)
thunderbird (xenial)
firefox (vera)
linux-signed-gke (noble)
linux-signed-ibm-6.8 (jammy)
linux-meta-gke (noble)
linux-generate-gke (noble)
linux-signed-gcp (mantic)
linux-restricted-modules-ibm-6.8 (jammy)
linux-meta-ibm-6.8 (jammy)
linux-generate-ibm-6.8 (jammy)
linux-signed-gcp (focal)
linux-signed-gcp-6.5 (jammy)
linux-signed-gkeop (jammy)
linux-ibm-6.8 (jammy)
linux-signed-aws (noble)
linux-restricted-modules-gcp (mantic)
linux-meta-gcp (mantic)
linux-generate-gcp (mantic)
linux-restricted-modules-gcp-6.5 (jammy)
linux-meta-gcp-6.5 (jammy)
linux-meta-gkeop (jammy)
linux-generate-gkeop (jammy)
linux-generate-gcp-6.5 (jammy)
See all