Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=cdeacd645cd0b55caa5c0df07ac815e8bf53c6aa
commit cdeacd645cd0b55caa5c0df07ac815e8bf53c6aa Author: Elentir <elen...@frugalware.org> Date: Fri Apr 29 18:50:21 2011 +0200 coq-8.3pl2-1-x86_64 * version bump diff --git a/source/xapps-extra/coq/FrugalBuild b/source/xapps-extra/coq/FrugalBuild index 7b375c6..3fbde27 100644 --- a/source/xapps-extra/coq/FrugalBuild +++ b/source/xapps-extra/coq/FrugalBuild @@ -2,7 +2,7 @@ # Maintainer: Elentir <elen...@frugalware.org> pkgname=coq -pkgver=8.3pl1 +pkgver=8.3pl2 pkgrel=1 pkgdesc="Coq is a formal proof management system" url="http://coq.inria.fr/" @@ -18,7 +18,7 @@ _F_desktop_name="Coqide" _F_desktop_exec="coqide" _F_desktop_categories="Science;Math;" _F_desktop_icon="$pkgname.png" -sha1sums=('3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f') +sha1sums=('8506761e4755739cc728aff790dd778db8217f3f') build() { unset MAKEFLAGS _______________________________________________ Frugalware-git mailing list Frugalware-git@frugalware.org http://frugalware.org/mailman/listinfo/frugalware-git