From 1fa6edfba8d1e31ca1c0d59e8202cd3c62ccf393 Mon Sep 17 00:00:00 2001
From: root <root@rshg054.dnsready.net>
Date: Mon, 6 Feb 2012 23:14:50 +0000
Subject: Mon Feb  6 23:14:50 UTC 2012

---
 community/coq/PKGBUILD | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'community/coq')

diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD
index 2f2750606..15223d9d4 100644
--- a/community/coq/PKGBUILD
+++ b/community/coq/PKGBUILD
@@ -3,7 +3,7 @@
 
 pkgname=coq
 pkgver=8.3pl3
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system.'
 arch=('i686' 'x86_64')
 url='http://coq.inria.fr/'
@@ -11,11 +11,11 @@ license=('GPL')
 options=('!emptydirs')
 depends=('gtk2' 'lablgtk2' 'ocaml')
 makedepends=('camlp5-transitional' 'netpbm' 'hevea')
-source=("http://coq.inria.fr/distrib/V${pkgver}/files/${pkgname}-${pkgver}.tar.gz")
+source=("http://coq.inria.fr/distrib/V${pkgver}/files/coq-${pkgver}.tar.gz")
 md5sums=('37e9a52110a025128667c03fed75f9c2')
 
 build() {
-  cd ${pkgname}-${pkgver}
+  cd coq-${pkgver}
 
   ./configure \
     -prefix '/usr' \
@@ -29,7 +29,7 @@ build() {
 }
 
 package() {
-  cd ${pkgname}-${pkgver}
+  cd coq-${pkgver}
 
   make COQINSTALLPREFIX=${pkgdir} install
 
-- 
cgit v1.2.3-54-g00ecf