.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

# 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
	url = http://twelf.org/
	install = twelf.install
	arch = i686
	arch = x86_64
	license = BSD
	makedepends = smlnj
	depends = bash
	depends = gmp
	depends = smlnj
	provides = twelf
	conflicts = twelf-git
	source = http://twelf.org/releases/twelf-src-1.7.1.tar.gz
	md5sums = 1cb556366dd534f8c1c858614dd57e16

pkgname = twelf