diff options
Diffstat (limited to 'community/coq')
| -rw-r--r-- | community/coq/PKGBUILD | 7 |
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} |