summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 7015cb188c6e7ef227001d26fdc308bb1a34a3b4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
pkgbase = python-python-sat
	pkgdesc = A Python library for prototyping with SAT oracles
	pkgver = 0.1.6.dev9
	pkgrel = 1
	url = https://github.com/pysathq/pysat
	arch = any
	license = GPL3
	depends = python
	depends = python-six
	provides = python-python-sat
	conflicts = python-python-sat
	source = https://files.pythonhosted.org/packages/b1/0e/b40bc277d7c7a0567219d97b020259429eec0fa274bd580494767be07193/python-sat-0.1.6.dev9.tar.gz
	sha512sums = d627263a93c590a9cd2692207e5d2c264d3e555d3b5dac4055759d0c7fc88d98f03115970a4160e8079aa0ded4852fc233f56a3c8c53b8609b9e93d7f7c67066

pkgname = python-python-sat