Release files for certora-cli-alpha-master 20260804.10.28.546456
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-20260804.10.28.546456.tar.gz | 43.3 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260804.10.28.546456-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260804.10.28.546456-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 175.9 MB
Release files / certora_cli_alpha_master-20260804.10.28.546456.tar.gz
| Download URL | certora_cli_alpha_master-20260804.10.28.546456.tar.gz |
|---|---|
| Size | 43.3 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
9a166d2ce1312040df878c27f20187614f8c52ee2161d32a4a545ce9e94b4c2f
|
|
BLAKE2b-256 checksum How to use checksums |
b1f66b3ce89371be9e08cc25f2f1bd8d876b9171e1b9637661ed9af13cf41cca
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
Release files / certora_cli_alpha_master-20260804.10.28.546456-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260804.10.28.546456-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 |
4b853ac244372ec14a7e5ad686f7a3df656f2a5d8a0c285f7cb88f3ea5358687
|
|
BLAKE2b-256 checksum How to use checksums |
0e007a550451a35f3f03c7ffdf4ac32ccd6ce7838c1f7b124f1c6005f9453ffd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
Release files / certora_cli_alpha_master-20260804.10.28.546456-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260804.10.28.546456-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 |
f2d786c9eedf6c8718ddfd22ade10124ff0dacd3e30ce755dd849fdeeedbda8c
|
|
BLAKE2b-256 checksum How to use checksums |
4154a6cae8a0236b53ed9b00635d766b137c67df01d75cc2f3fd248a90cb1518
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
Release files / certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl |
|---|---|
| Size | 43.4 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
4095c0888364f8350f373c57eb8043f92575985c0d696c5badb8e3bc6fd587e3
|
|
BLAKE2b-256 checksum How to use checksums |
653cc5634adaac65fc984390185aa52d2223001807c16a5725bc151c1f9e3e44
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
