The bug should not be reported against Matita, but rather against mysql- ocaml. Matita uses the C bindings of the Mysql library for OCaml. A rebuild of matita should be enough to get rid of the dependency if mysql-ocaml is built using the desired version.
** Package changed: matita (Ubuntu Lucid) => mysql-ocaml (Ubuntu Lucid) -- Please remove Mysql 5.0 from the archive for lucid. https://bugs.launchpad.net/bugs/563053 You received this bug notification because you are a member of Mythbuntu Bug Team, which is subscribed to mythtv in ubuntu. Status in “gpsdrive” package in Ubuntu: Fix Committed Status in “mysql-dfsg-5.0” package in Ubuntu: Triaged Status in “mysql-ocaml” package in Ubuntu: Triaged Status in “mythplugins” package in Ubuntu: In Progress Status in “mythtv” package in Ubuntu: Fix Released Status in “gpsdrive” source package in Lucid: Fix Committed Status in “mysql-dfsg-5.0” source package in Lucid: Triaged Status in “mysql-ocaml” source package in Lucid: Triaged Status in “mythplugins” source package in Lucid: In Progress Status in “mythtv” source package in Lucid: Fix Released Bug description: Please remove mysql 5.0 from the archive from lucid. There should be nothing depending on it now and we prefer to have users run mysql 5.1 for lucid. Regards chuck _______________________________________________ Mailing list: https://launchpad.net/~mythbuntu-bugs Post to : [email protected] Unsubscribe : https://launchpad.net/~mythbuntu-bugs More help : https://help.launchpad.net/ListHelp

