Created temporary directory: /tmp/pip-ephem-wheel-cache-c98jqpfa Created temporary directory: /tmp/pip-req-tracker-eg5ahew3 Created requirements tracker '/tmp/pip-req-tracker-eg5ahew3' Created temporary directory: /tmp/pip-wheel-po8l4our Collecting gavel==0.0.1 1 location(s) to search for versions of gavel: * https://pypi.org/simple/gavel/ Getting page https://pypi.org/simple/gavel/ Analyzing links from page https://pypi.org/simple/gavel/ Found link https://files.pythonhosted.org/packages/2f/7b/ea4205467ff8a0b79ff101cb3dcf217506f40d4a1bd4cea49e70e84ed3ae/gavel-0.0.0-py3-none-any.whl#sha256=2faaa303c5dfd70ec80890a992bf43e6ef49b65368eb3668d4a60a9f996d02b6 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.0.0 Found link https://files.pythonhosted.org/packages/0e/e8/ae7dfab4cbd36d22053e3acd552dc9742eb3a6b7719ef205236cc7658ca2/gavel-0.0.0.tar.gz#sha256=510db4de15896c025f9333bf135b8acda61a25198e8622ea891a54e01317f4a3 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.0.0 Found link https://files.pythonhosted.org/packages/93/d1/4cda77f177d87ee02a488c0237107143edbb646b165da14a6af8ccc70aa6/gavel-0.0.1.tar.gz#sha256=30c9a70f371be5bfe263209b56d1a61e8de2309797ed904687528f271e813487 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.0.1 Using version 0.0.1 (newest of versions: 0.0.1) Created temporary directory: /tmp/pip-unpack-01cvg_eg Downloading https://files.pythonhosted.org/packages/93/d1/4cda77f177d87ee02a488c0237107143edbb646b165da14a6af8ccc70aa6/gavel-0.0.1.tar.gz (144kB) Downloading from URL https://files.pythonhosted.org/packages/93/d1/4cda77f177d87ee02a488c0237107143edbb646b165da14a6af8ccc70aa6/gavel-0.0.1.tar.gz#sha256=30c9a70f371be5bfe263209b56d1a61e8de2309797ed904687528f271e813487 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*) Added gavel==0.0.1 from https://files.pythonhosted.org/packages/93/d1/4cda77f177d87ee02a488c0237107143edbb646b165da14a6af8ccc70aa6/gavel-0.0.1.tar.gz#sha256=30c9a70f371be5bfe263209b56d1a61e8de2309797ed904687528f271e813487 to build tracker '/tmp/pip-req-tracker-eg5ahew3' Running setup.py (path:/tmp/pip-wheel-po8l4our/gavel/setup.py) egg_info for package gavel Running command python setup.py egg_info running egg_info creating pip-egg-info/gavel.egg-info writing top-level names to pip-egg-info/gavel.egg-info/top_level.txt writing dependency_links to pip-egg-info/gavel.egg-info/dependency_links.txt writing entry points to pip-egg-info/gavel.egg-info/entry_points.txt writing requirements to pip-egg-info/gavel.egg-info/requires.txt writing pip-egg-info/gavel.egg-info/PKG-INFO writing manifest file 'pip-egg-info/gavel.egg-info/SOURCES.txt' reading manifest file 'pip-egg-info/gavel.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.py[cod]' found anywhere in distribution warning: no previously-included files matching '__pycache__' found anywhere in distribution warning: no previously-included files matching '*.so' found anywhere in distribution warning: no previously-included files matching '*.dylib' found anywhere in distribution writing manifest file 'pip-egg-info/gavel.egg-info/SOURCES.txt' Source in /tmp/pip-wheel-po8l4our/gavel has version 0.0.1, which satisfies requirement gavel==0.0.1 from https://files.pythonhosted.org/packages/93/d1/4cda77f177d87ee02a488c0237107143edbb646b165da14a6af8ccc70aa6/gavel-0.0.1.tar.gz#sha256=30c9a70f371be5bfe263209b56d1a61e8de2309797ed904687528f271e813487 Removed gavel==0.0.1 from https://files.pythonhosted.org/packages/93/d1/4cda77f177d87ee02a488c0237107143edbb646b165da14a6af8ccc70aa6/gavel-0.0.1.tar.gz#sha256=30c9a70f371be5bfe263209b56d1a61e8de2309797ed904687528f271e813487 from build tracker '/tmp/pip-req-tracker-eg5ahew3' Building wheels for collected packages: gavel Created temporary directory: /tmp/pip-wheel-0kupp2tk Running setup.py bdist_wheel for gavel: started Destination directory: /tmp/pip-wheel-0kupp2tk Running command /usr/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-wheel-po8l4our/gavel/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/pip-wheel-0kupp2tk running bdist_wheel running build running build_py creating build creating build/lib creating build/lib/gavel copying src/gavel/__main__.py -> build/lib/gavel copying src/gavel/__init__.py -> build/lib/gavel copying src/gavel/cli.py -> build/lib/gavel creating build/lib/gavel/learning copying src/gavel/learning/autoencoder.py -> build/lib/gavel/learning copying src/gavel/learning/__init__.py -> build/lib/gavel/learning creating build/lib/gavel/prover copying src/gavel/prover/registry.py -> build/lib/gavel/prover copying src/gavel/prover/__init__.py -> build/lib/gavel/prover creating build/lib/gavel/dialects copying src/gavel/dialects/__init__.py -> build/lib/gavel/dialects creating build/lib/gavel/logic copying src/gavel/logic/logic.py -> build/lib/gavel/logic copying src/gavel/logic/problem.py -> build/lib/gavel/logic copying src/gavel/logic/proof.py -> build/lib/gavel/logic copying src/gavel/logic/__init__.py -> build/lib/gavel/logic creating build/lib/gavel/config copying src/gavel/config/__init__.py -> build/lib/gavel/config copying src/gavel/config/settings.py -> build/lib/gavel/config creating build/lib/gavel/selection copying src/gavel/selection/selector.py -> build/lib/gavel/selection copying src/gavel/selection/__init__.py -> build/lib/gavel/selection creating build/lib/gavel/prover/vampire copying src/gavel/prover/vampire/interface.py -> build/lib/gavel/prover/vampire copying src/gavel/prover/vampire/__init__.py -> build/lib/gavel/prover/vampire creating build/lib/gavel/prover/base copying src/gavel/prover/base/interface.py -> build/lib/gavel/prover/base copying src/gavel/prover/base/__init__.py -> build/lib/gavel/prover/base creating build/lib/gavel/prover/hets copying src/gavel/prover/hets/interface.py -> build/lib/gavel/prover/hets copying src/gavel/prover/hets/__init__.py -> build/lib/gavel/prover/hets creating build/lib/gavel/dialects/base copying src/gavel/dialects/base/dialect.py -> build/lib/gavel/dialects/base copying src/gavel/dialects/base/compiler.py -> build/lib/gavel/dialects/base copying src/gavel/dialects/base/parser.py -> build/lib/gavel/dialects/base copying src/gavel/dialects/base/__init__.py -> build/lib/gavel/dialects/base creating build/lib/gavel/dialects/db copying src/gavel/dialects/db/compiler.py -> build/lib/gavel/dialects/db copying src/gavel/dialects/db/connection.py -> build/lib/gavel/dialects/db copying src/gavel/dialects/db/structures.py -> build/lib/gavel/dialects/db copying src/gavel/dialects/db/parser.py -> build/lib/gavel/dialects/db copying src/gavel/dialects/db/__init__.py -> build/lib/gavel/dialects/db creating build/lib/gavel/dialects/tptp copying src/gavel/dialects/tptp/dialect.py -> build/lib/gavel/dialects/tptp copying src/gavel/dialects/tptp/compiler.py -> build/lib/gavel/dialects/tptp copying src/gavel/dialects/tptp/sources.py -> build/lib/gavel/dialects/tptp copying src/gavel/dialects/tptp/parser.py -> build/lib/gavel/dialects/tptp copying src/gavel/dialects/tptp/__init__.py -> build/lib/gavel/dialects/tptp running egg_info writing dependency_links to src/gavel.egg-info/dependency_links.txt writing top-level names to src/gavel.egg-info/top_level.txt writing src/gavel.egg-info/PKG-INFO writing entry points to src/gavel.egg-info/entry_points.txt writing requirements to src/gavel.egg-info/requires.txt reading manifest file 'src/gavel.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.py[cod]' found anywhere in distribution warning: no previously-included files matching '__pycache__' found anywhere in distribution warning: no previously-included files matching '*.so' found anywhere in distribution warning: no previously-included files matching '*.dylib' found anywhere in distribution writing manifest file 'src/gavel.egg-info/SOURCES.txt' copying src/gavel/alembic.ini -> build/lib/gavel creating build/lib/gavel/alembic copying src/gavel/alembic/README -> build/lib/gavel/alembic copying src/gavel/alembic/env.py -> build/lib/gavel/alembic copying src/gavel/alembic/script.py.mako -> build/lib/gavel/alembic creating build/lib/gavel/alembic/versions copying src/gavel/alembic/versions/0_base.py -> build/lib/gavel/alembic/versions copying src/gavel/alembic/versions/20191011183019_87d4ea0aa91d_initial_revision.py -> build/lib/gavel/alembic/versions copying src/gavel/alembic/versions/20191011190617_78fa69083a7c_add_complete_field_to_sources.py -> build/lib/gavel/alembic/versions copying src/gavel/dialects/tptp/tptp.lark -> build/lib/gavel/dialects/tptp creating build/lib/gavel/dialects/tptp/antlr4 copying src/gavel/dialects/tptp/antlr4/flattening.py -> build/lib/gavel/dialects/tptp/antlr4 copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.interp -> build/lib/gavel/dialects/tptp/antlr4 copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.tokens -> build/lib/gavel/dialects/tptp/antlr4 copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.interp -> build/lib/gavel/dialects/tptp/antlr4 copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.py -> build/lib/gavel/dialects/tptp/antlr4 copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.tokens -> build/lib/gavel/dialects/tptp/antlr4 copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Listener.py -> build/lib/gavel/dialects/tptp/antlr4 copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Parser.py -> build/lib/gavel/dialects/tptp/antlr4 copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Visitor.py -> build/lib/gavel/dialects/tptp/antlr4 installing to build/bdist.linux-armv7l/wheel running install running install_lib creating build/bdist.linux-armv7l creating build/bdist.linux-armv7l/wheel creating build/bdist.linux-armv7l/wheel/gavel copying build/lib/gavel/alembic.ini -> build/bdist.linux-armv7l/wheel/gavel creating build/bdist.linux-armv7l/wheel/gavel/learning copying build/lib/gavel/learning/autoencoder.py -> build/bdist.linux-armv7l/wheel/gavel/learning copying build/lib/gavel/learning/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/learning creating build/bdist.linux-armv7l/wheel/gavel/prover creating build/bdist.linux-armv7l/wheel/gavel/prover/vampire copying build/lib/gavel/prover/vampire/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire copying build/lib/gavel/prover/vampire/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire copying build/lib/gavel/prover/registry.py -> build/bdist.linux-armv7l/wheel/gavel/prover creating build/bdist.linux-armv7l/wheel/gavel/prover/base copying build/lib/gavel/prover/base/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/base copying build/lib/gavel/prover/base/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/base copying build/lib/gavel/prover/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover creating build/bdist.linux-armv7l/wheel/gavel/prover/hets copying build/lib/gavel/prover/hets/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/hets copying build/lib/gavel/prover/hets/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/hets creating build/bdist.linux-armv7l/wheel/gavel/dialects creating build/bdist.linux-armv7l/wheel/gavel/dialects/base copying build/lib/gavel/dialects/base/dialect.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base copying build/lib/gavel/dialects/base/compiler.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base copying build/lib/gavel/dialects/base/parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base copying build/lib/gavel/dialects/base/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base creating build/bdist.linux-armv7l/wheel/gavel/dialects/db copying build/lib/gavel/dialects/db/compiler.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/db copying build/lib/gavel/dialects/db/connection.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/db copying build/lib/gavel/dialects/db/structures.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/db copying build/lib/gavel/dialects/db/parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/db copying build/lib/gavel/dialects/db/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/db creating build/bdist.linux-armv7l/wheel/gavel/dialects/tptp copying build/lib/gavel/dialects/tptp/dialect.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp copying build/lib/gavel/dialects/tptp/compiler.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp creating build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4 copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.interp -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4 copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Visitor.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4 copying build/lib/gavel/dialects/tptp/antlr4/flattening.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4 copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Listener.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4 copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.interp -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4 copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4 copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4 copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.tokens -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4 copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.tokens -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4 copying build/lib/gavel/dialects/tptp/sources.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp copying build/lib/gavel/dialects/tptp/parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp copying build/lib/gavel/dialects/tptp/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp copying build/lib/gavel/dialects/tptp/tptp.lark -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp copying build/lib/gavel/dialects/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects copying build/lib/gavel/__main__.py -> build/bdist.linux-armv7l/wheel/gavel creating build/bdist.linux-armv7l/wheel/gavel/logic copying build/lib/gavel/logic/logic.py -> build/bdist.linux-armv7l/wheel/gavel/logic copying build/lib/gavel/logic/problem.py -> build/bdist.linux-armv7l/wheel/gavel/logic copying build/lib/gavel/logic/proof.py -> build/bdist.linux-armv7l/wheel/gavel/logic copying build/lib/gavel/logic/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/logic creating build/bdist.linux-armv7l/wheel/gavel/config copying build/lib/gavel/config/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/config copying build/lib/gavel/config/settings.py -> build/bdist.linux-armv7l/wheel/gavel/config copying build/lib/gavel/__init__.py -> build/bdist.linux-armv7l/wheel/gavel creating build/bdist.linux-armv7l/wheel/gavel/selection copying build/lib/gavel/selection/selector.py -> build/bdist.linux-armv7l/wheel/gavel/selection copying build/lib/gavel/selection/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/selection creating build/bdist.linux-armv7l/wheel/gavel/alembic copying build/lib/gavel/alembic/script.py.mako -> build/bdist.linux-armv7l/wheel/gavel/alembic copying build/lib/gavel/alembic/env.py -> build/bdist.linux-armv7l/wheel/gavel/alembic creating build/bdist.linux-armv7l/wheel/gavel/alembic/versions copying build/lib/gavel/alembic/versions/0_base.py -> build/bdist.linux-armv7l/wheel/gavel/alembic/versions copying build/lib/gavel/alembic/versions/20191011190617_78fa69083a7c_add_complete_field_to_sources.py -> build/bdist.linux-armv7l/wheel/gavel/alembic/versions copying build/lib/gavel/alembic/versions/20191011183019_87d4ea0aa91d_initial_revision.py -> build/bdist.linux-armv7l/wheel/gavel/alembic/versions copying build/lib/gavel/alembic/README -> build/bdist.linux-armv7l/wheel/gavel/alembic copying build/lib/gavel/cli.py -> build/bdist.linux-armv7l/wheel/gavel running install_egg_info Copying src/gavel.egg-info to build/bdist.linux-armv7l/wheel/gavel-0.0.1-py3.4.egg-info running install_scripts adding license file "LICENSE" (matched pattern "LICEN[CS]E*") adding license file "AUTHORS.rst" (matched pattern "AUTHORS*") creating build/bdist.linux-armv7l/wheel/gavel-0.0.1.dist-info/WHEEL creating '/tmp/pip-wheel-0kupp2tk/gavel-0.0.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it adding 'gavel/__init__.py' adding 'gavel/__main__.py' adding 'gavel/alembic.ini' adding 'gavel/cli.py' adding 'gavel/alembic/README' adding 'gavel/alembic/env.py' adding 'gavel/alembic/script.py.mako' adding 'gavel/alembic/versions/0_base.py' adding 'gavel/alembic/versions/20191011183019_87d4ea0aa91d_initial_revision.py' adding 'gavel/alembic/versions/20191011190617_78fa69083a7c_add_complete_field_to_sources.py' adding 'gavel/config/__init__.py' adding 'gavel/config/settings.py' adding 'gavel/dialects/__init__.py' adding 'gavel/dialects/base/__init__.py' adding 'gavel/dialects/base/compiler.py' adding 'gavel/dialects/base/dialect.py' adding 'gavel/dialects/base/parser.py' adding 'gavel/dialects/db/__init__.py' adding 'gavel/dialects/db/compiler.py' adding 'gavel/dialects/db/connection.py' adding 'gavel/dialects/db/parser.py' adding 'gavel/dialects/db/structures.py' adding 'gavel/dialects/tptp/__init__.py' adding 'gavel/dialects/tptp/compiler.py' adding 'gavel/dialects/tptp/dialect.py' adding 'gavel/dialects/tptp/parser.py' adding 'gavel/dialects/tptp/sources.py' adding 'gavel/dialects/tptp/tptp.lark' adding 'gavel/dialects/tptp/antlr4/flattening.py' adding 'gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.interp' adding 'gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.tokens' adding 'gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.interp' adding 'gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.py' adding 'gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.tokens' adding 'gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Listener.py' adding 'gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Parser.py' adding 'gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Visitor.py' adding 'gavel/learning/__init__.py' adding 'gavel/learning/autoencoder.py' adding 'gavel/logic/__init__.py' adding 'gavel/logic/logic.py' adding 'gavel/logic/problem.py' adding 'gavel/logic/proof.py' adding 'gavel/prover/__init__.py' adding 'gavel/prover/registry.py' adding 'gavel/prover/base/__init__.py' adding 'gavel/prover/base/interface.py' adding 'gavel/prover/hets/__init__.py' adding 'gavel/prover/hets/interface.py' adding 'gavel/prover/vampire/__init__.py' adding 'gavel/prover/vampire/interface.py' adding 'gavel/selection/__init__.py' adding 'gavel/selection/selector.py' adding 'gavel-0.0.1.dist-info/AUTHORS.rst' adding 'gavel-0.0.1.dist-info/LICENSE' adding 'gavel-0.0.1.dist-info/METADATA' adding 'gavel-0.0.1.dist-info/WHEEL' adding 'gavel-0.0.1.dist-info/entry_points.txt' adding 'gavel-0.0.1.dist-info/top_level.txt' adding 'gavel-0.0.1.dist-info/RECORD' removing build/bdist.linux-armv7l/wheel Running setup.py bdist_wheel for gavel: finished with status 'done' Stored in directory: /tmp/tmpvg4nziv2 Successfully built gavel Cleaning up... Removing source in /tmp/pip-wheel-po8l4our/gavel Removed build tracker '/tmp/pip-req-tracker-eg5ahew3'