Release files for certora-cli-alpha-master 20260910.20.2.698752
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-20260910.20.2.698752.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260910.20.2.698752-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260910.20.2.698752-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260910.20.2.698752-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260910.20.2.698752.tar.gz
| Download URL | certora_cli_alpha_master-20260910.20.2.698752.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
c9a0c8f14b13996ea3b8436585b04626094687ea5ea798f0c33972207010a137
|
|
BLAKE2b-256 checksum How to use checksums |
4c0707a5a18c7f2b3b1d33a325faf4bf9f2cfeb7dec365ed9cba0cf17b9cae8b
|
| 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-20260910.20.2.698752-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260910.20.2.698752-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 |
65fc228de754f59e443ca6fe06143a2a894e6a1e51a2cece11444d7e7745403b
|
|
BLAKE2b-256 checksum How to use checksums |
f300670fa150150dd7454ee80b493747217d09753c26de9387a570d9aebe43b8
|
| 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-20260910.20.2.698752-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260910.20.2.698752-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 |
81c6e766bc0eae1ba7d1018df3cd33aad876778d299a73934e1f4e23eca4c5ab
|
|
BLAKE2b-256 checksum How to use checksums |
c20baf91f4b9e09278add811a0d6460f28a264c2ea278a80ea151bca0b925230
|
| 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-20260910.20.2.698752-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260910.20.2.698752-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
a7e087c315398da6869ce486e1e8969741e16f63f0148628b522a5b36c5e7d33
|
|
BLAKE2b-256 checksum How to use checksums |
50c68a5449ddeca963ede46fa09e576b08863ba5f8aa1a7d233b5d0b3b159ceb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
