cleanup: remove python deps from python microkit#571

midnightveil merged 1 commit into

mainseL4/microkit:mainfrom

julia/remove-pythonseL4/microkit:julia/remove-pythonCopy head branch name to clipboard