diff options
| author | root <root@rshg047.dnsready.net> | 2011-05-10 22:33:36 +0000 |
|---|---|---|
| committer | root <root@rshg047.dnsready.net> | 2011-05-10 22:33:36 +0000 |
| commit | 01b47af6474ac094ec199c7d75208874f8842d87 (patch) | |
| tree | 44a048d09e5233a98d35c660e67be2a818832a56 /community/coq | |
| parent | bbb460f85242e6ac03f47b74b9d0be66ff089ac4 (diff) | |
Tue May 10 22:33:36 UTC 2011
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} |