aboutsummarylogtreecommitdiffstats
path: root/.SRCINFO
blob: bc77b2cc3b7f65070664abcf7cc89903b0404ede (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
pkgbase = opentheory
	pkgdesc = a tool for processing higher-order logic theory packages
	pkgver = 1.4.20230321
	pkgrel = 1
	epoch = 1
	url = http://www.gilith.com/software/opentheory
	arch = i686
	arch = x86_64
	license = MIT
	makedepends = mlton
	depends = gmp
	source = https://github.com/gilith/opentheory/releases/download/v1.4.20230321/opentheory.tar.gz
	sha256sums = 666651c7ce8447644c17090a26d3abce27c06d89e8c1e6d1f9bd03e47f1d4a75

pkgname = opentheory