Bugs fixes in "dafny"
Sorry, no bug was found.
About
-
Send Feedback to @ubuntu_updates
Share this page
Bookmarks
google-chrome-beta 132.0.6834.15Latest updates
Packages changelogs
Bugs & CVEs
proposed
linux-restricted-signatures-oracle (noble)linux-restricted-modules-oracle (noble)
linux-signed-oracle (noble)
linux-meta-oracle (noble)
grub2-signed (focal)
grub2-signed (jammy)
grub2-unsigned (jammy)
linux-restricted-signatures-aws (noble)
linux-restricted-signatures-nvidia-lowlatency (noble)
linux-restricted-modules-aws (noble)
linux-restricted-modules-nvidia-lowlatency (noble)
linux-signed-aws (noble)
linux-signed-nvidia-lowlatency (noble)
linux-meta-nvidia-lowlatency (noble)
linux-meta-aws (noble)
linux-restricted-signatures-aws-6.8 (jammy)
linux-restricted-modules-aws-6.8 (jammy)
linux-signed-aws-6.8 (jammy)
linux-aws-6.8 (jammy)
linux-meta-aws-6.8 (jammy)
linux-restricted-signatures-nvidia (noble)
linux-restricted-signatures-gcp (noble)
linux-restricted-modules-nvidia (noble)
linux-restricted-modules-gcp (noble)
linux-signed-nvidia (noble)
linux-signed-gcp (noble)
linux-meta-gcp (noble)
linux-meta-nvidia (noble)
updates
python2.7 (jammy)python2.7 (focal)
See all
PPA updates
nginx-nr-agent (bionic)linux-generate-azure (oracular)
linux-meta-azure (oracular)
linux-aws (oracular)
linux-generate-gkeop (noble)
linux-meta-gkeop (noble)
linux-meta-hwe-6.11 (noble)
linux-generate-hwe-6.11 (noble)
linux-meta-oracle-6.8 (jammy)
linux-generate-oracle-6.8 (jammy)
linux-oracle-6.8 (jammy)
code-insiders (stable)
linux-hwe-6.11 (noble)
google-chrome-canary (stable)
linux-signed (oracular)
linux-signed-oracle (noble)
linux-restricted-modules (oracular)
linux-meta (oracular)
linux-generate (oracular)
linux-restricted-modules-oracle (noble)
linux-meta-oracle (noble)
linux-generate-oracle (noble)
linux-signed-lowlatency-hwe-6.8 (jammy)
linux-signed-aws-6.8 (jammy)
linux-restricted-modules-aws-6.8 (jammy)
linux-meta-aws-6.8 (jammy)
linux-generate-aws-6.8 (jammy)
linux-signed-aws (noble)
linux-restricted-modules-lowlatency-hwe-6.8 (jammy)
linux-aws-6.8 (jammy)
See all