summaryrefslogtreecommitdiff
path: root/community/coq/PKGBUILD
diff options
context:
space:
mode:
authorroot <root@rshg054.dnsready.net>2011-11-01 23:15:01 +0000
committerroot <root@rshg054.dnsready.net>2011-11-01 23:15:01 +0000
commit37a1064b8105764414f279ced442e6ba2f63bea1 (patch)
tree173b87cd6535e622eff464080b398e0330df72bc /community/coq/PKGBUILD
parent560562e36a27da267f2f4f7989806790192888ef (diff)
Tue Nov 1 23:15:01 UTC 2011
Diffstat (limited to 'community/coq/PKGBUILD')
-rw-r--r--community/coq/PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD
index b369ce4d2..ede4757ef 100644
--- a/community/coq/PKGBUILD
+++ b/community/coq/PKGBUILD
@@ -3,7 +3,7 @@
pkgname=coq
pkgver=8.3pl2
-pkgrel=2
+pkgrel=3
pkgdesc='Formal proof management system.'
arch=('i686' 'x86_64')
url='http://coq.inria.fr/'