2019-11-04T13:21:56 Created temporary directory: /tmp/pip-ephem-wheel-cache-i0d_mvw7
2019-11-04T13:21:56 Created temporary directory: /tmp/pip-req-tracker-skn7_ttb
2019-11-04T13:21:56 Created requirements tracker '/tmp/pip-req-tracker-skn7_ttb'
2019-11-04T13:21:56 Created temporary directory: /tmp/pip-wheel-a8b6i26l
2019-11-04T13:21:56 Collecting gavel==0.0.2
2019-11-04T13:21:56   1 location(s) to search for versions of gavel:
2019-11-04T13:21:56   * https://pypi.org/simple/gavel/
2019-11-04T13:21:56   Getting page https://pypi.org/simple/gavel/
2019-11-04T13:21:56   Analyzing links from page https://pypi.org/simple/gavel/
2019-11-04T13:21:57     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
2019-11-04T13:21:57     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
2019-11-04T13:21:57     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
2019-11-04T13:21:57     Found link https://files.pythonhosted.org/packages/f5/1d/055600382f720fd7e98fbe141981c13e2430f9c4803d6933db26e0ab6ed0/gavel-0.0.2.tar.gz#sha256=1161d7482a74c953cec21e01ec0c06d4d05af35784b3de6f92850c71489222c1 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.0.2
2019-11-04T13:21:57   Using version 0.0.2 (newest of versions: 0.0.2)
2019-11-04T13:21:57   Created temporary directory: /tmp/pip-unpack-x34jjdrl
2019-11-04T13:21:57   Downloading https://files.pythonhosted.org/packages/f5/1d/055600382f720fd7e98fbe141981c13e2430f9c4803d6933db26e0ab6ed0/gavel-0.0.2.tar.gz (144kB)
2019-11-04T13:21:57   Downloading from URL https://files.pythonhosted.org/packages/f5/1d/055600382f720fd7e98fbe141981c13e2430f9c4803d6933db26e0ab6ed0/gavel-0.0.2.tar.gz#sha256=1161d7482a74c953cec21e01ec0c06d4d05af35784b3de6f92850c71489222c1 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2019-11-04T13:21:58   Added gavel==0.0.2 from https://files.pythonhosted.org/packages/f5/1d/055600382f720fd7e98fbe141981c13e2430f9c4803d6933db26e0ab6ed0/gavel-0.0.2.tar.gz#sha256=1161d7482a74c953cec21e01ec0c06d4d05af35784b3de6f92850c71489222c1 to build tracker '/tmp/pip-req-tracker-skn7_ttb'
2019-11-04T13:21:58     Running setup.py (path:/tmp/pip-wheel-a8b6i26l/gavel/setup.py) egg_info for package gavel
2019-11-04T13:21:58     Running command python setup.py egg_info
2019-11-04T13:22:00     running egg_info
2019-11-04T13:22:00     creating pip-egg-info/gavel.egg-info
2019-11-04T13:22:00     writing dependency_links to pip-egg-info/gavel.egg-info/dependency_links.txt
2019-11-04T13:22:00     writing requirements to pip-egg-info/gavel.egg-info/requires.txt
2019-11-04T13:22:00     writing entry points to pip-egg-info/gavel.egg-info/entry_points.txt
2019-11-04T13:22:00     writing top-level names to pip-egg-info/gavel.egg-info/top_level.txt
2019-11-04T13:22:00     writing pip-egg-info/gavel.egg-info/PKG-INFO
2019-11-04T13:22:00     writing manifest file 'pip-egg-info/gavel.egg-info/SOURCES.txt'
2019-11-04T13:22:01     reading manifest file 'pip-egg-info/gavel.egg-info/SOURCES.txt'
2019-11-04T13:22:01     reading manifest template 'MANIFEST.in'
2019-11-04T13:22:01     warning: no previously-included files matching '*.py[cod]' found anywhere in distribution
2019-11-04T13:22:01     warning: no previously-included files matching '__pycache__' found anywhere in distribution
2019-11-04T13:22:01     warning: no previously-included files matching '*.so' found anywhere in distribution
2019-11-04T13:22:01     warning: no previously-included files matching '*.dylib' found anywhere in distribution
2019-11-04T13:22:01     writing manifest file 'pip-egg-info/gavel.egg-info/SOURCES.txt'
2019-11-04T13:22:01   Source in /tmp/pip-wheel-a8b6i26l/gavel has version 0.0.2, which satisfies requirement gavel==0.0.2 from https://files.pythonhosted.org/packages/f5/1d/055600382f720fd7e98fbe141981c13e2430f9c4803d6933db26e0ab6ed0/gavel-0.0.2.tar.gz#sha256=1161d7482a74c953cec21e01ec0c06d4d05af35784b3de6f92850c71489222c1
2019-11-04T13:22:01   Removed gavel==0.0.2 from https://files.pythonhosted.org/packages/f5/1d/055600382f720fd7e98fbe141981c13e2430f9c4803d6933db26e0ab6ed0/gavel-0.0.2.tar.gz#sha256=1161d7482a74c953cec21e01ec0c06d4d05af35784b3de6f92850c71489222c1 from build tracker '/tmp/pip-req-tracker-skn7_ttb'
2019-11-04T13:22:01 Building wheels for collected packages: gavel
2019-11-04T13:22:01   Created temporary directory: /tmp/pip-wheel-u7cc9195
2019-11-04T13:22:01   Building wheel for gavel (setup.py): started
2019-11-04T13:22:01   Destination directory: /tmp/pip-wheel-u7cc9195
2019-11-04T13:22:01   Running command /usr/bin/python3 -u -c 'import setuptools, tokenize;__file__='"'"'/tmp/pip-wheel-a8b6i26l/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-u7cc9195
2019-11-04T13:22:03   running bdist_wheel
2019-11-04T13:22:03   running build
2019-11-04T13:22:03   running build_py
2019-11-04T13:22:04   creating build
2019-11-04T13:22:04   creating build/lib
2019-11-04T13:22:04   creating build/lib/gavel
2019-11-04T13:22:04   copying src/gavel/__main__.py -> build/lib/gavel
2019-11-04T13:22:04   copying src/gavel/__init__.py -> build/lib/gavel
2019-11-04T13:22:04   copying src/gavel/cli.py -> build/lib/gavel
2019-11-04T13:22:04   creating build/lib/gavel/dialects
2019-11-04T13:22:04   copying src/gavel/dialects/__init__.py -> build/lib/gavel/dialects
2019-11-04T13:22:04   creating build/lib/gavel/config
2019-11-04T13:22:04   copying src/gavel/config/settings.py -> build/lib/gavel/config
2019-11-04T13:22:04   copying src/gavel/config/__init__.py -> build/lib/gavel/config
2019-11-04T13:22:04   creating build/lib/gavel/selection
2019-11-04T13:22:04   copying src/gavel/selection/selector.py -> build/lib/gavel/selection
2019-11-04T13:22:04   copying src/gavel/selection/__init__.py -> build/lib/gavel/selection
2019-11-04T13:22:04   creating build/lib/gavel/learning
2019-11-04T13:22:04   copying src/gavel/learning/__init__.py -> build/lib/gavel/learning
2019-11-04T13:22:04   copying src/gavel/learning/autoencoder.py -> build/lib/gavel/learning
2019-11-04T13:22:04   creating build/lib/gavel/logic
2019-11-04T13:22:04   copying src/gavel/logic/problem.py -> build/lib/gavel/logic
2019-11-04T13:22:04   copying src/gavel/logic/__init__.py -> build/lib/gavel/logic
2019-11-04T13:22:04   copying src/gavel/logic/proof.py -> build/lib/gavel/logic
2019-11-04T13:22:04   copying src/gavel/logic/logic.py -> build/lib/gavel/logic
2019-11-04T13:22:04   creating build/lib/gavel/prover
2019-11-04T13:22:04   copying src/gavel/prover/registry.py -> build/lib/gavel/prover
2019-11-04T13:22:04   copying src/gavel/prover/__init__.py -> build/lib/gavel/prover
2019-11-04T13:22:04   creating build/lib/gavel/dialects/tptp
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/parser.py -> build/lib/gavel/dialects/tptp
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/compiler.py -> build/lib/gavel/dialects/tptp
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/sources.py -> build/lib/gavel/dialects/tptp
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/dialect.py -> build/lib/gavel/dialects/tptp
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/__init__.py -> build/lib/gavel/dialects/tptp
2019-11-04T13:22:04   creating build/lib/gavel/dialects/base
2019-11-04T13:22:04   copying src/gavel/dialects/base/parser.py -> build/lib/gavel/dialects/base
2019-11-04T13:22:04   copying src/gavel/dialects/base/compiler.py -> build/lib/gavel/dialects/base
2019-11-04T13:22:04   copying src/gavel/dialects/base/dialect.py -> build/lib/gavel/dialects/base
2019-11-04T13:22:04   copying src/gavel/dialects/base/__init__.py -> build/lib/gavel/dialects/base
2019-11-04T13:22:04   creating build/lib/gavel/dialects/db
2019-11-04T13:22:04   copying src/gavel/dialects/db/connection.py -> build/lib/gavel/dialects/db
2019-11-04T13:22:04   copying src/gavel/dialects/db/parser.py -> build/lib/gavel/dialects/db
2019-11-04T13:22:04   copying src/gavel/dialects/db/compiler.py -> build/lib/gavel/dialects/db
2019-11-04T13:22:04   copying src/gavel/dialects/db/__init__.py -> build/lib/gavel/dialects/db
2019-11-04T13:22:04   copying src/gavel/dialects/db/structures.py -> build/lib/gavel/dialects/db
2019-11-04T13:22:04   creating build/lib/gavel/prover/base
2019-11-04T13:22:04   copying src/gavel/prover/base/__init__.py -> build/lib/gavel/prover/base
2019-11-04T13:22:04   copying src/gavel/prover/base/interface.py -> build/lib/gavel/prover/base
2019-11-04T13:22:04   creating build/lib/gavel/prover/hets
2019-11-04T13:22:04   copying src/gavel/prover/hets/__init__.py -> build/lib/gavel/prover/hets
2019-11-04T13:22:04   copying src/gavel/prover/hets/interface.py -> build/lib/gavel/prover/hets
2019-11-04T13:22:04   creating build/lib/gavel/prover/vampire
2019-11-04T13:22:04   copying src/gavel/prover/vampire/__init__.py -> build/lib/gavel/prover/vampire
2019-11-04T13:22:04   copying src/gavel/prover/vampire/interface.py -> build/lib/gavel/prover/vampire
2019-11-04T13:22:04   running egg_info
2019-11-04T13:22:04   writing dependency_links to src/gavel.egg-info/dependency_links.txt
2019-11-04T13:22:04   writing requirements to src/gavel.egg-info/requires.txt
2019-11-04T13:22:04   writing top-level names to src/gavel.egg-info/top_level.txt
2019-11-04T13:22:04   writing src/gavel.egg-info/PKG-INFO
2019-11-04T13:22:04   writing entry points to src/gavel.egg-info/entry_points.txt
2019-11-04T13:22:04   reading manifest file 'src/gavel.egg-info/SOURCES.txt'
2019-11-04T13:22:04   reading manifest template 'MANIFEST.in'
2019-11-04T13:22:04   warning: no previously-included files matching '*.py[cod]' found anywhere in distribution
2019-11-04T13:22:04   warning: no previously-included files matching '__pycache__' found anywhere in distribution
2019-11-04T13:22:04   warning: no previously-included files matching '*.so' found anywhere in distribution
2019-11-04T13:22:04   warning: no previously-included files matching '*.dylib' found anywhere in distribution
2019-11-04T13:22:04   writing manifest file 'src/gavel.egg-info/SOURCES.txt'
2019-11-04T13:22:04   copying src/gavel/alembic.ini -> build/lib/gavel
2019-11-04T13:22:04   creating build/lib/gavel/alembic
2019-11-04T13:22:04   copying src/gavel/alembic/README -> build/lib/gavel/alembic
2019-11-04T13:22:04   copying src/gavel/alembic/env.py -> build/lib/gavel/alembic
2019-11-04T13:22:04   copying src/gavel/alembic/script.py.mako -> build/lib/gavel/alembic
2019-11-04T13:22:04   creating build/lib/gavel/alembic/versions
2019-11-04T13:22:04   copying src/gavel/alembic/versions/0_base.py -> build/lib/gavel/alembic/versions
2019-11-04T13:22:04   copying src/gavel/alembic/versions/20191011183019_87d4ea0aa91d_initial_revision.py -> build/lib/gavel/alembic/versions
2019-11-04T13:22:04   copying src/gavel/alembic/versions/20191011190617_78fa69083a7c_add_complete_field_to_sources.py -> build/lib/gavel/alembic/versions
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/tptp.lark -> build/lib/gavel/dialects/tptp
2019-11-04T13:22:04   creating build/lib/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/antlr4/flattening.py -> build/lib/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.interp -> build/lib/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.tokens -> build/lib/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.interp -> build/lib/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.py -> build/lib/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.tokens -> build/lib/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Listener.py -> build/lib/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Parser.py -> build/lib/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying src/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Visitor.py -> build/lib/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   installing to build/bdist.linux-armv7l/wheel
2019-11-04T13:22:04   running install
2019-11-04T13:22:04   running install_lib
2019-11-04T13:22:04   creating build/bdist.linux-armv7l
2019-11-04T13:22:04   creating build/bdist.linux-armv7l/wheel
2019-11-04T13:22:04   creating build/bdist.linux-armv7l/wheel/gavel
2019-11-04T13:22:04   copying build/lib/gavel/__main__.py -> build/bdist.linux-armv7l/wheel/gavel
2019-11-04T13:22:04   copying build/lib/gavel/alembic.ini -> build/bdist.linux-armv7l/wheel/gavel
2019-11-04T13:22:04   creating build/bdist.linux-armv7l/wheel/gavel/dialects
2019-11-04T13:22:04   creating build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/tptp.lark -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/compiler.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/sources.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/dialect.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2019-11-04T13:22:04   creating build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.tokens -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.interp -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/antlr4/flattening.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.interp -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Listener.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Visitor.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   copying build/lib/gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.tokens -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp/antlr4
2019-11-04T13:22:04   creating build/bdist.linux-armv7l/wheel/gavel/dialects/base
2019-11-04T13:22:04   copying build/lib/gavel/dialects/base/parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base
2019-11-04T13:22:05   copying build/lib/gavel/dialects/base/compiler.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base
2019-11-04T13:22:05   copying build/lib/gavel/dialects/base/dialect.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base
2019-11-04T13:22:05   copying build/lib/gavel/dialects/base/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base
2019-11-04T13:22:05   copying build/lib/gavel/dialects/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/dialects/db
2019-11-04T13:22:05   copying build/lib/gavel/dialects/db/connection.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/db
2019-11-04T13:22:05   copying build/lib/gavel/dialects/db/parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/db
2019-11-04T13:22:05   copying build/lib/gavel/dialects/db/compiler.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/db
2019-11-04T13:22:05   copying build/lib/gavel/dialects/db/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/db
2019-11-04T13:22:05   copying build/lib/gavel/dialects/db/structures.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/db
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/config
2019-11-04T13:22:05   copying build/lib/gavel/config/settings.py -> build/bdist.linux-armv7l/wheel/gavel/config
2019-11-04T13:22:05   copying build/lib/gavel/config/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/config
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/selection
2019-11-04T13:22:05   copying build/lib/gavel/selection/selector.py -> build/bdist.linux-armv7l/wheel/gavel/selection
2019-11-04T13:22:05   copying build/lib/gavel/selection/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/selection
2019-11-04T13:22:05   copying build/lib/gavel/__init__.py -> build/bdist.linux-armv7l/wheel/gavel
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/alembic
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/alembic/versions
2019-11-04T13:22:05   copying build/lib/gavel/alembic/versions/20191011190617_78fa69083a7c_add_complete_field_to_sources.py -> build/bdist.linux-armv7l/wheel/gavel/alembic/versions
2019-11-04T13:22:05   copying build/lib/gavel/alembic/versions/0_base.py -> build/bdist.linux-armv7l/wheel/gavel/alembic/versions
2019-11-04T13:22:05   copying build/lib/gavel/alembic/versions/20191011183019_87d4ea0aa91d_initial_revision.py -> build/bdist.linux-armv7l/wheel/gavel/alembic/versions
2019-11-04T13:22:05   copying build/lib/gavel/alembic/README -> build/bdist.linux-armv7l/wheel/gavel/alembic
2019-11-04T13:22:05   copying build/lib/gavel/alembic/env.py -> build/bdist.linux-armv7l/wheel/gavel/alembic
2019-11-04T13:22:05   copying build/lib/gavel/alembic/script.py.mako -> build/bdist.linux-armv7l/wheel/gavel/alembic
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/learning
2019-11-04T13:22:05   copying build/lib/gavel/learning/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/learning
2019-11-04T13:22:05   copying build/lib/gavel/learning/autoencoder.py -> build/bdist.linux-armv7l/wheel/gavel/learning
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/logic
2019-11-04T13:22:05   copying build/lib/gavel/logic/problem.py -> build/bdist.linux-armv7l/wheel/gavel/logic
2019-11-04T13:22:05   copying build/lib/gavel/logic/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/logic
2019-11-04T13:22:05   copying build/lib/gavel/logic/proof.py -> build/bdist.linux-armv7l/wheel/gavel/logic
2019-11-04T13:22:05   copying build/lib/gavel/logic/logic.py -> build/bdist.linux-armv7l/wheel/gavel/logic
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/prover
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/prover/base
2019-11-04T13:22:05   copying build/lib/gavel/prover/base/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/base
2019-11-04T13:22:05   copying build/lib/gavel/prover/base/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/base
2019-11-04T13:22:05   copying build/lib/gavel/prover/registry.py -> build/bdist.linux-armv7l/wheel/gavel/prover
2019-11-04T13:22:05   copying build/lib/gavel/prover/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/prover/hets
2019-11-04T13:22:05   copying build/lib/gavel/prover/hets/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/hets
2019-11-04T13:22:05   copying build/lib/gavel/prover/hets/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/hets
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel/prover/vampire
2019-11-04T13:22:05   copying build/lib/gavel/prover/vampire/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire
2019-11-04T13:22:05   copying build/lib/gavel/prover/vampire/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire
2019-11-04T13:22:05   copying build/lib/gavel/cli.py -> build/bdist.linux-armv7l/wheel/gavel
2019-11-04T13:22:05   running install_egg_info
2019-11-04T13:22:05   Copying src/gavel.egg-info to build/bdist.linux-armv7l/wheel/gavel-0.0.2-py3.5.egg-info
2019-11-04T13:22:05   running install_scripts
2019-11-04T13:22:05   creating build/bdist.linux-armv7l/wheel/gavel-0.0.2.dist-info/WHEEL
2019-11-04T13:22:06   Building wheel for gavel (setup.py): finished with status 'done'
2019-11-04T13:22:06   Stored in directory: /tmp/tmpnvziu3l_
2019-11-04T13:22:06 Successfully built gavel
2019-11-04T13:22:06 Cleaning up...
2019-11-04T13:22:06   Removing source in /tmp/pip-wheel-a8b6i26l/gavel
2019-11-04T13:22:06 Removed build tracker '/tmp/pip-req-tracker-skn7_ttb'