1 files changed, 2 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index f3e64a72c469..0fa1387a8e5c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -9,7 +9,8 @@ license=('GPL2')
 depends=('libglade' 'gtksourceview2')
 optdepends=('yelp: for the online helper')
 makedepends=('ocaml' 'ocaml-findlib' 'ocaml-expat' 'lablgtk2' 'gtksourceview2' 'ocamlnet'
-'ocaml-http-git' 'ulex08' 'ocaml-camlzip' 'camlp5' 'autoconf' 'make' 'help2man' 'gmetadom')
+'ocaml-http-git' 'ulex08' 'ocaml-camlzip' 'camlp5' 'autoconf' 'make' 'help2man' 'gmetadom'
+'ocaml-mysql')
 #install="$pkgname.install"
 changelog=ChangeLog
 source=("http://matita.cs.unibo.it/sources/matita-0.99.3.tar.gz" "matita.desktop"