Release files for certora-cli-alpha-master 20260903.20.52.309793
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-20260903.20.52.309793.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260903.20.52.309793-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260903.20.52.309793-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260903.20.52.309793-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260903.20.52.309793.tar.gz
| Download URL | certora_cli_alpha_master-20260903.20.52.309793.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
b56b29b1be9b55ff1360e5062385477db397ee097c4557a07363916a16006989
|
|
BLAKE2b-256 checksum How to use checksums |
e368fd050e6f29876a20e3ecb474f957172629723dee6ae969c6d2bf1de9c8f9
|
| 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-20260903.20.52.309793-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260903.20.52.309793-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 |
60d1af21a194ff618dca52f889090d817cac5dd69c43f872f8f0184a18022d8e
|
|
BLAKE2b-256 checksum How to use checksums |
fae4f4c3eac4022cca347cd511c96a46a552b5a5c7f57ab33f9fc6a3c0bc6c12
|
| 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-20260903.20.52.309793-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260903.20.52.309793-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 |
a83a03dc3a3cdb8b1cc3f16703e92c79e5ed5432ef2289845f8bfc34278ddaf8
|
|
BLAKE2b-256 checksum How to use checksums |
197c571917bd8c436c67feadc0eac3d6b47a1ea0b9e0546411b1492da5f2b818
|
| 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-20260903.20.52.309793-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260903.20.52.309793-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
f1a73b75c8dc2033abda6b83f92a21cd5595a226082079c3a0df5d824be6b890
|
|
BLAKE2b-256 checksum How to use checksums |
5d897c8f99ff9586ce936b8d657b2db1610eb40525d3b68d40b45afdd1d5c048
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
