Release files for certora-cli-alpha-master 20260909.23.44.947922
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-20260909.23.44.947922.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260909.23.44.947922-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260909.23.44.947922-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260909.23.44.947922-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260909.23.44.947922.tar.gz
| Download URL | certora_cli_alpha_master-20260909.23.44.947922.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
cac571df2fbd316f8bb9baa3762012e3d3528a58511472ca25e1d2ef43cdafd7
|
|
BLAKE2b-256 checksum How to use checksums |
bd656b036ad34c8a6be48c00c458fe4317c704806049d45107d4c175075050d1
|
| 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-20260909.23.44.947922-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260909.23.44.947922-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 |
49a6cb927c1365a9311df6340f394ad75d9bac01d8cd525a1ee6ce7108d33260
|
|
BLAKE2b-256 checksum How to use checksums |
246b33c7a9fd76c0f75b522fee212ea11392ba1e40d53e99784609ca68d53156
|
| 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-20260909.23.44.947922-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260909.23.44.947922-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 |
7fd595beb628e2af4a9fa48c2d21eca2351d3b154397a0cb239a524103fa9524
|
|
BLAKE2b-256 checksum How to use checksums |
735425c5825980ecd0960471cba5e7022d3b689f2ede3b38f0e41e1141cebc19
|
| 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-20260909.23.44.947922-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260909.23.44.947922-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
574db92a858a6c4ef4f1f1d4db74baade6d32db40ec3905e6bc9c72a74470dde
|
|
BLAKE2b-256 checksum How to use checksums |
3ec1a709084a1ca5507d0c74a7c954b44f8d8e95f6708fd1567d6ac6fbb3eace
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
