Commit c2dfdff. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
1 maintainer
Metadata
1 maintainer
Release files for certora-cli-alpha-oz-pypi 20250120.12.9.188254
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_oz-pypi-20250120.12.9.188254.tar.gz | 15.6 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_oz_pypi-20250120.12.9.188254-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_oz_pypi-20250120.12.9.188254-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_oz_pypi-20250120.12.9.188254-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 65.8 MB
Release files / certora_cli_alpha_oz-pypi-20250120.12.9.188254.tar.gz
| Download URL | certora_cli_alpha_oz-pypi-20250120.12.9.188254.tar.gz |
|---|---|
| Size | 15.6 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
897010d529af14d0e41b837f3eb1bde774c62ca4084232b6bb59df2f5cd9d6da
|
|
BLAKE2b-256 checksum How to use checksums |
69ba8098c216941b7d9c500356ffbd3acf61aef5825552cf5f9036e1da2e5eff
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.0.1 CPython/3.11.11
|
Release files / certora_cli_alpha_oz_pypi-20250120.12.9.188254-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_oz_pypi-20250120.12.9.188254-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 17.3 MB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
0fe03349e843004e97639fa956731a7ee69e8e7113cec4549905c9605d8f3287
|
|
BLAKE2b-256 checksum How to use checksums |
bb1d293e4626193ad401d6562995c3c1207d7a4f0f6a8c5ae5651c1184ef0e59
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.0.1 CPython/3.11.11
|
Release files / certora_cli_alpha_oz_pypi-20250120.12.9.188254-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_oz_pypi-20250120.12.9.188254-py3-none-macosx_10_9_universal2.whl |
|---|---|
| Size | 17.2 MB |
| Tags | Python 3 macOS 10.9+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
41c8de611d9a868c4674532d9b4be2ba155fc18ddc6e1716bdcfc465abf7b9f8
|
|
BLAKE2b-256 checksum How to use checksums |
6c55cdc6f2cba581aba84e6cbb7f27f91998d8c09d48bcc34ed332289598560c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.0.1 CPython/3.11.11
|
Release files / certora_cli_alpha_oz_pypi-20250120.12.9.188254-py3-none-any.whl
| Download URL | certora_cli_alpha_oz_pypi-20250120.12.9.188254-py3-none-any.whl |
|---|---|
| Size | 15.7 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
5f71d79f3639b0366f6f96b427a41bfbf4f33f74e9767cbdd08b29282e336ef1
|
|
BLAKE2b-256 checksum How to use checksums |
2b5bb49b8bacb4caa2518fd36ab57b371d8b22a68e412a1f6d252b2d985d36dc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.0.1 CPython/3.11.11
|
