From eefecc8813e0c062a2058b33209cb30830f824b6 Mon Sep 17 00:00:00 2001
From: root <root@rshg054.dnsready.net>
Date: Thu, 19 Jan 2012 23:15:04 +0000
Subject: Thu Jan 19 23:15:03 UTC 2012

---
 community/coq/PKGBUILD | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'community/coq/PKGBUILD')

diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD
index ede4757ef..2f2750606 100644
--- a/community/coq/PKGBUILD
+++ b/community/coq/PKGBUILD
@@ -2,16 +2,17 @@
 # Contributor: George Giorgidze <giorgidze@gmail.com>
 
 pkgname=coq
-pkgver=8.3pl2
-pkgrel=3
+pkgver=8.3pl3
+pkgrel=1
 pkgdesc='Formal proof management system.'
 arch=('i686' 'x86_64')
 url='http://coq.inria.fr/'
 license=('GPL')
-depends=('gtk2')
-makedepends=('ocaml' 'lablgtk2' 'camlp5-transitional' 'netpbm' 'hevea')
+options=('!emptydirs')
+depends=('gtk2' 'lablgtk2' 'ocaml')
+makedepends=('camlp5-transitional' 'netpbm' 'hevea')
 source=("http://coq.inria.fr/distrib/V${pkgver}/files/${pkgname}-${pkgver}.tar.gz")
-md5sums=('db415f6c5372f5a443699c62f5affcb4')
+md5sums=('37e9a52110a025128667c03fed75f9c2')
 
 build() {
   cd ${pkgname}-${pkgver}
-- 
cgit v1.2.3-54-g00ecf