Release files for certora-cli-alpha-master 20260904.8.34.440526
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-20260904.8.34.440526.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260904.8.34.440526-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260904.8.34.440526-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260904.8.34.440526-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260904.8.34.440526.tar.gz
| Download URL | certora_cli_alpha_master-20260904.8.34.440526.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
3b57965ec5c7732a096bf4304fea6b5d6920fe6a65aa0064474eb9a77b14c0ca
|
|
BLAKE2b-256 checksum How to use checksums |
7754fa310d9e0433bbb24b40e15247de4ef6ec655fee1b643a91ff6e54207bbd
|
| 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-20260904.8.34.440526-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260904.8.34.440526-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 |
989f278ad0ec6a41e8c3f53026960516b0e60cc5ab0af2d81bf2fa0fc1409856
|
|
BLAKE2b-256 checksum How to use checksums |
1413e291ddab425b40cf6d01ef8e2a4d1863b85e5bc06adf970bc75b5110e99b
|
| 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-20260904.8.34.440526-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260904.8.34.440526-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 |
784acf8a541c12eb1be44a102ad1217bac2be9898446e0329e77a14c82cb51a5
|
|
BLAKE2b-256 checksum How to use checksums |
befc6d889982aaeb54945d254c2efd457700927c8025885af0434a3b19860e57
|
| 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-20260904.8.34.440526-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260904.8.34.440526-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
18eb5a3face833b8f749b32fd795f8a798fcb7918fd9fcd96198a18a67fea026
|
|
BLAKE2b-256 checksum How to use checksums |
0ea2a3db72d421bbee0ac4c511533dbe6e3569377ee989c49d6c71642f8146fa
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
