pkgbase = twelf
	pkgdesc = An implementation of the logical framework LF
	pkgver = 1.7.1
	pkgrel = 4
	url = http://twelf.org/
	install = twelf.install
	arch = x86_64
	license = BSD
	makedepends = smlnj
	depends = bash
	depends = gmp
	depends = smlnj
	depends = subversion
	depends = inetutils
	provides = twelf
	conflicts = twelf-git
	source = http://twelf.org/releases/twelf-src-1.7.1.tar.gz
	md5sums = 1cb556366dd534f8c1c858614dd57e16

pkgname = twelf