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

commit c375f5284cb7af3ef136541a0b053d0e9c4fa033
Author: bouleetbil <bouleet...@frogdev.info>
Date:   Sun May 2 18:41:20 2010 +0200

coq-8.2pl1-2-x86_64

* Rebuild with new libs.

diff --git a/source/xapps-extra/coq/FrugalBuild 
b/source/xapps-extra/coq/FrugalBuild
index 5cb2d44..0f8a63b 100644
--- a/source/xapps-extra/coq/FrugalBuild
+++ b/source/xapps-extra/coq/FrugalBuild
@@ -3,11 +3,11 @@

pkgname=coq
pkgver=8.2pl1
-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.12.0' 'camlp5')
+depends=('ocaml>=3.11.1' 'lablgtk2>=2.14.0-3' '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