Commit 06c8e33. 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-setuptools 20250227.8.22.488796
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_setuptools-20250227.8.22.488796.tar.gz | 15.6 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 65.6 MB
Release files / certora_cli_alpha_oz_setuptools-20250227.8.22.488796.tar.gz
| Download URL | certora_cli_alpha_oz_setuptools-20250227.8.22.488796.tar.gz |
|---|---|
| Size | 15.6 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
874f160f5c203c12a01b00260ed7ca895114b6a54854597a82883296c9c1b155
|
|
BLAKE2b-256 checksum How to use checksums |
9134288220042f520583d2da347219928f1fe9efac82afb62340c2876da3debe
|
| 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_setuptools-20250227.8.22.488796-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 17.2 MB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
9bc984c4ac4e3fc90414d22c7c6ea0b340d06ceb9e07b319c722260467047d7c
|
|
BLAKE2b-256 checksum How to use checksums |
54a5c5261386a3c03310d58355e5772f361f9d2e4d7bbb470394a4b969668f35
|
| 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_setuptools-20250227.8.22.488796-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_oz_setuptools-20250227.8.22.488796-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 |
1f776f874eaf4f70f3f411745c89c17248398623d8e6ecef16d80961b97e0c37
|
|
BLAKE2b-256 checksum How to use checksums |
e91deb880240dc15dcf136d223df8ddb81309c7580d9126cf5a18ad1f044d17b
|
| 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_setuptools-20250227.8.22.488796-py3-none-any.whl
| Download URL | certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3-none-any.whl |
|---|---|
| Size | 15.6 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
1818b6e32f89d7a7bc744b6e51a4b2cf87c83a4b57e9cf8594be6fd5da737597
|
|
BLAKE2b-256 checksum How to use checksums |
9b4e33740e444dd4d6740e21b9f23f251b14b1bc204fbf71e6f8dd4d5cd9ffe1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.11
|
