Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=d085f994cbf561d95e05150a53f528208ed2cecd
commit d085f994cbf561d95e05150a53f528208ed2cecd Author: Elentir <[email protected]> Date: Mon Dec 26 11:07:53 2011 +0100 coq-8.3pl3-1-x86_64 * version bump diff --git a/source/xapps-extra/coq/FrugalBuild b/source/xapps-extra/coq/FrugalBuild index 3fbde27..dad7172 100644 --- a/source/xapps-extra/coq/FrugalBuild +++ b/source/xapps-extra/coq/FrugalBuild @@ -2,13 +2,13 @@ # Maintainer: Elentir <[email protected]> pkgname=coq -pkgver=8.3pl2 +pkgver=8.3pl3 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") depends=('gtk+2-libs' 'gdk-pixbuf2') -makedepends=('ocaml>=3.11.1' 'lablgtk2' 'camlp5') +makedepends=('ocaml>=3.11.1' 'lablgtk2' 'camlp5>=6.02.3-2') options=('scriptlet' 'nostrip') groups=('xapps-extra') archs=('i686' 'x86_64') @@ -18,7 +18,7 @@ _F_desktop_name="Coqide" _F_desktop_exec="coqide" _F_desktop_categories="Science;Math;" _F_desktop_icon="$pkgname.png" -sha1sums=('8506761e4755739cc728aff790dd778db8217f3f') +sha1sums=('a5b0cbca8bf556fe7eb804ccdb39bba49e1ae014') build() { unset MAKEFLAGS _______________________________________________ Frugalware-git mailing list [email protected] http://frugalware.org/mailman/listinfo/frugalware-git
