Git-Url:
http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=71c57ff9f12021e0e8954860c846999865766ae5
commit 71c57ff9f12021e0e8954860c846999865766ae5
Author: Devil505 <devil505li...@gmail.com>
Date: Sun Feb 8 14:53:26 2009 +0100
coq-8.1pl4-1-x86_64
* added x86_64 to archs
diff --git a/source/xapps-extra/coq/FrugalBuild
b/source/xapps-extra/coq/FrugalBuild
index cad85ef..9f03614 100644
--- a/source/xapps-extra/coq/FrugalBuild
+++ b/source/xapps-extra/coq/FrugalBuild
@@ -10,7 +10,7 @@ source=("$url/V$pkgver/files/$pkgname-$pkgver.tar.gz")
depends=('ocaml' 'lablgtk2' 'camlp5')
options=('scriptlet')
groups=('xapps-extra')
-archs=('i686')
+archs=('i686' 'x86_64')
up2date="lynx -dump $url/distrib1-eng.html | grep "sources" | Flasttar"
Fconfopts="--prefix /usr --reals all --coqide opt"
_F_desktop_name="Coqide"
_______________________________________________
Frugalware-git mailing list
Frugalware-git@frugalware.org
http://frugalware.org/mailman/listinfo/frugalware-git
