On Thu, Feb 9, 2017 at 1:35 AM, Marius Bakke <mba...@fastmail.com> wrote: > > Does this package not need "picosat" as input? Or is it bundled? >
I used `./pre-inst-env guix environment guix --pure -- ./pre-inst-env guix build --rounds=3 python-pycosat` to build the package, and it built successfully without requiring picosat as an input, and hence I submitted the patch as it was. I will fix the remaining issues and resubmit the patch -- Frederick M. Muriithi