blob: 1a634813e0aca8d71e432b5a696ce0194559f1c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
pkgbase = python-python-sat
pkgdesc = A Python library for prototyping with SAT oracles
pkgver = 0.1.8.dev9
pkgrel = 1
url = https://github.com/pysathq/pysat
arch = any
license = GPL3
depends = python
depends = python-six
source = https://files.pythonhosted.org/packages/source/p/python-sat/python-sat-0.1.8.dev9.tar.gz
sha512sums = 53eef81c990868cd39a95da91e3f7789884f590d3b199cd9ed4089cebef39bc2d5d26c80db856dbb8c05436358db7e6bda5d894ece524d11455bb77f25006e6b
pkgname = python-python-sat
|