Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=36c50355f74eef78fb5ab59685ae480933a1fb93
commit 36c50355f74eef78fb5ab59685ae480933a1fb93 Author: Elentir <elen...@frugalware.org> Date: Wed Aug 4 11:41:52 2010 +0200 coq-8.2pl2-2-i686 * fixed depends diff --git a/source/xapps-extra/coq/FrugalBuild b/source/xapps-extra/coq/FrugalBuild index ab87faf..f68723a 100644 --- a/source/xapps-extra/coq/FrugalBuild +++ b/source/xapps-extra/coq/FrugalBuild @@ -3,11 +3,12 @@ pkgname=coq pkgver=8.2pl2 -pkgrel=1 +pkgrel=2 pkgdesc="Coq is a formal proof management system" url="http://coq.inria.fr/"; source=("$url/distrib/V$pkgver/files/$pkgname-$pkgver.tar.gz") -depends=('ocaml>=3.11.1' 'lablgtk2>=2.14.0-3' 'camlp5') +depends=('gtk+2') +makedepends=('ocaml>=3.11.1' 'lablgtk2' 'camlp5') options=('scriptlet' 'nostrip') groups=('xapps-extra') archs=('i686' 'x86_64') _______________________________________________ Frugalware-git mailing list Frugalware-git@frugalware.org http://frugalware.org/mailman/listinfo/frugalware-git
