Release files for certora-cli-alpha-master 20260812.14.52.259366
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-20260812.14.52.259366.tar.gz | 43.3 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260812.14.52.259366-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260812.14.52.259366-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 175.9 MB
Release files / certora_cli_alpha_master-20260812.14.52.259366.tar.gz
| Download URL | certora_cli_alpha_master-20260812.14.52.259366.tar.gz |
|---|---|
| Size | 43.3 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
c31968ba5deb0aee016fb3f7e10291d0109e1936073b06aa9c8ae22803e812b6
|
|
BLAKE2b-256 checksum How to use checksums |
f403911b0ab5a64ddaa920b3c9d486e578d365db2f587d090dac1062a2e5ea9f
|
| 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-20260812.14.52.259366-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260812.14.52.259366-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 |
35f50421d473826f2c160c914a261160e861ca9cdcb2158dcfe6bf57e2302c1c
|
|
BLAKE2b-256 checksum How to use checksums |
72c5468806aaf052ecc80c6962fc322a24d8cd30f142e7d6f08ab57e7f0cca0f
|
| 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-20260812.14.52.259366-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260812.14.52.259366-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 |
5822f757b2e9eca27cdee239286edc9aa9dc28297b492a8ff71484b22c41e03b
|
|
BLAKE2b-256 checksum How to use checksums |
25af9a7e86d90c62ea3b83f5e850cf33ebbd03b3545cfc6f57b42eff58aa6f1a
|
| 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-20260812.14.52.259366-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl |
|---|---|
| Size | 43.4 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
21b7215f919c42b0d7497b6ee2965c572596f067d156039a89f16ff10e0c3689
|
|
BLAKE2b-256 checksum How to use checksums |
25c1e4d051f4eb484b173ee83443d54592e2eecc6275d2c640abd247b9a3005e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
