Release files for certora-cli-beta 8.20.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| certora_cli_beta-8.20.0.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_beta-8.20.0-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_beta-8.20.0-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_beta-8.20.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.2 MB
Release files / certora_cli_beta-8.20.0.tar.gz
| Download URL | certora_cli_beta-8.20.0.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
57d93ccf04f83e764aca5f4d05700a32f2bf47658a1cce4f6323b9d9e3ab9253
|
|
BLAKE2b-256 checksum How to use checksums |
5014b76442c8b0d3001621d3c5b3aabf0e7b85310fcd1f07012178d3cd4e1fdb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.17
|
Release files / certora_cli_beta-8.20.0-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_beta-8.20.0-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 44.3 MB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
b22744784c737f55f1600c332575f46e666ea17755f7c73a55f78457380447d6
|
|
BLAKE2b-256 checksum How to use checksums |
9759d82b78cb7de81d668673282e7c258b55bf545c29689421a23e7d9db296bf
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.17
|
Release files / certora_cli_beta-8.20.0-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_beta-8.20.0-py3-none-macosx_10_9_universal2.whl |
|---|---|
| Size | 45.0 MB |
| Tags | Python 3 macOS 10.9+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
e3b20467de06582131f6fb30d657e04c49d2c39f98d63cdb59b375bf33a1ebd1
|
|
BLAKE2b-256 checksum How to use checksums |
0b790b607ec2e4383c164ee452f79c29c98e7931322d9c09b8989bce2392c22f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.17
|
Release files / certora_cli_beta-8.20.0-py3-none-any.whl
| Download URL | certora_cli_beta-8.20.0-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
c166d2556b0cdccea24951b3e3e503dd22c08fac17599218ef658ee51daa0d9d
|
|
BLAKE2b-256 checksum How to use checksums |
41bcd86bbdde0e74b6f51df3c16f04e21f45cf617897553c7fb28f24bfa9b6b9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.17
|
