Release files for certora-cli-alpha-master 20260818.12.31.101880
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_alpha_master-20260818.12.31.101880.tar.gz | 43.3 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260818.12.31.101880-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260818.12.31.101880-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260818.12.31.101880-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 175.9 MB
Release files / certora_cli_alpha_master-20260818.12.31.101880.tar.gz
| Download URL | certora_cli_alpha_master-20260818.12.31.101880.tar.gz |
|---|---|
| Size | 43.3 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
b560665f1f7c4bf4809550b7916e8dfed7db58095ad706f6868cdcd0c1701080
|
|
BLAKE2b-256 checksum How to use checksums |
4ba5bda1808a5835ef6f1a8db4437c4ce17c0dfed7613ca352eb3c563f3b781e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
Release files / certora_cli_alpha_master-20260818.12.31.101880-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260818.12.31.101880-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 44.2 MB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
9058116f5acd3e6c07170fd692a6db2f68d1b8f8c3cd4a62f5a62fc3685fa44f
|
|
BLAKE2b-256 checksum How to use checksums |
ddf3dd0f6ee5df76dee217d25e9e3b682c0943d1a5077a4f0f8fd1653c20320e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
Release files / certora_cli_alpha_master-20260818.12.31.101880-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260818.12.31.101880-py3-none-macosx_10_9_universal2.whl |
|---|---|
| Size | 44.9 MB |
| Tags | Python 3 macOS 10.9+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
5ea763cfd98d0bd816105ceb4cb4e6c98eec5516a1ff5574ea5cd2e9ffcdb1b8
|
|
BLAKE2b-256 checksum How to use checksums |
a780e599ae58ea6790f15ee65ba0d868e29f711cc0da23999685e04694226b41
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
Release files / certora_cli_alpha_master-20260818.12.31.101880-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260818.12.31.101880-py3-none-any.whl |
|---|---|
| Size | 43.4 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
c6f3e5f323cd34e5ec5a9f1b2d9c7f0f94b4794a1edd5e10559031b61cb04307
|
|
BLAKE2b-256 checksum How to use checksums |
3409ae961d85deeafee4d4d4114812e69febedf2408e54b06b34af2c7bc57c39
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
