2020-02-12T22:43:58 Created temporary directory: /tmp/pip-ephem-wheel-cache-wm8_qwge
2020-02-12T22:43:58 Created temporary directory: /tmp/pip-req-tracker-cwb37n7y
2020-02-12T22:43:58 Created requirements tracker '/tmp/pip-req-tracker-cwb37n7y'
2020-02-12T22:43:58 Created temporary directory: /tmp/pip-wheel-xxgadvp2
2020-02-12T22:43:58 Collecting RecordFlux==0.3.0
2020-02-12T22:43:58   1 location(s) to search for versions of RecordFlux:
2020-02-12T22:43:58   * https://pypi.org/simple/recordflux/
2020-02-12T22:43:58   Getting page https://pypi.org/simple/recordflux/
2020-02-12T22:43:58   Analyzing links from page https://pypi.org/simple/recordflux/
2020-02-12T22:43:58     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-02-12T22:43:58   Using version 0.3.0 (newest of versions: 0.3.0)
2020-02-12T22:43:58   Created temporary directory: /tmp/pip-unpack-ocp01xzu
2020-02-12T22:43:58   Downloading https://files.pythonhosted.org/packages/a5/52/51617b47dbd4d01fe5b1fb29fc39cd3e675db699a6b3eda096e11f25bdcd/RecordFlux-0.3.0.tar.gz (69kB)
2020-02-12T22:43:58   Downloading from URL 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)
2020-02-12T22:43:59   Added RecordFlux==0.3.0 from https://files.pythonhosted.org/packages/a5/52/51617b47dbd4d01fe5b1fb29fc39cd3e675db699a6b3eda096e11f25bdcd/RecordFlux-0.3.0.tar.gz#sha256=4598bac2b14b02a6af1a37e99827337bf3d3b8e85b4f168d27d0f3aa1b392959 to build tracker '/tmp/pip-req-tracker-cwb37n7y'
2020-02-12T22:43:59     Running setup.py (path:/tmp/pip-wheel-xxgadvp2/RecordFlux/setup.py) egg_info for package RecordFlux
2020-02-12T22:43:59     Running command python setup.py egg_info
2020-02-12T22:44:00     running egg_info
2020-02-12T22:44:00     creating pip-egg-info/RecordFlux.egg-info
2020-02-12T22:44:00     writing pip-egg-info/RecordFlux.egg-info/PKG-INFO
2020-02-12T22:44:00     writing dependency_links to pip-egg-info/RecordFlux.egg-info/dependency_links.txt
2020-02-12T22:44:00     writing requirements to pip-egg-info/RecordFlux.egg-info/requires.txt
2020-02-12T22:44:00     writing top-level names to pip-egg-info/RecordFlux.egg-info/top_level.txt
2020-02-12T22:44:00     writing manifest file 'pip-egg-info/RecordFlux.egg-info/SOURCES.txt'
2020-02-12T22:44:00     reading manifest file 'pip-egg-info/RecordFlux.egg-info/SOURCES.txt'
2020-02-12T22:44:00     reading manifest template 'MANIFEST.in'
2020-02-12T22:44:00     writing manifest file 'pip-egg-info/RecordFlux.egg-info/SOURCES.txt'
2020-02-12T22:44:00   Source in /tmp/pip-wheel-xxgadvp2/RecordFlux has version 0.3.0, which satisfies requirement RecordFlux==0.3.0 from https://files.pythonhosted.org/packages/a5/52/51617b47dbd4d01fe5b1fb29fc39cd3e675db699a6b3eda096e11f25bdcd/RecordFlux-0.3.0.tar.gz#sha256=4598bac2b14b02a6af1a37e99827337bf3d3b8e85b4f168d27d0f3aa1b392959
2020-02-12T22:44:00   Removed RecordFlux==0.3.0 from https://files.pythonhosted.org/packages/a5/52/51617b47dbd4d01fe5b1fb29fc39cd3e675db699a6b3eda096e11f25bdcd/RecordFlux-0.3.0.tar.gz#sha256=4598bac2b14b02a6af1a37e99827337bf3d3b8e85b4f168d27d0f3aa1b392959 from build tracker '/tmp/pip-req-tracker-cwb37n7y'
2020-02-12T22:44:00 Building wheels for collected packages: RecordFlux
2020-02-12T22:44:00   Created temporary directory: /tmp/pip-wheel-ig42111v
2020-02-12T22:44:00   Building wheel for RecordFlux (setup.py): started
2020-02-12T22:44:00   Destination directory: /tmp/pip-wheel-ig42111v
2020-02-12T22:44:00   Running command /usr/bin/python3 -u -c 'import setuptools, tokenize;__file__='"'"'/tmp/pip-wheel-xxgadvp2/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-ig42111v
2020-02-12T22:44:02   running bdist_wheel
2020-02-12T22:44:02   running build
2020-02-12T22:44:02   running build_py
2020-02-12T22:44:02   creating build
2020-02-12T22:44:02   creating build/lib
2020-02-12T22:44:02   creating build/lib/rflx
2020-02-12T22:44:02   copying rflx/parser.py -> build/lib/rflx
2020-02-12T22:44:02   copying rflx/graph.py -> build/lib/rflx
2020-02-12T22:44:02   copying rflx/__init__.py -> build/lib/rflx
2020-02-12T22:44:02   copying rflx/expression.py -> build/lib/rflx
2020-02-12T22:44:02   copying rflx/common.py -> build/lib/rflx
2020-02-12T22:44:02   copying rflx/model.py -> build/lib/rflx
2020-02-12T22:44:02   copying rflx/cli.py -> build/lib/rflx
2020-02-12T22:44:02   copying rflx/ada.py -> build/lib/rflx
2020-02-12T22:44:02   creating build/lib/bin
2020-02-12T22:44:02   copying bin/__init__.py -> build/lib/bin
2020-02-12T22:44:02   creating build/lib/rflx/generator
2020-02-12T22:44:02   copying rflx/generator/parser.py -> build/lib/rflx/generator
2020-02-12T22:44:02   copying rflx/generator/generator.py -> build/lib/rflx/generator
2020-02-12T22:44:02   copying rflx/generator/core.py -> build/lib/rflx/generator
2020-02-12T22:44:02   copying rflx/generator/__init__.py -> build/lib/rflx/generator
2020-02-12T22:44:02   copying rflx/generator/common.py -> build/lib/rflx/generator
2020-02-12T22:44:02   copying rflx/generator/types.py -> build/lib/rflx/generator
2020-02-12T22:44:02   creating build/lib/rflx/templates
2020-02-12T22:44:02   copying rflx/templates/scalar_sequence.adb -> build/lib/rflx/templates
2020-02-12T22:44:02   copying rflx/templates/license_header -> build/lib/rflx/templates
2020-02-12T22:44:02   copying rflx/templates/message_sequence.adb -> build/lib/rflx/templates
2020-02-12T22:44:02   copying rflx/templates/message_sequence.ads -> build/lib/rflx/templates
2020-02-12T22:44:02   copying rflx/templates/lemmas.adb -> build/lib/rflx/templates
2020-02-12T22:44:02   copying rflx/templates/scalar_sequence.ads -> build/lib/rflx/templates
2020-02-12T22:44:02   copying rflx/templates/types.adb -> build/lib/rflx/templates
2020-02-12T22:44:02   copying rflx/templates/lemmas.ads -> build/lib/rflx/templates
2020-02-12T22:44:02   copying rflx/templates/types.ads -> build/lib/rflx/templates
2020-02-12T22:44:02   running build_scripts
2020-02-12T22:44:02   creating build/scripts-3.7
2020-02-12T22:44:02   copying and adjusting bin/rflx -> build/scripts-3.7
2020-02-12T22:44:02   changing mode of build/scripts-3.7/rflx from 644 to 755
2020-02-12T22:44:02   installing to build/bdist.linux-armv7l/wheel
2020-02-12T22:44:02   running install
2020-02-12T22:44:02   running install_lib
2020-02-12T22:44:02   creating build/bdist.linux-armv7l
2020-02-12T22:44:02   creating build/bdist.linux-armv7l/wheel
2020-02-12T22:44:02   creating build/bdist.linux-armv7l/wheel/rflx
2020-02-12T22:44:02   copying build/lib/rflx/parser.py -> build/bdist.linux-armv7l/wheel/rflx
2020-02-12T22:44:02   copying build/lib/rflx/graph.py -> build/bdist.linux-armv7l/wheel/rflx
2020-02-12T22:44:02   copying build/lib/rflx/__init__.py -> build/bdist.linux-armv7l/wheel/rflx
2020-02-12T22:44:02   creating build/bdist.linux-armv7l/wheel/rflx/generator
2020-02-12T22:44:02   copying build/lib/rflx/generator/parser.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-02-12T22:44:02   copying build/lib/rflx/generator/generator.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-02-12T22:44:02   copying build/lib/rflx/generator/core.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-02-12T22:44:02   copying build/lib/rflx/generator/__init__.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-02-12T22:44:02   copying build/lib/rflx/generator/common.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-02-12T22:44:02   copying build/lib/rflx/generator/types.py -> build/bdist.linux-armv7l/wheel/rflx/generator
2020-02-12T22:44:02   copying build/lib/rflx/expression.py -> build/bdist.linux-armv7l/wheel/rflx
2020-02-12T22:44:03   creating build/bdist.linux-armv7l/wheel/rflx/templates
2020-02-12T22:44:03   copying build/lib/rflx/templates/scalar_sequence.adb -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-02-12T22:44:03   copying build/lib/rflx/templates/license_header -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-02-12T22:44:03   copying build/lib/rflx/templates/message_sequence.adb -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-02-12T22:44:03   copying build/lib/rflx/templates/message_sequence.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-02-12T22:44:03   copying build/lib/rflx/templates/lemmas.adb -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-02-12T22:44:03   copying build/lib/rflx/templates/scalar_sequence.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-02-12T22:44:03   copying build/lib/rflx/templates/types.adb -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-02-12T22:44:03   copying build/lib/rflx/templates/lemmas.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-02-12T22:44:03   copying build/lib/rflx/templates/types.ads -> build/bdist.linux-armv7l/wheel/rflx/templates
2020-02-12T22:44:03   copying build/lib/rflx/common.py -> build/bdist.linux-armv7l/wheel/rflx
2020-02-12T22:44:03   copying build/lib/rflx/model.py -> build/bdist.linux-armv7l/wheel/rflx
2020-02-12T22:44:03   copying build/lib/rflx/cli.py -> build/bdist.linux-armv7l/wheel/rflx
2020-02-12T22:44:03   copying build/lib/rflx/ada.py -> build/bdist.linux-armv7l/wheel/rflx
2020-02-12T22:44:03   creating build/bdist.linux-armv7l/wheel/bin
2020-02-12T22:44:03   copying build/lib/bin/__init__.py -> build/bdist.linux-armv7l/wheel/bin
2020-02-12T22:44:03   running install_egg_info
2020-02-12T22:44:03   running egg_info
2020-02-12T22:44:03   writing RecordFlux.egg-info/PKG-INFO
2020-02-12T22:44:03   writing dependency_links to RecordFlux.egg-info/dependency_links.txt
2020-02-12T22:44:03   writing requirements to RecordFlux.egg-info/requires.txt
2020-02-12T22:44:03   writing top-level names to RecordFlux.egg-info/top_level.txt
2020-02-12T22:44:03   reading manifest file 'RecordFlux.egg-info/SOURCES.txt'
2020-02-12T22:44:03   reading manifest template 'MANIFEST.in'
2020-02-12T22:44:03   writing manifest file 'RecordFlux.egg-info/SOURCES.txt'
2020-02-12T22:44:03   Copying RecordFlux.egg-info to build/bdist.linux-armv7l/wheel/RecordFlux-0.3.0-py3.7.egg-info
2020-02-12T22:44:03   running install_scripts
2020-02-12T22:44:03   creating build/bdist.linux-armv7l/wheel/RecordFlux-0.3.0.data
2020-02-12T22:44:03   creating build/bdist.linux-armv7l/wheel/RecordFlux-0.3.0.data/scripts
2020-02-12T22:44:03   copying build/scripts-3.7/rflx -> build/bdist.linux-armv7l/wheel/RecordFlux-0.3.0.data/scripts
2020-02-12T22:44:03   changing mode of build/bdist.linux-armv7l/wheel/RecordFlux-0.3.0.data/scripts/rflx to 755
2020-02-12T22:44:03   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2020-02-12T22:44:03   creating build/bdist.linux-armv7l/wheel/RecordFlux-0.3.0.dist-info/WHEEL
2020-02-12T22:44:03   creating '/tmp/pip-wheel-ig42111v/RecordFlux-0.3.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2020-02-12T22:44:03   adding 'RecordFlux-0.3.0.data/scripts/rflx'
2020-02-12T22:44:03   adding 'bin/__init__.py'
2020-02-12T22:44:03   adding 'rflx/__init__.py'
2020-02-12T22:44:03   adding 'rflx/ada.py'
2020-02-12T22:44:03   adding 'rflx/cli.py'
2020-02-12T22:44:03   adding 'rflx/common.py'
2020-02-12T22:44:03   adding 'rflx/expression.py'
2020-02-12T22:44:03   adding 'rflx/graph.py'
2020-02-12T22:44:03   adding 'rflx/model.py'
2020-02-12T22:44:03   adding 'rflx/parser.py'
2020-02-12T22:44:03   adding 'rflx/generator/__init__.py'
2020-02-12T22:44:03   adding 'rflx/generator/common.py'
2020-02-12T22:44:03   adding 'rflx/generator/core.py'
2020-02-12T22:44:03   adding 'rflx/generator/generator.py'
2020-02-12T22:44:03   adding 'rflx/generator/parser.py'
2020-02-12T22:44:03   adding 'rflx/generator/types.py'
2020-02-12T22:44:03   adding 'rflx/templates/lemmas.adb'
2020-02-12T22:44:03   adding 'rflx/templates/lemmas.ads'
2020-02-12T22:44:03   adding 'rflx/templates/license_header'
2020-02-12T22:44:03   adding 'rflx/templates/message_sequence.adb'
2020-02-12T22:44:03   adding 'rflx/templates/message_sequence.ads'
2020-02-12T22:44:03   adding 'rflx/templates/scalar_sequence.adb'
2020-02-12T22:44:03   adding 'rflx/templates/scalar_sequence.ads'
2020-02-12T22:44:03   adding 'rflx/templates/types.adb'
2020-02-12T22:44:03   adding 'rflx/templates/types.ads'
2020-02-12T22:44:03   adding 'RecordFlux-0.3.0.dist-info/LICENSE'
2020-02-12T22:44:03   adding 'RecordFlux-0.3.0.dist-info/METADATA'
2020-02-12T22:44:03   adding 'RecordFlux-0.3.0.dist-info/WHEEL'
2020-02-12T22:44:03   adding 'RecordFlux-0.3.0.dist-info/top_level.txt'
2020-02-12T22:44:03   adding 'RecordFlux-0.3.0.dist-info/RECORD'
2020-02-12T22:44:03   removing build/bdist.linux-armv7l/wheel
2020-02-12T22:44:03   Building wheel for RecordFlux (setup.py): finished with status 'done'
2020-02-12T22:44:03   Stored in directory: /tmp/tmpgfqgama1
2020-02-12T22:44:03 Successfully built RecordFlux
2020-02-12T22:44:03 Cleaning up...
2020-02-12T22:44:03   Removing source in /tmp/pip-wheel-xxgadvp2/RecordFlux
2020-02-12T22:44:03 Removed build tracker '/tmp/pip-req-tracker-cwb37n7y'