Commit 185c217. 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-minver 20250325.8.0.276028
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_minver-20250325.8.0.276028.tar.gz | 15.7 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 66.0 MB
Release files / certora_cli_alpha_oz_minver-20250325.8.0.276028.tar.gz
| Download URL | certora_cli_alpha_oz_minver-20250325.8.0.276028.tar.gz |
|---|---|
| Size | 15.7 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
85e262e6dbe4fbf8675dc62461e4cfa611ab34eca26ab57bedc2d298425f8fda
|
|
BLAKE2b-256 checksum How to use checksums |
943cafe735f9c406e059b924cfacfb4720ad4f6319a0a0525f97de0dd8b27ffb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.11
|
Release files / certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_oz_minver-20250325.8.0.276028-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 |
894b1cee772cc434111436cb47dbae9cbf71c74a6d693b18b15f12bda9ad54d9
|
|
BLAKE2b-256 checksum How to use checksums |
3f244f18a0f4e72a5e03659ce41bbca5ab8f8096b7b65e41887cb49969b7efe4
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.11
|
Release files / certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-macosx_10_9_universal2.whl |
|---|---|
| Size | 17.3 MB |
| Tags | Python 3 macOS 10.9+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
6b8d4f807507cf51acefb3c3a7836640f63da5a5a33a688cf879a6d90a50eeb8
|
|
BLAKE2b-256 checksum How to use checksums |
e82881e306ae1f3c2ae2aa16af557ffc21a365fd6bc346842d0023e3a290b4a8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.11
|
Release files / certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-any.whl
| Download URL | certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-any.whl |
|---|---|
| Size | 15.7 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
536ce799b7341a4cc4a05d36a3413d0d94def39f7f168509a441e24dadc7b9b5
|
|
BLAKE2b-256 checksum How to use checksums |
ce3bf0282f1ef9153f2ac991dd6ed27f86c9efb31a9e87dc1b2bdd25dd821a17
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.11
|
