blob: 5e82658f0f288fdd7edb5693da42cd572dcb810f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = twelf-git
pkgdesc = An implementation of the logical framework LF
pkgver = 20130819
pkgrel = 4
url = http://twelf.org/
install = twelf-git.install
arch = i686
arch = x86_64
license = BSD
makedepends = smlnj
depends = bash
depends = gmp
depends = smlnj
provides = twelf
conflicts = twelf
source = twelf-git::git://github.com/standardml/twelf.git
md5sums = SKIP
pkgname = twelf-git
|