Release files for certora-cli-alpha-master 20260805.1.2.652818
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-20260805.1.2.652818.tar.gz | 43.3 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260805.1.2.652818-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260805.1.2.652818-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 175.9 MB
Release files / certora_cli_alpha_master-20260805.1.2.652818.tar.gz
| Download URL | certora_cli_alpha_master-20260805.1.2.652818.tar.gz |
|---|---|
| Size | 43.3 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
254ea9ce4c3bc8adfcec697f2fda4db82f3b1152253ab273724c39dbfb704774
|
|
BLAKE2b-256 checksum How to use checksums |
6a42a085a913ede7324cb158050585cdf46e5af978adba289da84a8ad464d02a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
Release files / certora_cli_alpha_master-20260805.1.2.652818-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260805.1.2.652818-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 44.2 MB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
feb95819a6f6b5e6fabc4977a77ee3b44c5d22f0f8195fdc163b467cdc1a1a1b
|
|
BLAKE2b-256 checksum How to use checksums |
5924efda386bde671bdbeb823ac09d2db3af4b518e8c032ef6f2d5db21aff1a5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
Release files / certora_cli_alpha_master-20260805.1.2.652818-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260805.1.2.652818-py3-none-macosx_10_9_universal2.whl |
|---|---|
| Size | 44.9 MB |
| Tags | Python 3 macOS 10.9+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
d7167d097757083f59d21c103f03ceff20632cea952ffb5e14a9763f435521fe
|
|
BLAKE2b-256 checksum How to use checksums |
b0e93b16c1e4fb362dff2200e54bff67ebc17478ebc30f5b4f90972f2196bcc3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
Release files / certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl |
|---|---|
| Size | 43.4 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
36a60762dd32c7136496a9495d47c20bb256ee69f9b9b8d1edb7e15221922846
|
|
BLAKE2b-256 checksum How to use checksums |
14d2af13f991fe901d8906cb29adf1db5efcb1771a0b4e9baefeb4537e4d93af
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
