Release files for certora-cli-alpha-master 20260828.17.2.608196
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-20260828.17.2.608196.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260828.17.2.608196-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260828.17.2.608196-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260828.17.2.608196-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260828.17.2.608196.tar.gz
| Download URL | certora_cli_alpha_master-20260828.17.2.608196.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
24249336e32888e5c8c5107a61d2d5171b6ef41126218adf763849abfd42c728
|
|
BLAKE2b-256 checksum How to use checksums |
c268522cd9adc6fdabebc169a07ad97929c52ec29a644582767c27d9dc8f2a1e
|
| 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-20260828.17.2.608196-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260828.17.2.608196-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 |
4552957216ea24993cba57c7402ad8d5df9703d0390f143870c48cf11d6d36de
|
|
BLAKE2b-256 checksum How to use checksums |
5cfc4048a706da72de67233e76546afd6fb5db6c43999abc46d3d7ede8eeea11
|
| 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-20260828.17.2.608196-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260828.17.2.608196-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 |
662063245181678d5bcedf45d70ee56a0e4151a3b9c432cde8e13d1f45aa87b2
|
|
BLAKE2b-256 checksum How to use checksums |
b894f1ef831fafda121952049339fcc72f05f7064c0ef87baa891029e717be21
|
| 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-20260828.17.2.608196-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260828.17.2.608196-py3-none-any.whl |
|---|---|
| Size | 43.4 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
1b242c7421f3053620b8d6bf33140a72682903d25508a0e0715922c7f59d8a7f
|
|
BLAKE2b-256 checksum How to use checksums |
2a5bd7b29ae7b3e062647d5a72df111685e3a4de2e978ae90793f794d9802ebf
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
