Git-Url: 
http://git.frugalware.org/gitweb/gitweb.cgi?p=wipv.git;a=commitdiff;h=12dddff72956fcdc56b58d1885bf5627c1446169

commit 12dddff72956fcdc56b58d1885bf5627c1446169
Author: Elentir <elen...@frugalware.org>
Date:   Fri Jul 9 17:49:06 2010 +0200

coq-8.2pl2-1-i686

* version bump

diff --git a/source/xapps-extra/coq/FrugalBuild 
b/source/xapps-extra/coq/FrugalBuild
index 0f8a63b..ab87faf 100644
--- a/source/xapps-extra/coq/FrugalBuild
+++ b/source/xapps-extra/coq/FrugalBuild
@@ -1,9 +1,9 @@
# Compiling Time: 7.61 SBU
-# Maintainer: Elentir <elen...@mailoo.org>
+# Maintainer: Elentir <elen...@frugalware.org>

pkgname=coq
-pkgver=8.2pl1
-pkgrel=2
+pkgver=8.2pl2
+pkgrel=1
pkgdesc="Coq is a formal proof management system"
url="http://coq.inria.fr/";
source=("$url/distrib/V$pkgver/files/$pkgname-$pkgver.tar.gz")
@@ -17,7 +17,7 @@ _F_desktop_name="Coqide"
_F_desktop_exec="coqide"
_F_desktop_categories="Science;Math;"
_F_desktop_icon="$pkgname.png"
-sha1sums=('4aed3302adc2edbaa5d97984512c1c13014bd649')
+sha1sums=('97e1f3d458845cb2934fa0573521fa517994295a')

build() {
unset MAKEFLAGS
_______________________________________________
Frugalware-git mailing list
Frugalware-git@frugalware.org
http://frugalware.org/mailman/listinfo/frugalware-git

Reply via email to