diff options
| author | Nicolas Reynolds <fauno@kiwwwi.com.ar> | 2011-05-11 11:42:51 -0300 |
|---|---|---|
| committer | Nicolas Reynolds <fauno@kiwwwi.com.ar> | 2011-05-11 11:42:51 -0300 |
| commit | 214c4f12ab4dfb21722a383924603c21698282c5 (patch) | |
| tree | 9a1b5e3e6476b5180a5727865778ba8f69c0a24a /community/coq/PKGBUILD | |
| parent | 5f132e10473a4d8845752a6aa16fbd8f3e432c6f (diff) | |
| parent | 01b47af6474ac094ec199c7d75208874f8842d87 (diff) | |
Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64el
Conflicts:
core/openssh/PKGBUILD
extra/gnome-python-desktop/PKGBUILD
extra/libgnome/PKGBUILD
extra/sane/PKGBUILD
libre/kernel26-libre/PKGBUILD
Diffstat (limited to 'community/coq/PKGBUILD')
| -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 9529dd6df..8ffce933f 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' 'mips64el') 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} |