Bugs fixes in "prover9"
| Origin | Bug number | Title | Date fixed |
|---|---|---|---|
| Debian | 526541 | ladr: FTBFS: Cannot find debian/tmp/usr/lib/lib*.a - Debian Bug report logs | 2011-12-28 |
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.26
Latest updates
Packages changelogs
Bugs & CVEs
updates
linux-restricted-signatures-aws-6.8 (jammy)linux-restricted-modules-aws-6.8 (jammy)
linux-signed-aws-6.8 (jammy)
linux-meta-aws-6.8 (jammy)
linux-aws-6.8 (jammy)
linux-restricted-signatures-aws-5.15 (focal)
linux-restricted-modules-aws-5.15 (focal)
linux-signed-aws-5.15 (focal)
linux-aws-5.15 (focal)
linux-meta-aws-5.15 (focal)
proposed
sosreport (bionic)postgresql-12 (focal)
ubuntu-advantage-tools (focal)
ruby-curses (focal)
postgresql-12 (focal)
ubuntu-advantage-tools (focal)
llvm-toolchain-18 (noble)
ubuntu-advantage-tools (noble)
linux-restricted-signatures-oracle (noble)
linux-restricted-modules-oracle (noble)
llvm-toolchain-18 (noble)
linux-signed-oracle (noble)
ubuntu-advantage-tools (noble)
linux-meta-oracle (noble)
ubuntu-advantage-tools (mantic)
ubuntu-dev-tools (mantic)
grub2 (mantic)
grub2-signed (mantic)
grub2-unsigned (mantic)
grub2 (mantic)
See all
PPA updates
nginx-nr-agent (bionic)handbrake (trusty)
linux-restricted-modules-oem-6.10 (noble)
linux-meta-oem-6.10 (noble)
linux-generate-oem-6.10 (noble)
linux-oem-6.10 (noble)
signal-desktop (xenial)
linux-signed-oem-6.8 (noble)
linux-restricted-modules-oem-6.8 (noble)
linux-meta-oem-6.8 (noble)
linux-generate-oem-6.8 (noble)
linux-signed-oem-6.5 (jammy)
linux-oem-6.8 (noble)
linux-restricted-modules-oem-6.5 (jammy)
linux-meta-oem-6.5 (jammy)
linux-generate-oem-6.5 (jammy)
opera-developer (stable)
linux-oem-6.5 (jammy)
firefox (focal)
linux-signed-lowlatency-hwe-5.15 (focal)
linux-signed-lowlatency (jammy)
linux-signed-hwe-5.15 (focal)
linux-restricted-modules-lowlatency (jammy)
linux-meta-lowlatency (jammy)
linux-generate-lowlatency (jammy)
linux-restricted-modules-lowlatency-hwe-5.15 (focal)
linux-restricted-modules-hwe-5.15 (focal)
linux-meta-lowlatency-hwe-5.15 (focal)
linux-meta-hwe-5.15 (focal)
linux-generate-lowlatency-hwe-5.15 (focal)
See all