Release files for certora-cli-alpha-master 20260804.11.33.345392
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-20260804.11.33.345392.tar.gz | 43.3 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260804.11.33.345392-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260804.11.33.345392-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260804.11.33.345392-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 175.9 MB
Release files / certora_cli_alpha_master-20260804.11.33.345392.tar.gz
| Download URL | certora_cli_alpha_master-20260804.11.33.345392.tar.gz |
|---|---|
| Size | 43.3 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
0a8ac81264f0cb4583e16f33ac88c9c6cae80e4eeda3112723100c6c9af3ea0e
|
|
BLAKE2b-256 checksum How to use checksums |
7fbb3baf344793a7cc94b0faa3d73a0de2d99b9751221ed260f6658f01b1c652
|
| 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-20260804.11.33.345392-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260804.11.33.345392-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 |
a7ceeccd768b66a93e79922c5faa39fc450ac457a44dc462e2e1b2f1fc79d6ec
|
|
BLAKE2b-256 checksum How to use checksums |
701d53ee04325969eace9390f82ff76c3415e547b9fedc3fba85665629b85313
|
| 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-20260804.11.33.345392-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260804.11.33.345392-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 |
731de6493e2e02dd266991800047a782a968e9a4189bacbc578f6a5a3f1cf0f5
|
|
BLAKE2b-256 checksum How to use checksums |
3b42c74051c04cbac7174c8ba3642d13f2c655365113b0bfbe1ae97c824928ba
|
| 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-20260804.11.33.345392-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260804.11.33.345392-py3-none-any.whl |
|---|---|
| Size | 43.4 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
a5bec59b02cb42dcf9bf43f857babd04e29aa8e003141d5ce80f550d4f3707a7
|
|
BLAKE2b-256 checksum How to use checksums |
85a5fa72202baa0b952977a068d4f328becd58b599de4814ab3680eb0377df47
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
