Release files for certora-cli-alpha-master 20260901.18.6.132263
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-20260901.18.6.132263.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260901.18.6.132263-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260901.18.6.132263-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260901.18.6.132263-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260901.18.6.132263.tar.gz
| Download URL | certora_cli_alpha_master-20260901.18.6.132263.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
6870ead6661804411e6aae2ee5d9a4dd6a06685edf3d1caadd8afbe2011d533e
|
|
BLAKE2b-256 checksum How to use checksums |
07460b51d95bc5305d93869f407d95b17c3da8d58ec0186e2e5d416e49cc30b5
|
| 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-20260901.18.6.132263-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260901.18.6.132263-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 |
6c535b48fc977a905acee2f4e0456bf99f0da814f840b01e8da436cf839d8dba
|
|
BLAKE2b-256 checksum How to use checksums |
256d54f5ca20586a66dbf05f26a936f73053c66f26d535165a1413f7fc22a21f
|
| 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-20260901.18.6.132263-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260901.18.6.132263-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 |
643f1e8c0b3811a876018db8dd9b611505b33da345a6f23f7b8425b2c7cb768b
|
|
BLAKE2b-256 checksum How to use checksums |
5912b67a94151b7cb16d9b6b2b12724438148e87e1a8fd0128aaed648c23452a
|
| 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-20260901.18.6.132263-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260901.18.6.132263-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
a5ceeb32afb20287106b028804a1968884cccc1aaca2166b03a8b2d645cef95d
|
|
BLAKE2b-256 checksum How to use checksums |
d4773ef7a39611a393dffa055a9d2a0b0895494aaf9be5b3b903d163c1d01922
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
