{"package":"sel4-deps","ecosystem":"pypi","exists":true,"latest_version":"0.7.0","repository":"","license":"BSD2","description":"Metapackage for downloading build dependencies for the seL4 microkernel","downloads_weekly":0,"deprecated":false,"health":{"score":46},"_cache":"db_only_bot","_partial":true,"_response_ms":1,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}