summaryrefslogtreecommitdiff
path: root/community/coq
diff options
context:
space:
mode:
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}