Collecting sel4-deps==0.1.1
Downloading sel4-deps-0.1.1.tar.gz
Building wheels for collected packages: sel4-deps
Stored in directory: /tmp/tmppsfjdffn
Successfully built sel4-deps