seems annoying. travis ci is missing the python-z3 package that was added in ubuntu-xenial [0] interesting features for guix in the pipeline that might lessen the pain [1]
[0] https://packages.ubuntu.com/search?keywords=python-z3
[1] https://lists.gnu.org/archive/html/guix-devel/2017-11/msg00152.html
seems annoying. travis ci is missing the python-z3 package that was added in ubuntu-xenial [0] interesting features for guix in the pipeline that might lessen the pain [1]
[0] https://packages.ubuntu.com/search?keywords=python-z3
[1] https://lists.gnu.org/archive/html/guix-devel/2017-11/msg00152.html