Is sel4-deps safe to use?

sel4-deps has no known vulnerabilities on the latest version (0.7.0). DepScope rates its health at 52/100 (high risk).

What is the latest version of sel4-deps?

The latest version of sel4-deps is 0.7.0, released 2025-07-22.

Does sel4-deps have known vulnerabilities?

No known vulnerabilities on the latest version of sel4-deps.

Is sel4-deps deprecated?

No, sel4-deps is actively maintained. Latest release: 0.7.0 (2025-07-22).

What are alternatives to sel4-deps?

Popular alternatives to sel4-deps in PyPI include: boto3, packaging, urllib3, certifi, idna.

What license does sel4-deps use?

sel4-deps is licensed under BSD2.

sel4-deps

pypiv0.7.0

Metapackage for downloading build dependencies for the seL4 microkernel

License BSD2permissive16 versions1 maintainers17 deps1,163 weekly dl

/ 100

Health

use with caution

[email protected] low health (52/100) — consider alternatives

Moderate health score (52/100) — verify manually

Health breakdown0 – 100

10/25

maintenance

6/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (17)

six future jinja2 lxml ply psutil bs4 pyelftools sh pexpect pyyaml jsonschema pyfdt cmake-format guardonce autopep8 libarchive-c

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/sel4-deps