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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
