Git-Url: 
http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=b7f490ed724286a81fd0f61584b9b658b5c1585e

commit b7f490ed724286a81fd0f61584b9b658b5c1585e
Author: bouleetbil <bouleet...@frogdev.info>
Date:   Wed Jul 22 16:10:30 2009 +0200

coq-8.2-2-i686
*rebuild due xorg bump

diff --git a/source/xapps-extra/coq/FrugalBuild 
b/source/xapps-extra/coq/FrugalBuild
index 921299c..5fc05e3 100644
--- a/source/xapps-extra/coq/FrugalBuild
+++ b/source/xapps-extra/coq/FrugalBuild
@@ -3,11 +3,11 @@

pkgname=coq
pkgver=8.2
-pkgrel=1
+pkgrel=2
pkgdesc="Coq is a formal proof management system"
url="http://coq.inria.fr/";
source=("$url/V$pkgver/files/$pkgname-$pkgver.tar.gz")
-depends=('ocaml' 'lablgtk2' 'camlp5')
+depends=('ocaml' 'lablgtk2>=2.12.0-1' '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