Bugs fixes in "camlp5"
| Origin | Bug number | Title | Date fixed |
|---|---|---|---|
| Debian | 802264 | src:matita: FTBFS with OCaml 4.02.3 - Debian Bug report logs | 2016-04-20 |
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 125.0.6422.14
Latest updates
Packages changelogs
Bugs & CVEs
proposed
software-properties (noble)software-properties (noble)
ipu6-drivers (noble)
linux-nvidia-tegra-igx-modules-signed (jammy)
linux-nvidia-tegra-igx (jammy)
php7.4 (focal)
php7.4 (focal)
chibi-scheme (mantic)
power-profiles-daemon (mantic)
timeshift (jammy)
squid (jammy)
libvpoll-eventfd (jammy)
poppler (jammy)
php8.1 (jammy)
chibi-scheme (jammy)
octavia (jammy)
power-profiles-daemon (jammy)
poppler (jammy)
squid (jammy)
php8.1 (jammy)
cinder (mantic)
mstflint (jammy)
cinder (jammy)
cinder (focal)
xorg-server (mantic)
bind-dyndb-ldap (mantic)
xorg-server (mantic)
xorg-server (jammy)
xorg-server (jammy)
linux-signed-azure-fde (jammy)
See all
PPA updates
nginx-nr-agent (bionic)handbrake (trusty)
firefox (noble)
firefox-trunk (noble)
firefox (mantic)
firefox-trunk (mantic)
firefox (jammy)
firefox-trunk (jammy)
firefox-trunk (focal)
firefox (focal)
linux-signed (focal)
linux-restricted-modules (focal)
linux-signed (mantic)
linux-signed (jammy)
linux-meta (focal)
linux-generate (focal)
firefox (focal)
google-chrome-unstable (stable)
firefox (noble)
inkscape (noble)
firefox (mantic)
linux-restricted-modules (mantic)
firefox (jammy)
linux-restricted-modules (jammy)
brave-browser (stable)
linux-meta (mantic)
linux-generate (mantic)
linux-meta (jammy)
linux-generate (jammy)
linux (focal)
See all