Release files for certora-cli-alpha-master 20260923.18.37.749545
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260923.18.37.749545-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260923.18.37.749545-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260923.18.37.749545-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 132.7 MB
Release files / certora_cli_alpha_master-20260923.18.37.749545-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260923.18.37.749545-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 |
632d8e9c55972ec3b6ebb48911fe68f611f86cbf6473aca2ba3846621ecd4151
|
|
BLAKE2b-256 checksum How to use checksums |
5fc72187fce8777a3266ce7140027fcd5bbf90632d090dc3274935ca72937ea7
|
| 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-20260923.18.37.749545-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260923.18.37.749545-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 |
b9706b770d8be57cd8648e9e5353e28fd54f4bfbf8d848f3c31c9cd99caaec16
|
|
BLAKE2b-256 checksum How to use checksums |
5bdb696b4b74e9854179e7cd13e475dc229dbb1a21ee7138e13da5ffd0edcc33
|
| 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-20260923.18.37.749545-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260923.18.37.749545-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
9b348a8cf4164c432c8431455dc1ab5462186cd080b6fba5bd0e9ed26eab1d27
|
|
BLAKE2b-256 checksum How to use checksums |
3b1103204bc04f19d35aa3dfb8454bed848e446d9145b66c192fd1d1726cf933
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
