Release files for certora-cli-alpha-master 20260901.18.46.937780
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-20260901.18.46.937780.tar.gz | 43.4 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_master-20260901.18.46.937780-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_master-20260901.18.46.937780-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_master-20260901.18.46.937780-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 176.1 MB
Release files / certora_cli_alpha_master-20260901.18.46.937780.tar.gz
| Download URL | certora_cli_alpha_master-20260901.18.46.937780.tar.gz |
|---|---|
| Size | 43.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
a4c2f93a0ce808c4cdf58c128e827fde1d986ea8a8b7af24e502d19a0cdd84ca
|
|
BLAKE2b-256 checksum How to use checksums |
e3e3f1f1a1e385c68b5dad4924889a60f943909dd3c91f5725c409eb95c646b3
|
| 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-20260901.18.46.937780-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_master-20260901.18.46.937780-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 |
f515aa6706869a29bdfd23615d8cb2a9f598039cdbc93538308fa551e7de4815
|
|
BLAKE2b-256 checksum How to use checksums |
a657a2db03305b25d551362f6055d203a9f8e800d9b9cf00d33084ca43e2c679
|
| 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-20260901.18.46.937780-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_master-20260901.18.46.937780-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 |
bbb56f635384c3c94422a32725937c0c84638d1e29d52dd6e82ab7bf5d695152
|
|
BLAKE2b-256 checksum How to use checksums |
6e8345c68af427fef42864860cb8d64965c8f9c1d4c90df3775c51ba777250a9
|
| 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-20260901.18.46.937780-py3-none-any.whl
| Download URL | certora_cli_alpha_master-20260901.18.46.937780-py3-none-any.whl |
|---|---|
| Size | 43.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
5cfca60e90a2b2c077d3bf90425becc25d6a3ce321e5b4498f6897ae6afc0cb2
|
|
BLAKE2b-256 checksum How to use checksums |
02a0ac2c56858bfb71f54101972dc1d93534cfb2f02fe1baf9d02b1bf33b3d7d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.16
|
