diff options
Diffstat (limited to 'community/coq/PKGBUILD')
| -rw-r--r-- | community/coq/PKGBUILD | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD index 4fd420e77..7accbc9fa 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' 'mips64el') 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} |