Release files for certora-cli-alpha-master 20260916.19.26.116615
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-20260916.19.26.116615.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260916.19.26.116615-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260916.19.26.116615-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260916.19.26.116615-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260916.19.26.116615.tar.gz
| Download URL | certora_cli_alpha_master-20260916.19.26.116615.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
7c23d87250c1ef66ef3d4139487dfef9ac4810ad40380345f00bed336195209b
|
|
BLAKE2b-256 checksum How to use checksums |
24b1682b836aec1543223e10c2fa58ef33350627160f8bf993369b915cb4135d
|
| 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-20260916.19.26.116615-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260916.19.26.116615-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 |
6e6d8d6eb435ecf431b36146c8f75457a3bc8db6c99937457fb813d305dca669
|
|
BLAKE2b-256 checksum How to use checksums |
99991696fd1fe78581118eec803e7cc2b1370fea09daf6c2d5b897912e77c1c5
|
| 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-20260916.19.26.116615-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260916.19.26.116615-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 |
63af5f57b2160ee7c64e9b2cbdb50a69f1897077ae11ef923f379569f24dab5e
|
|
BLAKE2b-256 checksum How to use checksums |
af76e2adbb2874f35829e4c1029fb6d2643740d504b7bd75f2d5c28d5226d464
|
| 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-20260916.19.26.116615-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260916.19.26.116615-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
eb750f0643f8d56e54265fcb15a62bd63cf84b686f3d8b2e268f730e12dc17b7
|
|
BLAKE2b-256 checksum How to use checksums |
3be54e78db092708e382d58dcc1e4a936a001a1d3e76be2af2cd349239e2ba15
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
