certora-cli-alpha-jaroslav-UCStats2

Commit 2d85487. 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-alpha-jaroslav-UCStats2 20230510.20.20.327816
File	Size	Uploaded
certora-cli-alpha-jaroslav-UCStats2-20230510.20.20.327816.tar.gz	39.2 MB	May 10, 2023	Details

Table of built distributions (wheels) for certora-cli-alpha-jaroslav-UCStats2 20230510.20.20.327816
File	Interpreter	ABI	Platform	Reset
certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3-none-any.whl 39.3 MB May 10, 2023	Python 3	none	any	Details

Total release size: 78.5 MB

Download URL	certora-cli-alpha-jaroslav-UCStats2-20230510.20.20.327816.tar.gz
Size	39.2 MB
Tags	Source
SHA-256 checksum How to use checksums	`90ffee350a05ebc5e018d82f260fc5de67d6c327ccd795ab430a0d90fe36af6f`
BLAKE2b-256 checksum How to use checksums	`ffac910e07c93da59c74e24cdbcc411e8c0a5b0b48685fcdf879324cb75fe314`
Upload date	May 10, 2023
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.2 CPython/3.10.6`

Download URL	certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3-none-any.whl
Size	39.3 MB
Tags	Python 3
SHA-256 checksum How to use checksums	`eef7719fead4c9de3c9eaf648298c602fb7f3a47e95ce0af62631d5e5073226f`
BLAKE2b-256 checksum How to use checksums	`e07d26bfdff2154a4d88f46e5f57eb0ab2b01da9baa7dcb967598161136e70f6`
Upload date	May 10, 2023
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.2 CPython/3.10.6`