summaryrefslogtreecommitdiff
path: root/community/coq
diff options
context:
space:
mode:
Diffstat (limited to 'community/coq')
-rw-r--r--community/coq/PKGBUILD14
1 files changed, 4 insertions, 10 deletions
diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD
index 1054b6853..31077d16d 100644
--- a/community/coq/PKGBUILD
+++ b/community/coq/PKGBUILD
@@ -2,8 +2,8 @@
# Contributor: George Giorgidze <giorgidze@gmail.com>
pkgname=coq
-pkgver=8.3pl3
-pkgrel=3
+pkgver=8.3pl4
+pkgrel=1
pkgdesc='Formal proof management system.'
arch=('i686' 'x86_64')
url='http://coq.inria.fr/'
@@ -11,18 +11,12 @@ license=('GPL')
options=('!emptydirs')
depends=('gtk2' 'lablgtk2' 'ocaml')
makedepends=('camlp5-transitional' 'netpbm' 'hevea')
-source=("http://coq.inria.fr/distrib/V${pkgver}/files/coq-${pkgver}.tar.gz"
- 'camlp5-latest-fix.diff')
-md5sums=('37e9a52110a025128667c03fed75f9c2'
- '76c55f67f86a3f4b782bbba02ba8893f')
+source=("http://coq.inria.fr/distrib/V${pkgver}/files/coq-${pkgver}.tar.gz")
+md5sums=('88e2ce021b09eca207e3119d5202a695')
build() {
cd coq-${pkgver}
- # fix compilation bug, remove next bump
- # https://coq.inria.fr/bugs/show_bug.cgi?id=2728
- patch -Np0 -i ${srcdir}/camlp5-latest-fix.diff
-
./configure \
-prefix '/usr' \
-mandir '/usr/share/man' \