Commit d86a0dd. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
1 maintainer
Metadata
1 maintainer
Release files for certora-cli-alpha-abakst-auto-erc7201-storage-extension 20250512.7.42.92545
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_abakst_auto_erc7201_storage_extension-20250512.7.42.92545.tar.gz | 15.9 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 66.3 MB
Release files / certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545.tar.gz
| Download URL | certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545.tar.gz |
|---|---|
| Size | 15.9 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
0592284292dde58dfc72c57ac70a7d205828100a5526c697c7413d5043345bee
|
|
BLAKE2b-256 checksum How to use checksums |
d1f13bca42096bcb575decdcbb60ebd5fb8bb8f7a9726a810180f5338249db2d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.12
|
Release files / certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 16.8 MB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
baae41fb25cb0b12dbba0f6691b1b6add4203c95c463caa1e8e1492e1f2c7e64
|
|
BLAKE2b-256 checksum How to use checksums |
13a9dd7c3c4ecb028f10d40b7f2192ce3f1e04a79b4ba4c7682df0c6d262725d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.12
|
Release files / certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545-py3-none-macosx_10_9_universal2.whl |
|---|---|
| Size | 17.5 MB |
| Tags | Python 3 macOS 10.9+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
bfadc73a721a3c8c919e240071450c12c37c11c89d8df33bffbece9b0d210f53
|
|
BLAKE2b-256 checksum How to use checksums |
a9623963da2968c31bdc0cb17cacc742eaeb84c846664e2ab53c6a236fb03c9f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.12
|
Release files / certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545-py3-none-any.whl
| Download URL | certora_cli_alpha_abakst_auto_erc7201_storage_extension-20250512.7.42.92545-py3-none-any.whl |
|---|---|
| Size | 16.0 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
8779fcb4f8222d45b1fecd73fd98c69ddb2e5a7cc02111780727a02d3af0a1bd
|
|
BLAKE2b-256 checksum How to use checksums |
2c40c6bb19454a98b71e391e990dd11ef153451e3e17ed68ff2b5024b7fd80c5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.12
|
