blob: 3d48b8dc760e1bf588d82f355be7c1e435f4ec5a (
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.7.dev2
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/36/43/e646158ec760f4ba28641fd9ca4827aa4b8ee128564b6eebb5deb7e92188/python-sat-0.1.7.dev2.tar.gz
sha512sums = 88e883dfcacbf2ab65ed438a984f1f9f16c4a2d41a15c047544155d2c9d9f79e7536d020eebc1741cc42d25b3f635e72a4cd4082a01709411613a1fa655b2926
pkgname = python-python-sat
|