diff options
| author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-03-28 23:55:37 -0300 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-03-28 23:55:37 -0300 |
| commit | 2d0e587bd1c7ac060a95a0e20cfe00ab19db7e14 (patch) | |
| tree | 66a82d2834fe42b3411c09ad9fdcc4bd6af079ac /community/coq/PKGBUILD | |
| parent | 6aa1c22fe01ff4df6c5f75fd04d551b53f7df389 (diff) | |
| parent | 44ded298ebb49500d321ac79b7d0d8bb4d5058ec (diff) | |
Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64el
Conflicts:
core/gnupg/PKGBUILD
core/openldap/PKGBUILD
gnome-unstable/evince/PKGBUILD
gnome-unstable/evolution-data-server/PKGBUILD
gnome-unstable/evolution/PKGBUILD
gnome-unstable/farstream/PKGBUILD
gnome-unstable/gnome-desktop/PKGBUILD
gnome-unstable/gnome-menus/PKGBUILD
gnome-unstable/gnome-panel/PKGBUILD
gnome-unstable/gtkhtml4/PKGBUILD
gnome-unstable/libgnomekbd/PKGBUILD
gnome-unstable/libwacom/PKGBUILD
gnome-unstable/libwnck3/PKGBUILD
gnome-unstable/network-manager-applet/PKGBUILD
gnome-unstable/networkmanager-openconnect/PKGBUILD
gnome-unstable/networkmanager-openvpn/PKGBUILD
gnome-unstable/networkmanager-pptp/PKGBUILD
gnome-unstable/networkmanager-vpnc/PKGBUILD
gnome-unstable/networkmanager/PKGBUILD
gnome-unstable/pidgin/PKGBUILD
testing/gnupg/PKGBUILD
Diffstat (limited to 'community/coq/PKGBUILD')
| -rw-r--r-- | community/coq/PKGBUILD | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD index 3c8c707c3..fa18fdb02 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' 'mips64el') 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' \ |