.SRCINFO


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

# Generated by mksrcinfo v8
# Wed Apr 20 05:43:34 UTC 2016
pkgbase = teyjus
	pkgdesc = An efficient implementation of the higher-order logic programming language Lambda Prolog
	pkgver = 2.1
	pkgrel = 1
	url = http://teyjus.cs.umn.edu/
	arch = i686
	arch = x86_64
	license = GPL3
	makedepends = ocaml
	makedepends = omake
	makedepends = flex
	makedepends = bison
	depends = glibc
	source = https://github.com/teyjus/teyjus/archive/v2.1.tar.gz
	md5sums = e146dc66f1c526d3906112cc5edfb93c

pkgname = teyjus