Release files for certora-cli-alpha-master 20260902.19.58.697150
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-20260902.19.58.697150.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260902.19.58.697150-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260902.19.58.697150-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260902.19.58.697150-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260902.19.58.697150.tar.gz
| Download URL | certora_cli_alpha_master-20260902.19.58.697150.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
e268c0aefd6623bf9356ec2b9ed6757f58d6da53278ffcace4f499bbbe45115d
|
|
BLAKE2b-256 checksum How to use checksums |
4fb6410e4a50e41b29af3556f3a67e8dbf847e8ec81a60d8537b7fd5d9ccae0a
|
| 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-20260902.19.58.697150-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260902.19.58.697150-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 |
2853a6d06f1c2f0beb083139e19eb3b516b85a26b1ca69588e2ff385543ca622
|
|
BLAKE2b-256 checksum How to use checksums |
7878d24d48074053d8b7cc8dded2e5aef0450cdecfa92b2c481b055763279555
|
| 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-20260902.19.58.697150-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260902.19.58.697150-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 |
daddfb89cfda79513a577b149c624b8ac6c917a23a79487d88136d5c62c78242
|
|
BLAKE2b-256 checksum How to use checksums |
fb24ab11e8148b290c395a63b5c7ec37dd8f8d4b4868a5168faa597c97c7780a
|
| 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-20260902.19.58.697150-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260902.19.58.697150-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
bab7802e0becee2ccf4aa259fc7a478cf62b03806c23bdc9a28869bb6a1395c5
|
|
BLAKE2b-256 checksum How to use checksums |
1970272d844eb2e4c36781a4190dffb2e42a597cc6648dd0a4ffd5244cd4d418
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
