.SRCINFO


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

# Generated by mksrcinfo v8
# Mon May 23 04:34:00 UTC 2016
pkgbase = opentheory
	pkgdesc = a tool for processing higher-order logic theory packages
	pkgver = 1.3r20160515
	pkgrel = 1
	url = http://www.gilith.com/software/opentheory
	arch = i686
	arch = x86_64
	license = MIT
	makedepends = mlton
	source = opentheory-1.3r20160515.tar.gz::http://www.gilith.com/software/opentheory/opentheory.tar.gz
	md5sums = 6bf742423e8a06392803c582882388e3

pkgname = opentheory