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 <<email address hidden> Fri, 16 Apr 2010 12:12:58 -0400
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 <<email address hidden> Fri, 16 Apr 2010 12:12:58 -0400