Release files for certora-cli-alpha-master 20260820.19.2.655052
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-20260820.19.2.655052.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260820.19.2.655052-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260820.19.2.655052-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260820.19.2.655052-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260820.19.2.655052.tar.gz
| Download URL | certora_cli_alpha_master-20260820.19.2.655052.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
e19f99a7813fe009de287319e1d0993699b4c524eda0e3e6bfc4ad9cf215cf72
|
|
BLAKE2b-256 checksum How to use checksums |
0fabfd10b325f677e02852e6bb373c4a6b7970d951674663baac23e0b150f109
|
| 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-20260820.19.2.655052-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260820.19.2.655052-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 |
5373d14144649681140a8b22a1b4191a38fe11bb99537b8c371c95f30ebd79b6
|
|
BLAKE2b-256 checksum How to use checksums |
67bf030d9b94be67342a47ec9736b62684ca0b8631c68cad7521af0de59247f6
|
| 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-20260820.19.2.655052-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260820.19.2.655052-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 |
ea7036e229a4a6e0bb92ba6f495b1cf80fd7ee46b604e50c8555862031c41590
|
|
BLAKE2b-256 checksum How to use checksums |
b5639cfa9a728893be399373dc2cd22bb03d1b9fc73a926470aa066f9c9d4f1e
|
| 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-20260820.19.2.655052-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260820.19.2.655052-py3-none-any.whl |
|---|---|
| Size | 43.4 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
6d5058c741ac0316b92da39d5271b5d948faa35e18ca9fd37310d2554d0e6d7c
|
|
BLAKE2b-256 checksum How to use checksums |
50b4a2bdb15afa9e361bdd78261e7b20912e1df8375dd7aaaba8906ce7b83e39
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
