Bugs fixes in "prover9-mace4"
| Origin | Bug number | Title | Date fixed |
|---|---|---|---|
| Debian | 645569 | Please update to wxwidgets2.8 - Debian Bug report logs | 2011-12-24 |
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.81
google-chrome-beta 130.0.6723.31
Latest updates
Packages changelogs
Bugs & CVEs
updates
linux-restricted-signatures-aws-6.8 (jammy)linux-restricted-signatures-oracle-6.8 (jammy)
linux-restricted-modules-oracle-6.8 (jammy)
linux-restricted-modules-aws-6.8 (jammy)
linux-signed-aws-6.8 (jammy)
linux-signed-oracle-6.8 (jammy)
linux-meta-oracle-6.8 (jammy)
linux-oracle-6.8 (jammy)
linux-aws-6.8 (jammy)
linux-meta-aws-6.8 (jammy)
dotnet8 (noble)
shadow (noble)
dotnet8 (noble)
dotnet8 (jammy)
dotnet6 (jammy)
livecd-rootfs (noble)
ruby-webrick (jammy)
livecd-rootfs (jammy)
livecd-rootfs (focal)
smifb2 (noble)
m2crypto (noble)
security
dotnet8 (noble)dotnet8 (noble)
dotnet8 (jammy)
dotnet6 (jammy)
ruby-webrick (jammy)
apparmor (jammy)
apparmor (jammy)
proposed
m2crypto (noble)smifb2 (noble)
See all
PPA updates
handbrake (trusty)nginx-nr-agent (bionic)
linux-xilinx-zynqmp (focal)
code-insiders (stable)
linux-xilinx-zynqmp (jammy)
linux-signed-gcp (jammy)
linux-signed-gcp (focal)
linux-restricted-modules-gcp (jammy)
linux-meta-gcp (jammy)
linux-generate-gcp (jammy)
linux-restricted-modules-gcp (focal)
linux-meta-gcp (focal)
linux-generate-gcp (focal)
google-chrome-stable (stable)
code (stable)
linux-signed-aws (jammy)
linux-signed-aws (focal)
linux-restricted-modules-aws (jammy)
linux-meta-aws (jammy)
linux-generate-aws (jammy)
linux-restricted-modules-aws (focal)
linux-meta-aws (focal)
linux-generate-aws (focal)
linux-signed-oracle (jammy)
linux-signed-lowlatency-hwe-5.15 (focal)
linux-signed-hwe-5.15 (focal)
linux-generate (noble)
linux-restricted-modules-oracle (jammy)
linux-signed-lowlatency (jammy)
linux-meta-oracle (jammy)
See all