Skip to main content

The CAmkES tool has many python dependencies. This package depends on them all so that installing this package will pull in all the necessary packages.

This package is maintained as part of https://github.com/seL4/camkes-tool.git, in directory https://github.com/seL4/camkes-tool/tree/master/tools/python-deps

Metadata

Release files for camkes-deps 0.7.4

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for camkes-deps 0.7.4
File Size Uploaded Provenance
camkes_deps-0.7.4.tar.gz 1.8 kB Without provenance Details

Built distribution (wheel)

Table of built distributions (wheels) for camkes-deps 0.7.4
File Interpreter ABI Platform
camkes_deps-0.7.4-py3-none-any.whl Python 3 none any Details

Total release size: 3.1 kB

Release files / camkes_deps-0.7.4.tar.gz

Download URL camkes_deps-0.7.4.tar.gz
Size 1.8 kB
Tags Source
SHA-256 checksum
How to use checksums
a9c8607bcb2e409cc8c3e0661cdccf12b6a7522bd932ee6210b22e6ecc1f5a28
BLAKE2b-256 checksum
How to use checksums
c0b7ed8c26db547ea5c54bfbe212b29e456e59f92bb379277cf09744326bec56
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/5.1.1 CPython/3.12.3

Release files / camkes_deps-0.7.4-py3-none-any.whl

Download URL camkes_deps-0.7.4-py3-none-any.whl
Size 1.4 kB
Tags Python 3
SHA-256 checksum
How to use checksums
c2271de009fdbef3e01b17c20251b954400ac4fd763d6acbc564480df943faa5
BLAKE2b-256 checksum
How to use checksums
b86350d33c78e0e5f5ad771946960746f85cba82c126a14552bd1867a4c9f772
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/5.1.1 CPython/3.12.3

Security for camkes-deps 0.7.4

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

No provenance found

None of the files in this release were uploaded with provenance metadata.

A note on package security

PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.

To learn more about protecting yourself from malicious actors, visit our package security documentation.

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page