%FILENAME%
python-pycosat-0.6.3-3-x86_64.pkg.tar.xz

%NAME%
python-pycosat

%BASE%
pycosat

%VERSION%
0.6.3-3

%DESC%
Python 3 bindings to picosat (a SAT solver)

%CSIZE%
46148

%ISIZE%
128999

%SHA256SUM%
306044baf481673f50b005e4e31e06853190e5f1ecf4b682aab6ce63415ec5f5

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl2/weoACgkQeGxj8zDXy5K/5A//YBAQqF/5PRSqs65jNk+1c+9XO7GFFlLda7OB/IZ37mQIb/UrfCMXo1hHEsz45Tfb8k8RFC4CWiMkeO8OEIdjw/GXSKTb3smzr1IOo5ktBXrKsASMkvkMJZF/Rhgab+i51Gn588TElQukmGXxi2vHQiUsfdy8ntFuaHPWooG7SQ+BFP/Ax7phiua+noP/fcS1UxEcCrspYmG9LeK04E7L6fOFMzp8aA31LuYBJky01u/g7UF/uvVta+Yx+djrEkUYcWqrLlc1hzezfn79qJqpfw9F7n9srqFsrOohJD+iScsWPfdhHQcB0YrPSWNz+lpkcs+7cu+1mb0fJCu2qe/99Q7yWjwd3zV7OcZ1Rt0FkRB9F4u5lYykc3Qhm7aaIybX7kEFBJI22Xdy3bLN+SjGNgPNc/MC1pfUX37l40FhiNTXPlLJwb3hdBSJEp4v8NZSNRpgbt+ERJ/zSGe3p4at+T64jx3/Iwi3V1KEhClAfb1i4zbQvD6fLRVvlT0jiFxBFzSTOxjKDckyoa2HhkhDG+QJNAwennlFoXSi9DgVApKYMjxR0zz1119hD1WSPS3LgjX4pgBtXv27ahd6x67YKTvD/1WU69U7M7DNfbSvGwZACA/82QcPA7ycDDvAZJXUSzlb9U4HI7KnRfS/Cm8j52zRIGU0XEliim6Q8wpy3so=

%URL%
https://github.com/ContinuumIO/pycosat

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1572848073

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
python

%MAKEDEPENDS%
python
python2

