Release files for certora-cli-alpha-master 20260810.10.57.307572
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-20260810.10.57.307572.tar.gz | 43.3 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260810.10.57.307572-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260810.10.57.307572-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260810.10.57.307572-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 175.9 MB
Release files / certora_cli_alpha_master-20260810.10.57.307572.tar.gz
| Download URL | certora_cli_alpha_master-20260810.10.57.307572.tar.gz |
|---|---|
| Size | 43.3 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
01b3aba5ea51d4e8b602b31c6a18d3779dfabecea6de6923bc749b30ae43900b
|
|
BLAKE2b-256 checksum How to use checksums |
a8358abb2884d5f5d6ae1e3971a93bb6d520c89ccba22dc46faf767385ab12e3
|
| 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-20260810.10.57.307572-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260810.10.57.307572-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 |
4fd140911e7a59cf4af7f23c80f9f8b35692414d367241d115f43af2bce6772c
|
|
BLAKE2b-256 checksum How to use checksums |
2cd8f9e477101a9734553622afdc6cb171bcb0ee756530982ca385fffeda5076
|
| 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-20260810.10.57.307572-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260810.10.57.307572-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 |
fe107f8913878a3ee20bca54126131830653cb26e3ca60c3e88efa379ab4f4c3
|
|
BLAKE2b-256 checksum How to use checksums |
c46bc83bbd22156eaa8fa9e9ec3c6c2b67a378aedca0915ace826e8a4cf70691
|
| 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-20260810.10.57.307572-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260810.10.57.307572-py3-none-any.whl |
|---|---|
| Size | 43.4 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
4dfe223e518b636ee93c4757c568f5fa4c15506d2709b67449c71f5a0b9ba951
|
|
BLAKE2b-256 checksum How to use checksums |
c46090ae1c929b0ef960a3aade872739d9f51f10daebeae09f1b7dab01336620
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
