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