Metadata
Release files for cbmc 0.0.2
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | |
|---|---|---|---|---|
| cbmc-0.0.2.tar.gz | 2.9 kB | Without provenance | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| cbmc-0.0.2-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 5.9 kB
Release files / cbmc-0.0.2.tar.gz
| Download URL | cbmc-0.0.2.tar.gz |
|---|---|
| Size | 2.9 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
eb07666c2c0ff1fe51c92a72612d960d0a0d3f88fbed48b5aa64bfa38c8f76ac
|
|
BLAKE2b-256 checksum How to use checksums |
7280a03b26e9032399494915c4edb4da48101eeb43848f36de9455d428bde6a6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.9.12
|
Release files / cbmc-0.0.2-py3-none-any.whl
| Download URL | cbmc-0.0.2-py3-none-any.whl |
|---|---|
| Size | 3.0 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
3bda3218afa2ecea54b0ef69f7d902016e7dc749fecd1c70600d03a78fc6a91b
|
|
BLAKE2b-256 checksum How to use checksums |
0ffcac5a767ac34bfa1185cd420cb7d59ceaace19459c180df05a18f613d80da
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.9.12
|
Security for cbmc 0.0.2
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.