Release files for certora-cli-alpha-master 20260902.1.20.245698
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-20260902.1.20.245698.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260902.1.20.245698-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260902.1.20.245698-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260902.1.20.245698-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260902.1.20.245698.tar.gz
| Download URL | certora_cli_alpha_master-20260902.1.20.245698.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
f1319795334f0c18bc060249d2fca5d9860dd56cf72cf08cf161abac7dab7b95
|
|
BLAKE2b-256 checksum How to use checksums |
1c3a08f1f732fd5c15999c00ca26f7279fb7351a9f6c5126e8084836c8680bfb
|
| 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-20260902.1.20.245698-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260902.1.20.245698-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 |
27fef70ac13a9a784afbc5c5875c27298f90e9a9b4e8b73fc8758105c845d453
|
|
BLAKE2b-256 checksum How to use checksums |
17f4407a1d8c4a8459b4b894fbf5b89d3eabf60beeaf5d5ede950d835738ec96
|
| 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-20260902.1.20.245698-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260902.1.20.245698-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 |
e42aa4185717f47a2aa61e30d1f91b3a82c28086495c5e533a2d85a504a40b85
|
|
BLAKE2b-256 checksum How to use checksums |
d373b7161259e16297be2a908d74121ca6a4815ce1f51a78ee7fcb62e5a0bf13
|
| 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-20260902.1.20.245698-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260902.1.20.245698-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
d0acdf514969d61bcee00aa693086c0ad715b4cb79aa63e3c7109c43245ed966
|
|
BLAKE2b-256 checksum How to use checksums |
86548474528a69e0f22023e7ece403acf9d98b34e1558ab6d993a196c4e98fc8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
