Collecting workspace-tools==3.0.15
Downloading workspace-tools-3.0.15.tar.gz (53kB)
Building wheels for collected packages: workspace-tools
Stored in directory: /tmp/tmpe8wdlnpt
Successfully built workspace-tools