From 37a1064b8105764414f279ced442e6ba2f63bea1 Mon Sep 17 00:00:00 2001 From: root Date: Tue, 1 Nov 2011 23:15:01 +0000 Subject: Tue Nov 1 23:15:01 UTC 2011 --- community/coq/PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'community/coq') 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/' -- cgit v1.2.3-54-g00ecf