2022-05-24T17:55:35,169 Created temporary directory: /tmp/pip-ephem-wheel-cache-8_krzsvh 2022-05-24T17:55:35,176 Created temporary directory: /tmp/pip-req-tracker-o2iiysce 2022-05-24T17:55:35,176 Initialized build tracking at /tmp/pip-req-tracker-o2iiysce 2022-05-24T17:55:35,177 Created build tracker: /tmp/pip-req-tracker-o2iiysce 2022-05-24T17:55:35,177 Entered build tracker: /tmp/pip-req-tracker-o2iiysce 2022-05-24T17:55:35,179 Created temporary directory: /tmp/pip-wheel-mf56ykk_ 2022-05-24T17:55:35,239 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2022-05-24T17:55:35,242 2 location(s) to search for versions of gavel: 2022-05-24T17:55:35,242 * https://pypi.org/simple/gavel/ 2022-05-24T17:55:35,242 * https://www.piwheels.org/simple/gavel/ 2022-05-24T17:55:35,243 Fetching project page and analyzing links: https://pypi.org/simple/gavel/ 2022-05-24T17:55:35,245 Getting page https://pypi.org/simple/gavel/ 2022-05-24T17:55:35,249 Found index url https://pypi.org/simple 2022-05-24T17:55:35,629 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-05-24T17:55:35,633 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-05-24T17:55:35,637 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-05-24T17:55:35,640 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-05-24T17:55:35,643 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-05-24T17:55:35,644 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-05-24T17:55:35,648 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-05-24T17:55:35,649 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-05-24T17:55:35,652 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-05-24T17:55:35,653 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-05-24T17:55:35,656 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-05-24T17:55:35,657 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-05-24T17:55:35,661 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-05-24T17:55:35,662 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-05-24T17:55:35,665 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-05-24T17:55:35,666 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-05-24T17:55:35,669 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-05-24T17:55:35,673 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-05-24T17:55:35,676 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-05-24T17:55:35,680 Found link https://files.pythonhosted.org/packages/1a/79/47d113f570af6707ee611ffcc403470e51b34e7c9541812369bf943457f0/gavel-0.1.3.tar.gz#sha256=d849c208aec93b8e49b0cd9e89d08f948e33c2eda04da87f2d471e90b8361712 (from https://pypi.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*), version: 0.1.3 2022-05-24T17:55:35,681 Fetching project page and analyzing links: https://www.piwheels.org/simple/gavel/ 2022-05-24T17:55:35,682 Getting page https://www.piwheels.org/simple/gavel/ 2022-05-24T17:55:35,685 Found index url https://www.piwheels.org/simple 2022-05-24T17:55:35,929 Skipping link: No binaries permitted for gavel: https://www.piwheels.org/simple/gavel/gavel-0.1.3.dev0-py3-none-any.whl#sha256=805d358408633040c524a816f575d5fb2789ae31c0903bfcb20576776c2c3beb (from https://www.piwheels.org/simple/gavel/) (requires-python:>=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*) 2022-05-24T17:55:35,930 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-05-24T17:55:35,931 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-05-24T17:55:35,931 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-05-24T17:55:35,932 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-05-24T17:55:35,933 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-05-24T17:55:35,933 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-05-24T17:55:35,934 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-05-24T17:55:35,934 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-05-24T17:55:35,935 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-05-24T17:55:35,936 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-05-24T17:55:35,936 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-05-24T17:55:35,970 Given no hashes to check 1 links for project 'gavel': discarding no candidates 2022-05-24T17:55:36,002 Collecting gavel==0.1.3 2022-05-24T17:55:36,005 Created temporary directory: /tmp/pip-unpack-w1sq7qma 2022-05-24T17:55:36,268 Downloading gavel-0.1.3.tar.gz (341 kB) 2022-05-24T17:55:36,961 Added gavel==0.1.3 from https://files.pythonhosted.org/packages/1a/79/47d113f570af6707ee611ffcc403470e51b34e7c9541812369bf943457f0/gavel-0.1.3.tar.gz#sha256=d849c208aec93b8e49b0cd9e89d08f948e33c2eda04da87f2d471e90b8361712 to build tracker '/tmp/pip-req-tracker-o2iiysce' 2022-05-24T17:55:36,964 Running setup.py (path:/tmp/pip-wheel-mf56ykk_/gavel_81f2e3f7455545d5b2262a6475767828/setup.py) egg_info for package gavel 2022-05-24T17:55:36,966 Created temporary directory: /tmp/pip-pip-egg-info-uim0jgnm 2022-05-24T17:55:36,967 Running command python setup.py egg_info 2022-05-24T17:55:39,504 running egg_info 2022-05-24T17:55:39,509 creating /tmp/pip-pip-egg-info-uim0jgnm/gavel.egg-info 2022-05-24T17:55:39,512 writing dependency_links to /tmp/pip-pip-egg-info-uim0jgnm/gavel.egg-info/dependency_links.txt 2022-05-24T17:55:39,515 writing top-level names to /tmp/pip-pip-egg-info-uim0jgnm/gavel.egg-info/top_level.txt 2022-05-24T17:55:39,518 writing requirements to /tmp/pip-pip-egg-info-uim0jgnm/gavel.egg-info/requires.txt 2022-05-24T17:55:39,520 writing /tmp/pip-pip-egg-info-uim0jgnm/gavel.egg-info/PKG-INFO 2022-05-24T17:55:39,528 writing manifest file '/tmp/pip-pip-egg-info-uim0jgnm/gavel.egg-info/SOURCES.txt' 2022-05-24T17:55:39,882 reading manifest file '/tmp/pip-pip-egg-info-uim0jgnm/gavel.egg-info/SOURCES.txt' 2022-05-24T17:55:39,885 reading manifest template 'MANIFEST.in' 2022-05-24T17:55:39,917 warning: no previously-included files matching '*.py[cod]' found anywhere in distribution 2022-05-24T17:55:39,918 warning: no previously-included files matching '__pycache__' found anywhere in distribution 2022-05-24T17:55:39,920 warning: no previously-included files matching '*.so' found anywhere in distribution 2022-05-24T17:55:39,922 warning: no previously-included files matching '*.dylib' found anywhere in distribution 2022-05-24T17:55:39,936 writing manifest file '/tmp/pip-pip-egg-info-uim0jgnm/gavel.egg-info/SOURCES.txt' 2022-05-24T17:55:40,092 Source in /tmp/pip-wheel-mf56ykk_/gavel_81f2e3f7455545d5b2262a6475767828 has version 0.1.3, which satisfies requirement gavel==0.1.3 from https://files.pythonhosted.org/packages/1a/79/47d113f570af6707ee611ffcc403470e51b34e7c9541812369bf943457f0/gavel-0.1.3.tar.gz#sha256=d849c208aec93b8e49b0cd9e89d08f948e33c2eda04da87f2d471e90b8361712 2022-05-24T17:55:40,094 Removed gavel==0.1.3 from https://files.pythonhosted.org/packages/1a/79/47d113f570af6707ee611ffcc403470e51b34e7c9541812369bf943457f0/gavel-0.1.3.tar.gz#sha256=d849c208aec93b8e49b0cd9e89d08f948e33c2eda04da87f2d471e90b8361712 from build tracker '/tmp/pip-req-tracker-o2iiysce' 2022-05-24T17:55:40,113 Created temporary directory: /tmp/pip-unpack-h56bv1ma 2022-05-24T17:55:40,114 Building wheels for collected packages: gavel 2022-05-24T17:55:40,123 Created temporary directory: /tmp/pip-wheel-jfjjevbq 2022-05-24T17:55:40,124 Building wheel for gavel (setup.py): started 2022-05-24T17:55:40,124 Destination directory: /tmp/pip-wheel-jfjjevbq 2022-05-24T17:55:40,125 Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-mf56ykk_/gavel_81f2e3f7455545d5b2262a6475767828/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-mf56ykk_/gavel_81f2e3f7455545d5b2262a6475767828/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-jfjjevbq 2022-05-24T17:55:42,693 running bdist_wheel 2022-05-24T17:55:42,704 running build 2022-05-24T17:55:42,704 running build_py 2022-05-24T17:55:43,030 creating build 2022-05-24T17:55:43,030 creating build/lib 2022-05-24T17:55:43,032 creating build/lib/gavel 2022-05-24T17:55:43,035 copying src/gavel/cli.py -> build/lib/gavel 2022-05-24T17:55:43,041 copying src/gavel/__main__.py -> build/lib/gavel 2022-05-24T17:55:43,044 copying src/gavel/__init__.py -> build/lib/gavel 2022-05-24T17:55:43,049 creating build/lib/gavel/plugins 2022-05-24T17:55:43,051 copying src/gavel/plugins/__init__.py -> build/lib/gavel/plugins 2022-05-24T17:55:43,058 creating build/lib/gavel/config 2022-05-24T17:55:43,061 copying src/gavel/config/settings.py -> build/lib/gavel/config 2022-05-24T17:55:43,066 copying src/gavel/config/__init__.py -> build/lib/gavel/config 2022-05-24T17:55:43,073 creating build/lib/gavel/logic 2022-05-24T17:55:43,075 copying src/gavel/logic/problem.py -> build/lib/gavel/logic 2022-05-24T17:55:43,080 copying src/gavel/logic/sources.py -> build/lib/gavel/logic 2022-05-24T17:55:43,084 copying src/gavel/logic/status.py -> build/lib/gavel/logic 2022-05-24T17:55:43,089 copying src/gavel/logic/__init__.py -> build/lib/gavel/logic 2022-05-24T17:55:43,093 copying src/gavel/logic/solution.py -> build/lib/gavel/logic 2022-05-24T17:55:43,098 copying src/gavel/logic/logic.py -> build/lib/gavel/logic 2022-05-24T17:55:43,107 creating build/lib/gavel/prover 2022-05-24T17:55:43,109 copying src/gavel/prover/__init__.py -> build/lib/gavel/prover 2022-05-24T17:55:43,115 copying src/gavel/prover/registry.py -> build/lib/gavel/prover 2022-05-24T17:55:43,122 creating build/lib/gavel/selection 2022-05-24T17:55:43,125 copying src/gavel/selection/selector.py -> build/lib/gavel/selection 2022-05-24T17:55:43,131 copying src/gavel/selection/__init__.py -> build/lib/gavel/selection 2022-05-24T17:55:43,135 creating build/lib/gavel/dialects 2022-05-24T17:55:43,137 copying src/gavel/dialects/__init__.py -> build/lib/gavel/dialects 2022-05-24T17:55:43,141 creating build/lib/gavel/prover/vampire 2022-05-24T17:55:43,143 copying src/gavel/prover/vampire/interface.py -> build/lib/gavel/prover/vampire 2022-05-24T17:55:43,148 copying src/gavel/prover/vampire/__init__.py -> build/lib/gavel/prover/vampire 2022-05-24T17:55:43,152 creating build/lib/gavel/prover/hets 2022-05-24T17:55:43,155 copying src/gavel/prover/hets/interface.py -> build/lib/gavel/prover/hets 2022-05-24T17:55:43,161 copying src/gavel/prover/hets/__init__.py -> build/lib/gavel/prover/hets 2022-05-24T17:55:43,167 creating build/lib/gavel/prover/eprover 2022-05-24T17:55:43,170 copying src/gavel/prover/eprover/interface.py -> build/lib/gavel/prover/eprover 2022-05-24T17:55:43,175 copying src/gavel/prover/eprover/__init__.py -> build/lib/gavel/prover/eprover 2022-05-24T17:55:43,179 creating build/lib/gavel/prover/base 2022-05-24T17:55:43,181 copying src/gavel/prover/base/interface.py -> build/lib/gavel/prover/base 2022-05-24T17:55:43,185 copying src/gavel/prover/base/__init__.py -> build/lib/gavel/prover/base 2022-05-24T17:55:43,189 creating build/lib/gavel/dialects/latex 2022-05-24T17:55:43,191 copying src/gavel/dialects/latex/__init__.py -> build/lib/gavel/dialects/latex 2022-05-24T17:55:43,198 creating build/lib/gavel/dialects/base 2022-05-24T17:55:43,201 copying src/gavel/dialects/base/dialect.py -> build/lib/gavel/dialects/base 2022-05-24T17:55:43,207 copying src/gavel/dialects/base/compiler.py -> build/lib/gavel/dialects/base 2022-05-24T17:55:43,212 copying src/gavel/dialects/base/__init__.py -> build/lib/gavel/dialects/base 2022-05-24T17:55:43,216 copying src/gavel/dialects/base/parser.py -> build/lib/gavel/dialects/base 2022-05-24T17:55:43,221 creating build/lib/gavel/dialects/tptp 2022-05-24T17:55:43,223 copying src/gavel/dialects/tptp/dialect.py -> build/lib/gavel/dialects/tptp 2022-05-24T17:55:43,228 copying src/gavel/dialects/tptp/compiler.py -> build/lib/gavel/dialects/tptp 2022-05-24T17:55:43,233 copying src/gavel/dialects/tptp/__init__.py -> build/lib/gavel/dialects/tptp 2022-05-24T17:55:43,237 copying src/gavel/dialects/tptp/parser.py -> build/lib/gavel/dialects/tptp 2022-05-24T17:55:43,245 running egg_info 2022-05-24T17:55:43,278 writing top-level names to src/gavel.egg-info/top_level.txt 2022-05-24T17:55:43,281 writing requirements to src/gavel.egg-info/requires.txt 2022-05-24T17:55:43,284 writing src/gavel.egg-info/PKG-INFO 2022-05-24T17:55:43,288 writing dependency_links to src/gavel.egg-info/dependency_links.txt 2022-05-24T17:55:43,312 reading manifest file 'src/gavel.egg-info/SOURCES.txt' 2022-05-24T17:55:43,323 reading manifest template 'MANIFEST.in' 2022-05-24T17:55:43,349 warning: no previously-included files matching '*.py[cod]' found anywhere in distribution 2022-05-24T17:55:43,351 warning: no previously-included files matching '__pycache__' found anywhere in distribution 2022-05-24T17:55:43,353 warning: no previously-included files matching '*.so' found anywhere in distribution 2022-05-24T17:55:43,356 warning: no previously-included files matching '*.dylib' found anywhere in distribution 2022-05-24T17:55:43,373 writing manifest file 'src/gavel.egg-info/SOURCES.txt' 2022-05-24T17:55:43,384 copying src/gavel/prover/vampire/curve.png -> build/lib/gavel/prover/vampire 2022-05-24T17:55:43,391 copying src/gavel/prover/vampire/mask_encoder.state -> build/lib/gavel/prover/vampire 2022-05-24T17:55:43,424 copying src/gavel/dialects/tptp/tptp.lark -> build/lib/gavel/dialects/tptp 2022-05-24T17:55:43,455 installing to build/bdist.linux-armv7l/wheel 2022-05-24T17:55:43,456 running install 2022-05-24T17:55:43,458 running install_lib 2022-05-24T17:55:43,465 creating build/bdist.linux-armv7l 2022-05-24T17:55:43,465 creating build/bdist.linux-armv7l/wheel 2022-05-24T17:55:43,469 creating build/bdist.linux-armv7l/wheel/gavel 2022-05-24T17:55:43,471 copying build/lib/gavel/cli.py -> build/bdist.linux-armv7l/wheel/gavel 2022-05-24T17:55:43,480 creating build/bdist.linux-armv7l/wheel/gavel/plugins 2022-05-24T17:55:43,482 copying build/lib/gavel/plugins/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/plugins 2022-05-24T17:55:43,489 creating build/bdist.linux-armv7l/wheel/gavel/config 2022-05-24T17:55:43,491 copying build/lib/gavel/config/settings.py -> build/bdist.linux-armv7l/wheel/gavel/config 2022-05-24T17:55:43,497 copying build/lib/gavel/config/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/config 2022-05-24T17:55:43,501 copying build/lib/gavel/__main__.py -> build/bdist.linux-armv7l/wheel/gavel 2022-05-24T17:55:43,506 creating build/bdist.linux-armv7l/wheel/gavel/logic 2022-05-24T17:55:43,508 copying build/lib/gavel/logic/problem.py -> build/bdist.linux-armv7l/wheel/gavel/logic 2022-05-24T17:55:43,512 copying build/lib/gavel/logic/sources.py -> build/bdist.linux-armv7l/wheel/gavel/logic 2022-05-24T17:55:43,516 copying build/lib/gavel/logic/status.py -> build/bdist.linux-armv7l/wheel/gavel/logic 2022-05-24T17:55:43,522 copying build/lib/gavel/logic/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/logic 2022-05-24T17:55:43,526 copying build/lib/gavel/logic/solution.py -> build/bdist.linux-armv7l/wheel/gavel/logic 2022-05-24T17:55:43,531 copying build/lib/gavel/logic/logic.py -> build/bdist.linux-armv7l/wheel/gavel/logic 2022-05-24T17:55:43,540 creating build/bdist.linux-armv7l/wheel/gavel/prover 2022-05-24T17:55:43,544 creating build/bdist.linux-armv7l/wheel/gavel/prover/vampire 2022-05-24T17:55:43,546 copying build/lib/gavel/prover/vampire/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire 2022-05-24T17:55:43,550 copying build/lib/gavel/prover/vampire/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire 2022-05-24T17:55:43,553 copying build/lib/gavel/prover/vampire/mask_encoder.state -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire 2022-05-24T17:55:43,585 copying build/lib/gavel/prover/vampire/curve.png -> build/bdist.linux-armv7l/wheel/gavel/prover/vampire 2022-05-24T17:55:43,592 creating build/bdist.linux-armv7l/wheel/gavel/prover/hets 2022-05-24T17:55:43,594 copying build/lib/gavel/prover/hets/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/hets 2022-05-24T17:55:43,599 copying build/lib/gavel/prover/hets/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/hets 2022-05-24T17:55:43,603 creating build/bdist.linux-armv7l/wheel/gavel/prover/eprover 2022-05-24T17:55:43,605 copying build/lib/gavel/prover/eprover/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/eprover 2022-05-24T17:55:43,611 copying build/lib/gavel/prover/eprover/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/eprover 2022-05-24T17:55:43,617 creating build/bdist.linux-armv7l/wheel/gavel/prover/base 2022-05-24T17:55:43,619 copying build/lib/gavel/prover/base/interface.py -> build/bdist.linux-armv7l/wheel/gavel/prover/base 2022-05-24T17:55:43,625 copying build/lib/gavel/prover/base/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover/base 2022-05-24T17:55:43,628 copying build/lib/gavel/prover/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/prover 2022-05-24T17:55:43,632 copying build/lib/gavel/prover/registry.py -> build/bdist.linux-armv7l/wheel/gavel/prover 2022-05-24T17:55:43,637 creating build/bdist.linux-armv7l/wheel/gavel/selection 2022-05-24T17:55:43,639 copying build/lib/gavel/selection/selector.py -> build/bdist.linux-armv7l/wheel/gavel/selection 2022-05-24T17:55:43,643 copying build/lib/gavel/selection/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/selection 2022-05-24T17:55:43,649 creating build/bdist.linux-armv7l/wheel/gavel/dialects 2022-05-24T17:55:43,653 creating build/bdist.linux-armv7l/wheel/gavel/dialects/latex 2022-05-24T17:55:43,656 copying build/lib/gavel/dialects/latex/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/latex 2022-05-24T17:55:43,662 creating build/bdist.linux-armv7l/wheel/gavel/dialects/base 2022-05-24T17:55:43,665 copying build/lib/gavel/dialects/base/dialect.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base 2022-05-24T17:55:43,669 copying build/lib/gavel/dialects/base/compiler.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base 2022-05-24T17:55:43,673 copying build/lib/gavel/dialects/base/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base 2022-05-24T17:55:43,677 copying build/lib/gavel/dialects/base/parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/base 2022-05-24T17:55:43,682 creating build/bdist.linux-armv7l/wheel/gavel/dialects/tptp 2022-05-24T17:55:43,684 copying build/lib/gavel/dialects/tptp/dialect.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp 2022-05-24T17:55:43,689 copying build/lib/gavel/dialects/tptp/compiler.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp 2022-05-24T17:55:43,696 copying build/lib/gavel/dialects/tptp/tptp.lark -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp 2022-05-24T17:55:43,701 copying build/lib/gavel/dialects/tptp/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp 2022-05-24T17:55:43,706 copying build/lib/gavel/dialects/tptp/parser.py -> build/bdist.linux-armv7l/wheel/gavel/dialects/tptp 2022-05-24T17:55:43,712 copying build/lib/gavel/dialects/__init__.py -> build/bdist.linux-armv7l/wheel/gavel/dialects 2022-05-24T17:55:43,715 copying build/lib/gavel/__init__.py -> build/bdist.linux-armv7l/wheel/gavel 2022-05-24T17:55:43,718 running install_egg_info 2022-05-24T17:55:43,734 Copying src/gavel.egg-info to build/bdist.linux-armv7l/wheel/gavel-0.1.3-py3.5.egg-info 2022-05-24T17:55:43,762 running install_scripts 2022-05-24T17:55:43,971 creating build/bdist.linux-armv7l/wheel/gavel-0.1.3.dist-info/WHEEL 2022-05-24T17:55:44,476 Building wheel for gavel (setup.py): finished with status 'done' 2022-05-24T17:55:44,486 Created wheel for gavel: filename=gavel-0.1.3-py3-none-any.whl size=314931 sha256=eac05c527d6c6d18535e3acbc21fd97ac3722b66495d2b62f4b43a3e76a6ed93 2022-05-24T17:55:44,487 Stored in directory: /tmp/pip-ephem-wheel-cache-8_krzsvh/wheels/4e/d4/95/ef7a5dff882b44ae65bcc76b1d945fac2351e1ddf7a67eb00a 2022-05-24T17:55:44,506 Successfully built gavel 2022-05-24T17:55:44,566 Removed build tracker: '/tmp/pip-req-tracker-o2iiysce'