2022-04-27T16:20:48,730 Created temporary directory: /tmp/pip-ephem-wheel-cache-mkvu0n75
2022-04-27T16:20:48,737 Created temporary directory: /tmp/pip-req-tracker-sgmwid1y
2022-04-27T16:20:48,738 Initialized build tracking at /tmp/pip-req-tracker-sgmwid1y
2022-04-27T16:20:48,738 Created build tracker: /tmp/pip-req-tracker-sgmwid1y
2022-04-27T16:20:48,738 Entered build tracker: /tmp/pip-req-tracker-sgmwid1y
2022-04-27T16:20:48,740 Created temporary directory: /tmp/pip-wheel-iu4g83sf
2022-04-27T16:20:48,795 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2022-04-27T16:20:48,799 2 location(s) to search for versions of gavel:
2022-04-27T16:20:48,799 * https://pypi.org/simple/gavel/
2022-04-27T16:20:48,799 * https://www.piwheels.org/simple/gavel/
2022-04-27T16:20:48,800 Fetching project page and analyzing links: https://pypi.org/simple/gavel/
2022-04-27T16:20:48,802 Getting page https://pypi.org/simple/gavel/
2022-04-27T16:20:48,806 Found index url https://pypi.org/simple
2022-04-27T16:20:49,151   Skipping link: No binaries permitted for gavel: 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.*)
2022-04-27T16:20:49,154   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
2022-04-27T16:20:49,158   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
2022-04-27T16:20:49,161   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
2022-04-27T16:20:49,165   Found link https://files.pythonhosted.org/packages/c8/fc/e6c7448b812cbf623ca0845adbe2d02cd26e335cfe5e4f92c470ce3f11cd/gavel-0.0.3.tar.gz#sha256=eda9d0c87e0bce2a5d233ef3b107faf926bb2d1c4c6e801b4e0a906a46b90eb8 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.0.3
2022-04-27T16:20:49,166   Skipping link: No binaries permitted for gavel: https://files.pythonhosted.org/packages/4c/15/bd7fcec5120eb9aaadedd4f3851a7838f4519d9ee41ea124cb3f740fb13b/gavel-0.0.4-py3-none-any.whl#sha256=38cfd019111bbb59c5e8aaaa7a0abe65540d2aa08e0a0b4a2ceb9933523846d4 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,169   Found link https://files.pythonhosted.org/packages/d6/d1/890923cf701eb522cd01023b5e2ed151228d879c7a4dbfd707e8ecbf9ca6/gavel-0.0.4.tar.gz#sha256=224e53ac47b05ef2ccb04936790dfdc9267e464725853bbf3ac30f3dc2d3a344 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.0.4
2022-04-27T16:20:49,170   Skipping link: No binaries permitted for gavel: https://files.pythonhosted.org/packages/00/e9/2f269e3d185d16eff5a87b8b0300d9a287ea93353de2455efdbf0eacb283/gavel-0.0.5-py3-none-any.whl#sha256=caa230faef13c48f29fb57f0469143aa3425ce798b84f2fedda3c05834f0a34c (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,173   Found link https://files.pythonhosted.org/packages/a1/5a/7ae318b214982c91ff94aedc3a8863d4225c7f416fe5836a8b3f80c4c527/gavel-0.0.5.tar.gz#sha256=9a02b702e801c4e4047c9709e3b2511ffbcb6d2f91cd235d5a2ac78b251f525d (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.0.5
2022-04-27T16:20:49,174   Skipping link: No binaries permitted for gavel: https://files.pythonhosted.org/packages/50/30/1f1b9ed4ab83d840f1945848f62388f401b131d22f75a46a21a2da6bdb2c/gavel-0.0.6-py3-none-any.whl#sha256=4a310c682479a604359ab1a76d1b6428e8d918d6782f2d070303bfeefa1ae06a (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,178   Found link https://files.pythonhosted.org/packages/d5/7b/245d94fe3d290098825fa0fadf2dbd3df70502bccd259a33caf76425c5ce/gavel-0.0.6.tar.gz#sha256=dc40851f3fd231197642c7aa6e32488a8616f44f19fcafdf89827ff0f8f9fb09 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.0.6
2022-04-27T16:20:49,179   Skipping link: No binaries permitted for gavel: https://files.pythonhosted.org/packages/f1/8c/562ea7a0696e32960eae9b2c84e9453e5fb69599c36d59b8ce120ed28941/gavel-0.1.0.dev0-py3-none-any.whl#sha256=55098b0b112d8e784b5b8af1defb5e4e364d516260c5489a852b74b8e59dc050 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,182   Found link https://files.pythonhosted.org/packages/4e/95/188dcf8cc19af513ad125edda49fdf3ffdb24f0902c2604a51c2b8cf9dd7/gavel-0.1.0.dev0.tar.gz#sha256=197ceb1dbdf9fb876a717a63f997da6d53c0f97a00268a4d6a86367385e9f11c (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.1.0.dev0
2022-04-27T16:20:49,183   Skipping link: No binaries permitted for gavel: https://files.pythonhosted.org/packages/44/18/1140b85a3f7b8e08704ab6a6732de986292a744bddabd9766f2fdc7cfa5d/gavel-0.1.0-py3-none-any.whl#sha256=ec07032e155780cf076bd85afa0fe728c2c71e4d9f6872fa66591ed41ce61f45 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,187   Found link https://files.pythonhosted.org/packages/7f/e1/4fb389bd9f4170bba1e23b80796c2e9a200b24153f69cde832c7d6a1b4af/gavel-0.1.0.tar.gz#sha256=203f535405869ebc80add3efca5bae640519ca298ce2a522776ca33909844e76 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.1.0
2022-04-27T16:20:49,187   Skipping link: No binaries permitted for gavel: https://files.pythonhosted.org/packages/b2/ad/bcc4d939b334ec1310b42fd15b706525e2a67be97c5f74fc57c4df766a85/gavel-0.1.1-py3-none-any.whl#sha256=99ab4fbdc69670b136f755e6463e4f7d7e9bcb72696e66d80475a7d1d17e9097 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,191   Found link https://files.pythonhosted.org/packages/0f/e0/133c1970999f9ce71a0eb3daa3636319aeac98bc06c7a5a634f0a727a16c/gavel-0.1.1.tar.gz#sha256=4207081510987ba6c92eb0b9902547b4accb8275ba76e69d757cf2059b196e14 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.1.1
2022-04-27T16:20:49,194   Found link https://files.pythonhosted.org/packages/24/b4/6e05f7625dba48adddefe53a572fd8b17774b11b45b91fd2ef5616f025b6/gavel-0.1.2.tar.gz#sha256=bb7640beb06f7f35e4d19a6aeb7c577d10ade953ae4c8e707cda5f407660174a (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.1.2
2022-04-27T16:20:49,198   Found link https://files.pythonhosted.org/packages/ee/3c/0de402fbd9f2d95285c7b2fd24caa531251723533322b03a005d5e4b3c73/gavel-0.1.3.dev0.tar.gz#sha256=3d7967de50707b631eb8077c0148584bdcc2f05da38d5d88610ce474e3ec6612 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.1.3.dev0
2022-04-27T16:20:49,199 Fetching project page and analyzing links: https://www.piwheels.org/simple/gavel/
2022-04-27T16:20:49,200 Getting page https://www.piwheels.org/simple/gavel/
2022-04-27T16:20:49,202 Found index url https://www.piwheels.org/simple
2022-04-27T16:20:49,457   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.1.2-py3-none-any.whl#sha256=fc09e3c4a4b183c9e2a0caa4ce493046ab18c3df262909fc32d836153730d3ba (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,458   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.1.1-py3-none-any.whl#sha256=99ab4fbdc69670b136f755e6463e4f7d7e9bcb72696e66d80475a7d1d17e9097 (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,459   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.1.0-py3-none-any.whl#sha256=ec07032e155780cf076bd85afa0fe728c2c71e4d9f6872fa66591ed41ce61f45 (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,459   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.1.0.dev0-py3-none-any.whl#sha256=55098b0b112d8e784b5b8af1defb5e4e364d516260c5489a852b74b8e59dc050 (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,460   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.0.6-py3-none-any.whl#sha256=4a310c682479a604359ab1a76d1b6428e8d918d6782f2d070303bfeefa1ae06a (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,460   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.0.5-py3-none-any.whl#sha256=caa230faef13c48f29fb57f0469143aa3425ce798b84f2fedda3c05834f0a34c (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,461   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.0.4-py3-none-any.whl#sha256=38cfd019111bbb59c5e8aaaa7a0abe65540d2aa08e0a0b4a2ceb9933523846d4 (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,462   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.0.3-py3-none-any.whl#sha256=c8f5cd54bc997b41b25ab99ad1e888cc9f441c726f1f0e5e033581bee7ba4725 (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,462   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.0.2-py3-none-any.whl#sha256=85dd8301aa5b0ed5787a835a5498020bad1c95911186234c6567c29fa24c603e (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,463   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.0.1-py3-none-any.whl#sha256=0539053c5749139b1fec6a9095ab54c0b728b04101a520a0b7cbd0808955ef5b (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,463   Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.0.0-py3-none-any.whl#sha256=2faaa303c5dfd70ec80890a992bf43e6ef49b65368eb3668d4a60a9f996d02b6 (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*)
2022-04-27T16:20:49,497 Given no hashes to check 1 links for project 'gavel': discarding no candidates
2022-04-27T16:20:49,529 Collecting gavel==0.1.3.dev0
2022-04-27T16:20:49,533   Created temporary directory: /tmp/pip-unpack-uf8dvjze
2022-04-27T16:20:50,053   Downloading gavel-0.1.3.dev0.tar.gz (341 kB)
2022-04-27T16:20:50,780   Added gavel==0.1.3.dev0 from https://files.pythonhosted.org/packages/ee/3c/0de402fbd9f2d95285c7b2fd24caa531251723533322b03a005d5e4b3c73/gavel-0.1.3.dev0.tar.gz#sha256=3d7967de50707b631eb8077c0148584bdcc2f05da38d5d88610ce474e3ec6612 to build tracker '/tmp/pip-req-tracker-sgmwid1y'
2022-04-27T16:20:50,783     Running setup.py (path:/tmp/pip-wheel-iu4g83sf/gavel_d8ef43b426e848f49b8cedd954f2bce6/setup.py) egg_info for package gavel
2022-04-27T16:20:50,785     Created temporary directory: /tmp/pip-pip-egg-info-q8akvvi5
2022-04-27T16:20:50,786     Running command python setup.py egg_info
2022-04-27T16:20:53,755     running egg_info
2022-04-27T16:20:53,760     creating /tmp/pip-pip-egg-info-q8akvvi5/gavel.egg-info
2022-04-27T16:20:53,765     writing requirements to /tmp/pip-pip-egg-info-q8akvvi5/gavel.egg-info/requires.txt
2022-04-27T16:20:53,768     writing top-level names to /tmp/pip-pip-egg-info-q8akvvi5/gavel.egg-info/top_level.txt
2022-04-27T16:20:53,770     writing dependency_links to /tmp/pip-pip-egg-info-q8akvvi5/gavel.egg-info/dependency_links.txt
2022-04-27T16:20:53,772     writing /tmp/pip-pip-egg-info-q8akvvi5/gavel.egg-info/PKG-INFO
2022-04-27T16:20:53,779     writing manifest file '/tmp/pip-pip-egg-info-q8akvvi5/gavel.egg-info/SOURCES.txt'
2022-04-27T16:20:54,191     reading manifest file '/tmp/pip-pip-egg-info-q8akvvi5/gavel.egg-info/SOURCES.txt'
2022-04-27T16:20:54,194     reading manifest template 'MANIFEST.in'
2022-04-27T16:20:54,252     warning: no previously-included files matching '*.py[cod]' found anywhere in distribution
2022-04-27T16:20:54,254     warning: no previously-included files matching '__pycache__' found anywhere in distribution
2022-04-27T16:20:54,256     warning: no previously-included files matching '*.so' found anywhere in distribution
2022-04-27T16:20:54,258     warning: no previously-included files matching '*.dylib' found anywhere in distribution
2022-04-27T16:20:54,271     writing manifest file '/tmp/pip-pip-egg-info-q8akvvi5/gavel.egg-info/SOURCES.txt'
2022-04-27T16:20:54,439   Source in /tmp/pip-wheel-iu4g83sf/gavel_d8ef43b426e848f49b8cedd954f2bce6 has version 0.1.3.dev0, which satisfies requirement gavel==0.1.3.dev0 from https://files.pythonhosted.org/packages/ee/3c/0de402fbd9f2d95285c7b2fd24caa531251723533322b03a005d5e4b3c73/gavel-0.1.3.dev0.tar.gz#sha256=3d7967de50707b631eb8077c0148584bdcc2f05da38d5d88610ce474e3ec6612
2022-04-27T16:20:54,440   Removed gavel==0.1.3.dev0 from https://files.pythonhosted.org/packages/ee/3c/0de402fbd9f2d95285c7b2fd24caa531251723533322b03a005d5e4b3c73/gavel-0.1.3.dev0.tar.gz#sha256=3d7967de50707b631eb8077c0148584bdcc2f05da38d5d88610ce474e3ec6612 from build tracker '/tmp/pip-req-tracker-sgmwid1y'
2022-04-27T16:20:54,460 Created temporary directory: /tmp/pip-unpack-5jpa1s8o
2022-04-27T16:20:54,461 Building wheels for collected packages: gavel
2022-04-27T16:20:54,470   Created temporary directory: /tmp/pip-wheel-t6cb6mzn
2022-04-27T16:20:54,471   Building wheel for gavel (setup.py): started
2022-04-27T16:20:54,472   Destination directory: /tmp/pip-wheel-t6cb6mzn
2022-04-27T16:20:54,472   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-iu4g83sf/gavel_d8ef43b426e848f49b8cedd954f2bce6/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-iu4g83sf/gavel_d8ef43b426e848f49b8cedd954f2bce6/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-t6cb6mzn
2022-04-27T16:20:57,418   running bdist_wheel
2022-04-27T16:20:57,431   running build
2022-04-27T16:20:57,432   running build_py
2022-04-27T16:20:57,905   creating build
2022-04-27T16:20:57,906   creating build/lib
2022-04-27T16:20:57,907   creating build/lib/gavel
2022-04-27T16:20:57,910   copying src/gavel/cli.py -> build/lib/gavel
2022-04-27T16:20:57,916   copying src/gavel/__init__.py -> build/lib/gavel
2022-04-27T16:20:57,920   copying src/gavel/__main__.py -> build/lib/gavel
2022-04-27T16:20:57,924   creating build/lib/gavel/config
2022-04-27T16:20:57,926   copying src/gavel/config/__init__.py -> build/lib/gavel/config
2022-04-27T16:20:57,930   copying src/gavel/config/settings.py -> build/lib/gavel/config
2022-04-27T16:20:57,935   creating build/lib/gavel/logic
2022-04-27T16:20:57,937   copying src/gavel/logic/solution.py -> build/lib/gavel/logic
2022-04-27T16:20:57,942   copying src/gavel/logic/__init__.py -> build/lib/gavel/logic
2022-04-27T16:20:57,945   copying src/gavel/logic/problem.py -> build/lib/gavel/logic
2022-04-27T16:20:57,949   copying src/gavel/logic/sources.py -> build/lib/gavel/logic
2022-04-27T16:20:57,954   copying src/gavel/logic/logic.py -> build/lib/gavel/logic
2022-04-27T16:20:57,959   copying src/gavel/logic/status.py -> build/lib/gavel/logic
2022-04-27T16:20:57,965   creating build/lib/gavel/selection
2022-04-27T16:20:57,967   copying src/gavel/selection/__init__.py -> build/lib/gavel/selection
2022-04-27T16:20:57,971   copying src/gavel/selection/selector.py -> build/lib/gavel/selection
2022-04-27T16:20:57,976   creating build/lib/gavel/dialects
2022-04-27T16:20:57,978   copying src/gavel/dialects/__init__.py -> build/lib/gavel/dialects
2022-04-27T16:20:57,982   creating build/lib/gavel/plugins
2022-04-27T16:20:57,984   copying src/gavel/plugins/__init__.py -> build/lib/gavel/plugins
2022-04-27T16:20:57,989   creating build/lib/gavel/prover
2022-04-27T16:20:57,991   copying src/gavel/prover/__init__.py -> build/lib/gavel/prover
2022-04-27T16:20:57,996   copying src/gavel/prover/registry.py -> build/lib/gavel/prover
2022-04-27T16:20:58,000   creating build/lib/gavel/dialects/latex
2022-04-27T16:20:58,002   copying src/gavel/dialects/latex/__init__.py -> build/lib/gavel/dialects/latex
2022-04-27T16:20:58,007   creating build/lib/gavel/dialects/tptp
2022-04-27T16:20:58,009   copying src/gavel/dialects/tptp/dialect.py -> build/lib/gavel/dialects/tptp
2022-04-27T16:20:58,014   copying src/gavel/dialects/tptp/parser.py -> build/lib/gavel/dialects/tptp
2022-04-27T16:20:58,020   copying src/gavel/dialects/tptp/__init__.py -> build/lib/gavel/dialects/tptp
2022-04-27T16:20:58,023   copying src/gavel/dialects/tptp/compiler.py -> build/lib/gavel/dialects/tptp
2022-04-27T16:20:58,030   creating build/lib/gavel/dialects/base
2022-04-27T16:20:58,032   copying src/gavel/dialects/base/dialect.py -> build/lib/gavel/dialects/base
2022-04-27T16:20:58,037   copying src/gavel/dialects/base/parser.py -> build/lib/gavel/dialects/base
2022-04-27T16:20:58,041   copying src/gavel/dialects/base/__init__.py -> build/lib/gavel/dialects/base
2022-04-27T16:20:58,044   copying src/gavel/dialects/base/compiler.py -> build/lib/gavel/dialects/base
2022-04-27T16:20:58,049   creating build/lib/gavel/prover/eprover
2022-04-27T16:20:58,051   copying src/gavel/prover/eprover/__init__.py -> build/lib/gavel/prover/eprover
2022-04-27T16:20:58,055   copying src/gavel/prover/eprover/interface.py -> build/lib/gavel/prover/eprover
2022-04-27T16:20:58,060   creating build/lib/gavel/prover/vampire
2022-04-27T16:20:58,062   copying src/gavel/prover/vampire/__init__.py -> build/lib/gavel/prover/vampire
2022-04-27T16:20:58,066   copying src/gavel/prover/vampire/interface.py -> build/lib/gavel/prover/vampire
2022-04-27T16:20:58,071   creating build/lib/gavel/prover/hets
2022-04-27T16:20:58,073   copying src/gavel/prover/hets/__init__.py -> build/lib/gavel/prover/hets
2022-04-27T16:20:58,077   copying src/gavel/prover/hets/interface.py -> build/lib/gavel/prover/hets
2022-04-27T16:20:58,082   creating build/lib/gavel/prover/base
2022-04-27T16:20:58,084   copying src/gavel/prover/base/__init__.py -> build/lib/gavel/prover/base
2022-04-27T16:20:58,088   copying src/gavel/prover/base/interface.py -> build/lib/gavel/prover/base
2022-04-27T16:20:58,092   running egg_info
2022-04-27T16:20:58,124   writing dependency_links to src/gavel.egg-info/dependency_links.txt
2022-04-27T16:20:58,126   writing requirements to src/gavel.egg-info/requires.txt
2022-04-27T16:20:58,129   writing top-level names to src/gavel.egg-info/top_level.txt
2022-04-27T16:20:58,131   writing src/gavel.egg-info/PKG-INFO
2022-04-27T16:20:58,194   reading manifest file 'src/gavel.egg-info/SOURCES.txt'
2022-04-27T16:20:58,203   reading manifest template 'MANIFEST.in'
2022-04-27T16:20:58,230   warning: no previously-included files matching '*.py[cod]' found anywhere in distribution
2022-04-27T16:20:58,233   warning: no previously-included files matching '__pycache__' found anywhere in distribution
2022-04-27T16:20:58,235   warning: no previously-included files matching '*.so' found anywhere in distribution
2022-04-27T16:20:58,238   warning: no previously-included files matching '*.dylib' found anywhere in distribution
2022-04-27T16:20:58,256   writing manifest file 'src/gavel.egg-info/SOURCES.txt'
2022-04-27T16:20:58,266   copying src/gavel/dialects/tptp/tptp.lark -> build/lib/gavel/dialects/tptp
2022-04-27T16:20:58,271   copying src/gavel/prover/vampire/curve.png -> build/lib/gavel/prover/vampire
2022-04-27T16:20:58,278   copying src/gavel/prover/vampire/mask_encoder.state -> build/lib/gavel/prover/vampire
2022-04-27T16:20:58,345   installing to build/bdist.linux-armv7l/wheel
2022-04-27T16:20:58,345   running install
2022-04-27T16:20:58,347   running install_lib
2022-04-27T16:20:58,355   creating build/bdist.linux-armv7l
2022-04-27T16:20:58,356   creating build/bdist.linux-armv7l/wheel
2022-04-27T16:20:58,360   creating build/bdist.linux-armv7l/wheel/gavel
2022-04-27T16:20:58,362   copying build/lib/gavel/cli.py -> build/bdist.linux-armv7l/wheel/gavel
2022-04-27T16:20:58,369   creating build/bdist.linux-armv7l/wheel/gavel/config
2022-04-27T16:20:58,371   copying build/lib/gavel/config/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/config
2022-04-27T16:20:58,374   copying build/lib/gavel/config/settings.py -> build/bdist.linux-armv7l/wheel/gavel/config
2022-04-27T16:20:58,379   copying build/lib/gavel/__init__.py -> build/bdist.linux-armv7l/wheel/gavel
2022-04-27T16:20:58,386   creating build/bdist.linux-armv7l/wheel/gavel/logic
2022-04-27T16:20:58,388   copying build/lib/gavel/logic/solution.py -> build/bdist.linux-armv7l/wheel/gavel/logic
2022-04-27T16:20:58,394   copying build/lib/gavel/logic/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/logic
2022-04-27T16:20:58,399   copying build/lib/gavel/logic/problem.py -> build/bdist.linux-armv7l/wheel/gavel/logic
2022-04-27T16:20:58,403   copying build/lib/gavel/logic/sources.py -> build/bdist.linux-armv7l/wheel/gavel/logic
2022-04-27T16:20:58,407   copying build/lib/gavel/logic/logic.py -> build/bdist.linux-armv7l/wheel/gavel/logic
2022-04-27T16:20:58,412   copying build/lib/gavel/logic/status.py -> build/bdist.linux-armv7l/wheel/gavel/logic
2022-04-27T16:20:58,419   creating build/bdist.linux-armv7l/wheel/gavel/selection
2022-04-27T16:20:58,421   copying build/lib/gavel/selection/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/selection
2022-04-27T16:20:58,426   copying build/lib/gavel/selection/selector.py -> build/bdist.linux-armv7l/wheel/gavel/selection
2022-04-27T16:20:58,433   creating build/bdist.linux-armv7l/wheel/gavel/dialects
2022-04-27T16:20:58,437   creating build/bdist.linux-armv7l/wheel/gavel/dialects/latex
2022-04-27T16:20:58,440   copying build/lib/gavel/dialects/latex/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/latex
2022-04-27T16:20:58,444   copying build/lib/gavel/dialects/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects
2022-04-27T16:20:58,448   creating build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2022-04-27T16:20:58,450   copying build/lib/gavel/dialects/tptp/dialect.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2022-04-27T16:20:58,454   copying build/lib/gavel/dialects/tptp/parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2022-04-27T16:20:58,460   copying build/lib/gavel/dialects/tptp/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2022-04-27T16:20:58,465   copying build/lib/gavel/dialects/tptp/compiler.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2022-04-27T16:20:58,472   copying build/lib/gavel/dialects/tptp/tptp.lark -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp
2022-04-27T16:20:58,479   creating build/bdist.linux-armv7l/wheel/gavel/dialects/base
2022-04-27T16:20:58,482   copying build/lib/gavel/dialects/base/dialect.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base
2022-04-27T16:20:58,488   copying build/lib/gavel/dialects/base/parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base
2022-04-27T16:20:58,493   copying build/lib/gavel/dialects/base/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base
2022-04-27T16:20:58,497   copying build/lib/gavel/dialects/base/compiler.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base
2022-04-27T16:20:58,505   creating build/bdist.linux-armv7l/wheel/gavel/plugins
2022-04-27T16:20:58,507   copying build/lib/gavel/plugins/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/plugins
2022-04-27T16:20:58,514   creating build/bdist.linux-armv7l/wheel/gavel/prover
2022-04-27T16:20:58,518   creating build/bdist.linux-armv7l/wheel/gavel/prover/eprover
2022-04-27T16:20:58,521   copying build/lib/gavel/prover/eprover/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/eprover
2022-04-27T16:20:58,525   copying build/lib/gavel/prover/eprover/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/eprover
2022-04-27T16:20:58,529   copying build/lib/gavel/prover/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover
2022-04-27T16:20:58,532   copying build/lib/gavel/prover/registry.py -> build/bdist.linux-armv7l/wheel/gavel/prover
2022-04-27T16:20:58,537   creating build/bdist.linux-armv7l/wheel/gavel/prover/vampire
2022-04-27T16:20:58,539   copying build/lib/gavel/prover/vampire/mask_encoder.state -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire
2022-04-27T16:20:58,572   copying build/lib/gavel/prover/vampire/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire
2022-04-27T16:20:58,575   copying build/lib/gavel/prover/vampire/curve.png -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire
2022-04-27T16:20:58,581   copying build/lib/gavel/prover/vampire/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire
2022-04-27T16:20:58,588   creating build/bdist.linux-armv7l/wheel/gavel/prover/hets
2022-04-27T16:20:58,590   copying build/lib/gavel/prover/hets/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/hets
2022-04-27T16:20:58,595   copying build/lib/gavel/prover/hets/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/hets
2022-04-27T16:20:58,602   creating build/bdist.linux-armv7l/wheel/gavel/prover/base
2022-04-27T16:20:58,604   copying build/lib/gavel/prover/base/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/base
2022-04-27T16:20:58,607   copying build/lib/gavel/prover/base/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/base
2022-04-27T16:20:58,612   copying build/lib/gavel/__main__.py -> build/bdist.linux-armv7l/wheel/gavel
2022-04-27T16:20:58,615   running install_egg_info
2022-04-27T16:20:58,625   Copying src/gavel.egg-info to build/bdist.linux-armv7l/wheel/gavel-0.1.3.dev0-py3.5.egg-info
2022-04-27T16:20:58,655   running install_scripts
2022-04-27T16:20:58,891   creating build/bdist.linux-armv7l/wheel/gavel-0.1.3.dev0.dist-info/WHEEL
2022-04-27T16:20:59,407   Building wheel for gavel (setup.py): finished with status 'done'
2022-04-27T16:20:59,416   Created wheel for gavel: filename=gavel-0.1.3.dev0-py3-none-any.whl size=315019 sha256=805d358408633040c524a816f575d5fb2789ae31c0903bfcb20576776c2c3beb
2022-04-27T16:20:59,417   Stored in directory: /tmp/pip-ephem-wheel-cache-mkvu0n75/wheels/db/86/77/fed5feaba8a9faca52c8fadc82f0589ee0268e7a285c57a13c
2022-04-27T16:20:59,437 Successfully built gavel
2022-04-27T16:20:59,497 Removed build tracker: '/tmp/pip-req-tracker-sgmwid1y'