blob: ff9e2d4dbdd4684f15bb1bd328adb7709439c895 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
pkgbase = twelf
pkgdesc = An implementation of the logical framework LF
pkgver = 1.7.1
pkgrel = 3
url = http://twelf.org/
install = twelf.install
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
|