Ubuntu
mysql-dfsg-5.0 package

  1. Bug #563053
  2. Comment #4

Comment 4 for bug 563053

Revision history for this message
Mehdi (mehdid) wrote :

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.