Release files for certora-cli-alpha-master 20260827.21.2.178752
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-20260827.21.2.178752.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260827.21.2.178752-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260827.21.2.178752-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260827.21.2.178752-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260827.21.2.178752.tar.gz
| Download URL | certora_cli_alpha_master-20260827.21.2.178752.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
7a333c584343aa50fb88a71272846e1f550b86198bf2027050d5f73ac185fd1c
|
|
BLAKE2b-256 checksum How to use checksums |
6ec8e95b340ad4218bfac45856f7af54961ae02d198b6b37c16ce795c3a9902c
|
| 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-20260827.21.2.178752-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260827.21.2.178752-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 |
d2ab5d03c3c71d219343616fd27f3ed0de8a50789966d72513d9c2db8a4a260a
|
|
BLAKE2b-256 checksum How to use checksums |
865264a6bca5720e1439723528676a056c169063742f728531d9dca4e95b2193
|
| 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-20260827.21.2.178752-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260827.21.2.178752-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 |
c682d00a53c9e2593c03120a88f5bbcb1553e1314f4a9335a12fa74cc2416f1c
|
|
BLAKE2b-256 checksum How to use checksums |
a9a4b676eee5f2cc5ee04f7db0bb0613d8ace9e7a41a4dba311fef6647430877
|
| 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-20260827.21.2.178752-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260827.21.2.178752-py3-none-any.whl |
|---|---|
| Size | 43.4 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
8f1fcf010c7ee0498c735c92f7cd6fe961da2aaeb000a333b2a19a4d9273cc2f
|
|
BLAKE2b-256 checksum How to use checksums |
87f5f02f4d87efa3bb1eff50f5bfb3ef3e05fbd2d9d42877d1c3920dcb9df08a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
