No, mysql-ocaml is fine, this really _was_ about matita. It got fixed recently, but there was no bug ref in the changelog:
matita (0.5.8-2build2) lucid; urgency=low * No change rebuild for libmysqlclient transition. -- Chuck Short <zul...@ubuntu.com Fri, 16 Apr 2010 12:12:58 -0400 ** Package changed: mysql-ocaml (Ubuntu Lucid) => matita (Ubuntu Lucid) ** Changed in: matita (Ubuntu Lucid) Status: Triaged => Fix Released -- 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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs