certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize

Commit 6094926. 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-assaf-TACSummaryAndAnnotationSerialize 20230516.14.42.672991
File	Size	Uploaded
certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize-20230516.14.42.672991.tar.gz	38.7 MB	May 16, 2023	Details

Table of built distributions (wheels) for certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize 20230516.14.42.672991
File	Interpreter	ABI	Platform	Reset
certora_cli_alpha_assaf_TACSummaryAndAnnotationSerialize-20230516.14.42.672991-py3-none-any.whl 38.8 MB May 16, 2023	Python 3	none	any	Details

Total release size: 77.5 MB

Download URL	certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize-20230516.14.42.672991.tar.gz
Size	38.7 MB
Tags	Source
SHA-256 checksum How to use checksums	`e29337a26b10252dffdd1b468749e099e0dd3eb9515ab37bf0967763f8cc3538`
BLAKE2b-256 checksum How to use checksums	`603bd87d26abbf41a2134e9d9cd3e4fe7ac2bb7d7f2db3dc921b096a56e8f498`
Upload date	May 16, 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_assaf_TACSummaryAndAnnotationSerialize-20230516.14.42.672991-py3-none-any.whl
Size	38.8 MB
Tags	Python 3
SHA-256 checksum How to use checksums	`217e68f7b1f469452bb88340260b4e787856068dd5a6721a2e9040e76f6209bb`
BLAKE2b-256 checksum How to use checksums	`aa0bae4bb3c2bc4acb347fe29ad4179b068dd86357ca48a521016ec6249f2998`
Upload date	May 16, 2023
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.2 CPython/3.10.6`