Release files for certora-cli-alpha-master 20260903.19.2.312793
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-20260903.19.2.312793.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260903.19.2.312793-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260903.19.2.312793-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260903.19.2.312793-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260903.19.2.312793.tar.gz
| Download URL | certora_cli_alpha_master-20260903.19.2.312793.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
d60ec8ccec968eb3cbca299ea1532945b0d4fc5aed8bf09a564525db2f21b3f4
|
|
BLAKE2b-256 checksum How to use checksums |
c25655b3bcc34109b5162e8523ea3efd240e33a6c2b731cebc533b4cb694985b
|
| 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-20260903.19.2.312793-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260903.19.2.312793-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 |
38a2bf6e5934a3dc6fe3e9c01deda91e45cd80ca28025dbbc0d65ea8e2dbdec1
|
|
BLAKE2b-256 checksum How to use checksums |
41a67bb41a911d38810e1ef007e487191479b85117327342c30bc1cdd6ffc5fc
|
| 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-20260903.19.2.312793-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260903.19.2.312793-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 |
ca484dd64d4dc0af93953fcab9e746ed64f9870aafef67d28b4e108e2730f30b
|
|
BLAKE2b-256 checksum How to use checksums |
de20c50c7636f68e0488c16319110099913d174cf568e7f0d24df84488c79803
|
| 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-20260903.19.2.312793-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260903.19.2.312793-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
e18e4027cbc99f80802cf524f0415f999c3c28094168597c4624b4979e024a7b
|
|
BLAKE2b-256 checksum How to use checksums |
85f4319a4a56dfea9aaa1592c379cadd6a5696507e938f6287bc335b48112278
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
