2020-06-02T15:01:38,152 Created temporary directory: /tmp/pip-ephem-wheel-cache-vgosd3h4
2020-06-02T15:01:38,157 Created temporary directory: /tmp/pip-req-tracker-0rl8g467
2020-06-02T15:01:38,158 Initialized build tracking at /tmp/pip-req-tracker-0rl8g467
2020-06-02T15:01:38,159 Created build tracker: /tmp/pip-req-tracker-0rl8g467
2020-06-02T15:01:38,159 Entered build tracker: /tmp/pip-req-tracker-0rl8g467
2020-06-02T15:01:38,160 Created temporary directory: /tmp/pip-wheel-c4pg74d9
2020-06-02T15:01:38,174 1 location(s) to search for versions of RecordFlux:
2020-06-02T15:01:38,174 * https://pypi.org/simple/recordflux/
2020-06-02T15:01:38,175 Fetching project page and analyzing links: https://pypi.org/simple/recordflux/
2020-06-02T15:01:38,176 Getting page https://pypi.org/simple/recordflux/
2020-06-02T15:01:38,178 Found index url https://pypi.org/simple
2020-06-02T15:01:38,382   Found link https://files.pythonhosted.org/packages/a5/52/51617b47dbd4d01fe5b1fb29fc39cd3e675db699a6b3eda096e11f25bdcd/RecordFlux-0.3.0.tar.gz#sha256=4598bac2b14b02a6af1a37e99827337bf3d3b8e85b4f168d27d0f3aa1b392959 (from https://pypi.org/simple/recordflux/) (requires-python:>=3.6), version: 0.3.0
2020-06-02T15:01:38,383   Found link https://files.pythonhosted.org/packages/7d/3a/f6fd553f96d1a141056ab2d2c212c45c350b3bd43316d975f0e64d53cd6a/RecordFlux-0.4.0.tar.gz#sha256=d30618e54e558193af54e5dce1f8cec5f0518f06a1f40a8297c021645f1d3182 (from https://pypi.org/simple/recordflux/) (requires-python:>=3.6), version: 0.4.0
2020-06-02T15:01:38,391 Given no hashes to check 1 links for project 'RecordFlux': discarding no candidates
2020-06-02T15:01:38,392 Using version 0.4.0 (newest of versions: 0.4.0)
2020-06-02T15:01:38,398 Collecting RecordFlux==0.4.0
2020-06-02T15:01:38,401   Created temporary directory: /tmp/pip-unpack-aspazah6
2020-06-02T15:01:38,609   Downloading RecordFlux-0.4.0.tar.gz (86 kB)
2020-06-02T15:01:39,043   Added RecordFlux==0.4.0 from https://files.pythonhosted.org/packages/7d/3a/f6fd553f96d1a141056ab2d2c212c45c350b3bd43316d975f0e64d53cd6a/RecordFlux-0.4.0.tar.gz#sha256=d30618e54e558193af54e5dce1f8cec5f0518f06a1f40a8297c021645f1d3182 to build tracker '/tmp/pip-req-tracker-0rl8g467'
2020-06-02T15:01:39,047     Running setup.py (path:/tmp/pip-wheel-c4pg74d9/RecordFlux/setup.py) egg_info for package RecordFlux
2020-06-02T15:01:39,049     Created temporary directory: /tmp/pip-pip-egg-info-yochyd_5
2020-06-02T15:01:39,050     Running command python setup.py egg_info
2020-06-02T15:01:41,135     running egg_info
2020-06-02T15:01:41,139     creating /tmp/pip-pip-egg-info-yochyd_5/RecordFlux.egg-info
2020-06-02T15:01:41,141     writing /tmp/pip-pip-egg-info-yochyd_5/RecordFlux.egg-info/PKG-INFO
2020-06-02T15:01:41,149     writing dependency_links to /tmp/pip-pip-egg-info-yochyd_5/RecordFlux.egg-info/dependency_links.txt
2020-06-02T15:01:41,154     writing requirements to /tmp/pip-pip-egg-info-yochyd_5/RecordFlux.egg-info/requires.txt
2020-06-02T15:01:41,156     writing top-level names to /tmp/pip-pip-egg-info-yochyd_5/RecordFlux.egg-info/top_level.txt
2020-06-02T15:01:41,160     writing manifest file '/tmp/pip-pip-egg-info-yochyd_5/RecordFlux.egg-info/SOURCES.txt'
2020-06-02T15:01:41,461     reading manifest file '/tmp/pip-pip-egg-info-yochyd_5/RecordFlux.egg-info/SOURCES.txt'
2020-06-02T15:01:41,464     reading manifest template 'MANIFEST.in'
2020-06-02T15:01:41,477     writing manifest file '/tmp/pip-pip-egg-info-yochyd_5/RecordFlux.egg-info/SOURCES.txt'
2020-06-02T15:01:41,603   Source in /tmp/pip-wheel-c4pg74d9/RecordFlux has version 0.4.0, which satisfies requirement RecordFlux==0.4.0 from https://files.pythonhosted.org/packages/7d/3a/f6fd553f96d1a141056ab2d2c212c45c350b3bd43316d975f0e64d53cd6a/RecordFlux-0.4.0.tar.gz#sha256=d30618e54e558193af54e5dce1f8cec5f0518f06a1f40a8297c021645f1d3182
2020-06-02T15:01:41,605   Removed RecordFlux==0.4.0 from https://files.pythonhosted.org/packages/7d/3a/f6fd553f96d1a141056ab2d2c212c45c350b3bd43316d975f0e64d53cd6a/RecordFlux-0.4.0.tar.gz#sha256=d30618e54e558193af54e5dce1f8cec5f0518f06a1f40a8297c021645f1d3182 from build tracker '/tmp/pip-req-tracker-0rl8g467'
2020-06-02T15:01:41,612 Building wheels for collected packages: RecordFlux
2020-06-02T15:01:41,622   Created temporary directory: /tmp/pip-wheel-vpctj1q8
2020-06-02T15:01:41,623   Building wheel for RecordFlux (setup.py): started
2020-06-02T15:01:41,623   Destination directory: /tmp/pip-wheel-vpctj1q8
2020-06-02T15:01:41,624   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-c4pg74d9/RecordFlux/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-c4pg74d9/RecordFlux/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-vpctj1q8
2020-06-02T15:01:43,696   running bdist_wheel
2020-06-02T15:01:43,710   running build
2020-06-02T15:01:43,711   running build_py
2020-06-02T15:01:43,986   creating build
2020-06-02T15:01:43,988   creating build/lib
2020-06-02T15:01:43,992   creating build/lib/rflx
2020-06-02T15:01:43,995   copying rflx/__init__.py -> build/lib/rflx
2020-06-02T15:01:44,000   copying rflx/model.py -> build/lib/rflx
2020-06-02T15:01:44,010   copying rflx/common.py -> build/lib/rflx
2020-06-02T15:01:44,015   copying rflx/cli.py -> build/lib/rflx
2020-06-02T15:01:44,021   copying rflx/contract.py -> build/lib/rflx
2020-06-02T15:01:44,027   copying rflx/graph.py -> build/lib/rflx
2020-06-02T15:01:44,034   copying rflx/identifier.py -> build/lib/rflx
2020-06-02T15:01:44,038   copying rflx/ada.py -> build/lib/rflx
2020-06-02T15:01:44,046   copying rflx/expression.py -> build/lib/rflx
2020-06-02T15:01:44,058   creating build/lib/bin
2020-06-02T15:01:44,061   copying bin/__init__.py -> build/lib/bin
2020-06-02T15:01:44,068   creating build/lib/rflx/generator
2020-06-02T15:01:44,072   copying rflx/generator/core.py -> build/lib/rflx/generator
2020-06-02T15:01:44,088   copying rflx/generator/__init__.py -> build/lib/rflx/generator
2020-06-02T15:01:44,093   copying rflx/generator/const.py -> build/lib/rflx/generator
2020-06-02T15:01:44,100   copying rflx/generator/parser.py -> build/lib/rflx/generator
2020-06-02T15:01:44,110   copying rflx/generator/common.py -> build/lib/rflx/generator
2020-06-02T15:01:44,119   copying rflx/generator/generator.py -> build/lib/rflx/generator
2020-06-02T15:01:44,129   creating build/lib/rflx/pyrflx
2020-06-02T15:01:44,131   copying rflx/pyrflx/__init__.py -> build/lib/rflx/pyrflx
2020-06-02T15:01:44,136   copying rflx/pyrflx/package.py -> build/lib/rflx/pyrflx
2020-06-02T15:01:44,141   copying rflx/pyrflx/pyrflx.py -> build/lib/rflx/pyrflx
2020-06-02T15:01:44,145   copying rflx/pyrflx/bitstring.py -> build/lib/rflx/pyrflx
2020-06-02T15:01:44,150   copying rflx/pyrflx/typevalue.py -> build/lib/rflx/pyrflx
2020-06-02T15:01:44,161   creating build/lib/rflx/parser
2020-06-02T15:01:44,164   copying rflx/parser/__init__.py -> build/lib/rflx/parser
2020-06-02T15:01:44,171   copying rflx/parser/parser.py -> build/lib/rflx/parser
2020-06-02T15:01:44,177   copying rflx/parser/grammar.py -> build/lib/rflx/parser
2020-06-02T15:01:44,184   copying rflx/parser/ast.py -> build/lib/rflx/parser
2020-06-02T15:01:44,192   creating build/lib/rflx/templates
2020-06-02T15:01:44,194   copying rflx/templates/rflx_scalar_sequence.adb -> build/lib/rflx/templates
2020-06-02T15:01:44,202   copying rflx/templates/rflx_lemmas.adb -> build/lib/rflx/templates
2020-06-02T15:01:44,209   copying rflx/templates/rflx_builtin_types-conversions.ads -> build/lib/rflx/templates
2020-06-02T15:01:44,216   copying rflx/templates/rflx_lemmas.ads -> build/lib/rflx/templates
2020-06-02T15:01:44,222   copying rflx/templates/rflx_message_sequence.adb -> build/lib/rflx/templates
2020-06-02T15:01:44,227   copying rflx/templates/license_header -> build/lib/rflx/templates
2020-06-02T15:01:44,232   copying rflx/templates/rflx_generic_types.adb -> build/lib/rflx/templates
2020-06-02T15:01:44,240   copying rflx/templates/rflx_builtin_types.ads -> build/lib/rflx/templates
2020-06-02T15:01:44,246   copying rflx/templates/rflx_scalar_sequence.ads -> build/lib/rflx/templates
2020-06-02T15:01:44,255   copying rflx/templates/rflx_message_sequence.ads -> build/lib/rflx/templates
2020-06-02T15:01:44,261   copying rflx/templates/rflx_types.ads -> build/lib/rflx/templates
2020-06-02T15:01:44,267   copying rflx/templates/rflx_generic_types.ads -> build/lib/rflx/templates
2020-06-02T15:01:44,280   running build_scripts
2020-06-02T15:01:44,281   creating build/scripts-3.7
2020-06-02T15:01:44,286   copying and adjusting bin/rflx -> build/scripts-3.7
2020-06-02T15:01:44,289   changing mode of build/scripts-3.7/rflx from 644 to 755
2020-06-02T15:01:44,299   installing to build/bdist.linux-armv7l/wheel
2020-06-02T15:01:44,300   running install
2020-06-02T15:01:44,302   running install_lib
2020-06-02T15:01:44,309   creating build/bdist.linux-armv7l
2020-06-02T15:01:44,310   creating build/bdist.linux-armv7l/wheel
2020-06-02T15:01:44,315   creating build/bdist.linux-armv7l/wheel/rflx
2020-06-02T15:01:44,319   creating build/bdist.linux-armv7l/wheel/rflx/generator
2020-06-02T15:01:44,321   copying build/lib/rflx/generator/core.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-06-02T15:01:44,337   copying build/lib/rflx/generator/__init__.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-06-02T15:01:44,341   copying build/lib/rflx/generator/const.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-06-02T15:01:44,347   copying build/lib/rflx/generator/parser.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-06-02T15:01:44,356   copying build/lib/rflx/generator/common.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-06-02T15:01:44,364   copying build/lib/rflx/generator/generator.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-06-02T15:01:44,372   copying build/lib/rflx/__init__.py -> build/bdist.linux-armv7l/wheel/rflx
2020-06-02T15:01:44,378   copying build/lib/rflx/model.py -> build/bdist.linux-armv7l/wheel/rflx
2020-06-02T15:01:44,386   copying build/lib/rflx/common.py -> build/bdist.linux-armv7l/wheel/rflx
2020-06-02T15:01:44,390   copying build/lib/rflx/cli.py -> build/bdist.linux-armv7l/wheel/rflx
2020-06-02T15:01:44,397   creating build/bdist.linux-armv7l/wheel/rflx/pyrflx
2020-06-02T15:01:44,399   copying build/lib/rflx/pyrflx/__init__.py -> build/bdist.linux-armv7l/wheel/rflx/pyrflx
2020-06-02T15:01:44,405   copying build/lib/rflx/pyrflx/package.py -> build/bdist.linux-armv7l/wheel/rflx/pyrflx
2020-06-02T15:01:44,411   copying build/lib/rflx/pyrflx/pyrflx.py -> build/bdist.linux-armv7l/wheel/rflx/pyrflx
2020-06-02T15:01:44,417   copying build/lib/rflx/pyrflx/bitstring.py -> build/bdist.linux-armv7l/wheel/rflx/pyrflx
2020-06-02T15:01:44,423   copying build/lib/rflx/pyrflx/typevalue.py -> build/bdist.linux-armv7l/wheel/rflx/pyrflx
2020-06-02T15:01:44,430   copying build/lib/rflx/contract.py -> build/bdist.linux-armv7l/wheel/rflx
2020-06-02T15:01:44,435   copying build/lib/rflx/graph.py -> build/bdist.linux-armv7l/wheel/rflx
2020-06-02T15:01:44,440   copying build/lib/rflx/identifier.py -> build/bdist.linux-armv7l/wheel/rflx
2020-06-02T15:01:44,445   copying build/lib/rflx/ada.py -> build/bdist.linux-armv7l/wheel/rflx
2020-06-02T15:01:44,455   copying build/lib/rflx/expression.py -> build/bdist.linux-armv7l/wheel/rflx
2020-06-02T15:01:44,466   creating build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,468   copying build/lib/rflx/templates/rflx_scalar_sequence.adb -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,473   copying build/lib/rflx/templates/rflx_lemmas.adb -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,478   copying build/lib/rflx/templates/rflx_builtin_types-conversions.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,484   copying build/lib/rflx/templates/rflx_lemmas.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,490   copying build/lib/rflx/templates/rflx_message_sequence.adb -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,496   copying build/lib/rflx/templates/license_header -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,502   copying build/lib/rflx/templates/rflx_generic_types.adb -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,508   copying build/lib/rflx/templates/rflx_builtin_types.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,513   copying build/lib/rflx/templates/rflx_scalar_sequence.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,519   copying build/lib/rflx/templates/rflx_message_sequence.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,526   copying build/lib/rflx/templates/rflx_types.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,532   copying build/lib/rflx/templates/rflx_generic_types.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-06-02T15:01:44,540   creating build/bdist.linux-armv7l/wheel/rflx/parser
2020-06-02T15:01:44,543   copying build/lib/rflx/parser/__init__.py -> build/bdist.linux-armv7l/wheel/rflx/parser
2020-06-02T15:01:44,548   copying build/lib/rflx/parser/parser.py -> build/bdist.linux-armv7l/wheel/rflx/parser
2020-06-02T15:01:44,553   copying build/lib/rflx/parser/grammar.py -> build/bdist.linux-armv7l/wheel/rflx/parser
2020-06-02T15:01:44,560   copying build/lib/rflx/parser/ast.py -> build/bdist.linux-armv7l/wheel/rflx/parser
2020-06-02T15:01:44,567   creating build/bdist.linux-armv7l/wheel/bin
2020-06-02T15:01:44,570   copying build/lib/bin/__init__.py -> build/bdist.linux-armv7l/wheel/bin
2020-06-02T15:01:44,574   running install_egg_info
2020-06-02T15:01:44,618   running egg_info
2020-06-02T15:01:44,620   writing RecordFlux.egg-info/PKG-INFO
2020-06-02T15:01:44,626   writing dependency_links to RecordFlux.egg-info/dependency_links.txt
2020-06-02T15:01:44,631   writing requirements to RecordFlux.egg-info/requires.txt
2020-06-02T15:01:44,634   writing top-level names to RecordFlux.egg-info/top_level.txt
2020-06-02T15:01:44,649   reading manifest file 'RecordFlux.egg-info/SOURCES.txt'
2020-06-02T15:01:44,655   reading manifest template 'MANIFEST.in'
2020-06-02T15:01:44,668   writing manifest file 'RecordFlux.egg-info/SOURCES.txt'
2020-06-02T15:01:44,672   Copying RecordFlux.egg-info to build/bdist.linux-armv7l/wheel/RecordFlux-0.4.0-py3.7.egg-info
2020-06-02T15:01:44,702   running install_scripts
2020-06-02T15:01:44,800   creating build/bdist.linux-armv7l/wheel/RecordFlux-0.4.0.data
2020-06-02T15:01:44,800   creating build/bdist.linux-armv7l/wheel/RecordFlux-0.4.0.data/scripts
2020-06-02T15:01:44,803   copying build/scripts-3.7/rflx -> build/bdist.linux-armv7l/wheel/RecordFlux-0.4.0.data/scripts
2020-06-02T15:01:44,808   changing mode of build/bdist.linux-armv7l/wheel/RecordFlux-0.4.0.data/scripts/rflx to 755
2020-06-02T15:01:44,895   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2020-06-02T15:01:44,911   creating build/bdist.linux-armv7l/wheel/RecordFlux-0.4.0.dist-info/WHEEL
2020-06-02T15:01:44,917   creating '/tmp/pip-wheel-vpctj1q8/RecordFlux-0.4.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2020-06-02T15:01:44,924   adding 'RecordFlux-0.4.0.data/scripts/rflx'
2020-06-02T15:01:44,933   adding 'bin/__init__.py'
2020-06-02T15:01:44,939   adding 'rflx/__init__.py'
2020-06-02T15:01:44,948   adding 'rflx/ada.py'
2020-06-02T15:01:44,952   adding 'rflx/cli.py'
2020-06-02T15:01:44,954   adding 'rflx/common.py'
2020-06-02T15:01:44,957   adding 'rflx/contract.py'
2020-06-02T15:01:44,964   adding 'rflx/expression.py'
2020-06-02T15:01:44,967   adding 'rflx/graph.py'
2020-06-02T15:01:44,970   adding 'rflx/identifier.py'
2020-06-02T15:01:44,978   adding 'rflx/model.py'
2020-06-02T15:01:44,982   adding 'rflx/generator/__init__.py'
2020-06-02T15:01:44,986   adding 'rflx/generator/common.py'
2020-06-02T15:01:44,989   adding 'rflx/generator/const.py'
2020-06-02T15:01:45,004   adding 'rflx/generator/core.py'
2020-06-02T15:01:45,010   adding 'rflx/generator/generator.py'
2020-06-02T15:01:45,015   adding 'rflx/generator/parser.py'
2020-06-02T15:01:45,019   adding 'rflx/parser/__init__.py'
2020-06-02T15:01:45,022   adding 'rflx/parser/ast.py'
2020-06-02T15:01:45,027   adding 'rflx/parser/grammar.py'
2020-06-02T15:01:45,031   adding 'rflx/parser/parser.py'
2020-06-02T15:01:45,035   adding 'rflx/pyrflx/__init__.py'
2020-06-02T15:01:45,037   adding 'rflx/pyrflx/bitstring.py'
2020-06-02T15:01:45,040   adding 'rflx/pyrflx/package.py'
2020-06-02T15:01:45,043   adding 'rflx/pyrflx/pyrflx.py'
2020-06-02T15:01:45,049   adding 'rflx/pyrflx/typevalue.py'
2020-06-02T15:01:45,053   adding 'rflx/templates/license_header'
2020-06-02T15:01:45,056   adding 'rflx/templates/rflx_builtin_types-conversions.ads'
2020-06-02T15:01:45,058   adding 'rflx/templates/rflx_builtin_types.ads'
2020-06-02T15:01:45,062   adding 'rflx/templates/rflx_generic_types.adb'
2020-06-02T15:01:45,065   adding 'rflx/templates/rflx_generic_types.ads'
2020-06-02T15:01:45,067   adding 'rflx/templates/rflx_lemmas.adb'
2020-06-02T15:01:45,070   adding 'rflx/templates/rflx_lemmas.ads'
2020-06-02T15:01:45,073   adding 'rflx/templates/rflx_message_sequence.adb'
2020-06-02T15:01:45,076   adding 'rflx/templates/rflx_message_sequence.ads'
2020-06-02T15:01:45,079   adding 'rflx/templates/rflx_scalar_sequence.adb'
2020-06-02T15:01:45,082   adding 'rflx/templates/rflx_scalar_sequence.ads'
2020-06-02T15:01:45,084   adding 'rflx/templates/rflx_types.ads'
2020-06-02T15:01:45,094   adding 'RecordFlux-0.4.0.dist-info/LICENSE'
2020-06-02T15:01:45,099   adding 'RecordFlux-0.4.0.dist-info/METADATA'
2020-06-02T15:01:45,101   adding 'RecordFlux-0.4.0.dist-info/WHEEL'
2020-06-02T15:01:45,103   adding 'RecordFlux-0.4.0.dist-info/top_level.txt'
2020-06-02T15:01:45,105   adding 'RecordFlux-0.4.0.dist-info/RECORD'
2020-06-02T15:01:45,116   removing build/bdist.linux-armv7l/wheel
2020-06-02T15:01:45,294   Building wheel for RecordFlux (setup.py): finished with status 'done'
2020-06-02T15:01:45,299   Created wheel for RecordFlux: filename=RecordFlux-0.4.0-py3-none-any.whl size=94337 sha256=6d62408d85067f284e3de0cf6190caa4616eace62bd766a216d0b2cd9f3559e9
2020-06-02T15:01:45,300   Stored in directory: /tmp/pip-ephem-wheel-cache-vgosd3h4/wheels/ff/ad/05/e6e0c35498ccb220752c58e2883a96ef6798079aaf25521b9a
2020-06-02T15:01:45,303 Successfully built RecordFlux
2020-06-02T15:01:45,326 Removed build tracker: '/tmp/pip-req-tracker-0rl8g467'