summaryrefslogtreecommitdiff
path: root/community/coq
diff options
context:
space:
mode:
authorroot <root@rshg047.dnsready.net>2011-05-10 22:33:36 +0000
committerroot <root@rshg047.dnsready.net>2011-05-10 22:33:36 +0000
commit01b47af6474ac094ec199c7d75208874f8842d87 (patch)
tree44a048d09e5233a98d35c660e67be2a818832a56 /community/coq
parentbbb460f85242e6ac03f47b74b9d0be66ff089ac4 (diff)
Tue May 10 22:33:36 UTC 2011
Diffstat (limited to 'community/coq')
-rw-r--r--community/coq/PKGBUILD7
1 files changed, 3 insertions, 4 deletions
diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD
index 35138b391..4c236d0d8 100644
--- a/community/coq/PKGBUILD
+++ b/community/coq/PKGBUILD
@@ -2,17 +2,16 @@
# Contributor: George Giorgidze <giorgidze@gmail.com>
pkgname=coq
-pkgver=8.3pl1
-pkgrel=2
+pkgver=8.3pl2
+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=('force')
source=("http://coq.inria.fr/distrib/V${pkgver}/files/${pkgname}-${pkgver}.tar.gz")
-md5sums=('1869d22b337f5da59ba3bbe1433f9a3b')
+md5sums=('db415f6c5372f5a443699c62f5affcb4')
build() {
cd ${pkgname}-${pkgver}