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 Ubuntu Server Team, which is subscribed to mysql-dfsg-5.0 in ubuntu. -- Ubuntu-server-bugs mailing list Ubuntu-server-bugs@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs