twelf 1.7.1-3

2 files changed, 4 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 21db7e4ffb5e..ff9e2d4dbdd4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,9 @@
-# Generated by mksrcinfo v8
-# Tue Mar 22 23:47:51 UTC 2016
 pkgbase = twelf
 	pkgdesc = An implementation of the logical framework LF
 	pkgver = 1.7.1
-	pkgrel = 2
+	pkgrel = 3
 	url = http://twelf.org/
 	install = twelf.install
-	arch = i686
 	arch = x86_64
 	license = BSD
 	makedepends = smlnj
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