Git-Url: 
http://git.frugalware.org/gitweb/gitweb.cgi?p=wipv.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

Reply via email to