blob: e720bb92093d4e71586adf3301c3e4c2682556b3 (
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 = 1.8.dev13
pkgrel = 1
url = https://github.com/pysathq/pysat
arch = any
license = MIT
makedepends = python-build
makedepends = python-installer
makedepends = python-wheel
depends = python
depends = python-six
source = https://files.pythonhosted.org/packages/source/p/python-sat/python-sat-1.8.dev13.tar.gz
sha512sums = 1a71d2ed0554fd50e8be0bdccc943650cf391019b8946bf033e138ede45c66eefbecd514aba3359c66abe30c65fccd4de7d8f26105f2b905042cc0dba4d1830a
pkgname = python-python-sat
|