diff options
author | Andrea Berlingieri | 2019-06-16 16:46:13 +0200 |
---|---|---|
committer | Andrea Berlingieri | 2019-06-16 16:46:13 +0200 |
commit | adce492e531c18124d69f4fa0054b03858063a7e (patch) | |
tree | 616a69fdaefa240bf7dd35b20f5822c7257856f3 /PKGBUILD | |
parent | 812f1ca1fd60a9426786aa7b06add3ae7e860ebd (diff) | |
download | aur-matita.tar.gz |
Add ocaml-mysql dependency
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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" |