twelf 1.7.1-3

1 files changed, 3 insertions, 3 deletions

diff --git a/PKGBUILD b/PKGBUILD
index b0c8ca8042c3..b2c3332d891a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,11 +2,11 @@
 
 pkgname=twelf
 pkgver=1.7.1
-pkgrel=2
+pkgrel=3
 pkgdesc='An implementation of the logical framework LF'
 url='http://twelf.org/'
 license=('BSD')
-arch=('i686' 'x86_64')
+arch=('x86_64')
 depends=('bash' 'gmp' 'smlnj')
 makedepends=('smlnj')
 provides=('twelf')
@@ -24,7 +24,7 @@ package() {
   cd "$pkgname"
   cat > ./bin/twelf-server <<EOF
 #!/bin/sh
-exec "sml" @SMLload="/opt/twelf/bin/.heap/twelf-server.x86-linux" @SMLdebug=/dev/null
+exec "sml" @SMLload="/opt/twelf/bin/.heap/twelf-server.amd64-linux" @SMLdebug=/dev/null
 EOF
   install -d -m755 $pkgdir/opt/twelf $pkgdir/usr/bin
   cp -r . $pkgdir/opt/twelf