CertoraCLI

Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

Metadata

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution for certora-cli-coinbase 2.4.1
File	Size	Uploaded
certora-cli-coinbase-2.4.1.tar.gz	8.0 MB	Apr 22, 2021	Details

Table of built distributions (wheels) for certora-cli-coinbase 2.4.1
File	Interpreter	ABI	Platform	Reset
certora_cli_coinbase-2.4.1-py3-none-any.whl 8.0 MB Apr 22, 2021	Python 3	none	any	Details

Total release size: 15.9 MB

Download URL	certora-cli-coinbase-2.4.1.tar.gz
Size	8.0 MB
Tags	Source
SHA-256 checksum How to use checksums	`4b1325b02408768d84c010925cd0b8ab09618e38f70c46f04bcf976f568405fd`
BLAKE2b-256 checksum How to use checksums	`61eb942631baf394ca45b8e59644297739d85071d556ee86c416a2e295aa7343`
Upload date	Apr 22, 2021
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.5.0.1 requests/2.22.0 requests-toolbelt/0.8.0 tqdm/4.60.0 CPython/3.7.3`

Download URL	certora_cli_coinbase-2.4.1-py3-none-any.whl
Size	8.0 MB
Tags	Python 3
SHA-256 checksum How to use checksums	`9ce8c4955125525fb5099c4d98ccc7ad67d03229f87ab409cf4c9f95e96b7a52`
BLAKE2b-256 checksum How to use checksums	`43454c42276d52d006fbf405aadcce41bb9e77ed724a6ff59b78196bddb93a00`
Upload date	Apr 22, 2021
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.5.0.1 requests/2.22.0 requests-toolbelt/0.8.0 tqdm/4.60.0 CPython/3.7.3`

This release

2.4.1 This release