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
|