Wheelodex » Projects » cryptol

cryptol

View on PyPI — Reverse Dependencies (1)

3.1.0 cryptol-3.1.0-py3-none-any.whl

Wheel Details

Project: cryptol
Version: 3.1.0
Filename: cryptol-3.1.0-py3-none-any.whl
Download: [link]
Size: 37040
MD5: 77b5d9aecdf0f2860482f18c8f95cf88
SHA256: 05ad03b80357c7589c925a5b09e8a9a3f11f6d471d726a1c1488d5742b0a2dba
Uploaded: 2024-02-05 20:52:48 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: cryptol
Version: 3.1.0
Summary: Cryptol client for the Cryptol RPC server
Author: Galois, Inc.
Author-Email: cryptol-team[at]galois.com
License: BSD License
Keywords: cryptography,verification
Classifier: License :: Other/Proprietary License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Requires-Python: >=3.8.0,<4
Requires-Dist: BitVector (<4.0.0,>=3.4.9)
Requires-Dist: argo-client (==0.0.11)
Requires-Dist: requests (<3.0.0,>=2.31.0)
Requires-Dist: typing-extensions (<5.0.0,>=4.1.1)
Description-Content-Type: text/markdown
[Description omitted; length: 6970 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.6.1
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
LICENSE sha256=vpTUGde-wkZrIdQzWQs4wLsTFwQUUXlhRUtttLOklw8 1504
cryptol/__init__.py sha256=DCdJppnYE9quESjoR1Ux93BlrXyXX4jd7VirW3_L6Zs 1242
cryptol/bitvector.py sha256=7tMDP1Tg4a1fJUOBUcPPDQkP0S2nQAmdI0ExNnSfQgk 21322
cryptol/commands.py sha256=ht4yBkxs7R9429pEg1riuOAwcatCfRV1-ZShgM_3S80 12827
cryptol/connection.py sha256=coYdmpo8SnVX3Oy3il3ldHSwhoCT5IVbkv3vLLva1Fo 27251
cryptol/cryptoltypes.py sha256=JOGPQPnF1vEwKlYjsgbrwhcYpizirQXAbEF_WAsB8nU 18605
cryptol/custom_fstring.py sha256=He-JtJpftcjmR0XqkCZ7cj3PkCNjscSDkanIkayVUDw 4476
cryptol/file_deps.py sha256=TI2H12cRlUo85LY-_EVuhoHSywURGUJsmzFBgo9V170 355
cryptol/opaque.py sha256=NdwKSC7NhduGxbdjKlNi0zyKF4y4fX2z86A0TtO1cOU 561
cryptol/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
cryptol/quoting.py sha256=nplKDyLzO-BlRkGOZtpNbZdatEG3KG3JP_FycG2zaBA 4115
cryptol/single_connection.py sha256=U0x5dRP4-cu41W_vKJqHdXFeUTd_TPHQ1oT9jwp3ItI 12886
cryptol/solver.py sha256=V76kgt9pIIQreFuxA1mCKiURs8MaHGeNPxjZdcZsy2Y 3178
cryptol/synchronous.py sha256=14A0Z_Z3dLLsaQeIuRh60o_QKsDD4YBNzTXKFLw_RTk 21146
mypy.ini sha256=z98DmDsbGClFMSh4OAFvHh9VvCZu1rBmWaNIQC-v0J8 228
cryptol-3.1.0.dist-info/LICENSE sha256=vpTUGde-wkZrIdQzWQs4wLsTFwQUUXlhRUtttLOklw8 1504
cryptol-3.1.0.dist-info/METADATA sha256=Pkzt7nkO8Cw-xhnvwNV4f-WEMVBfQNG-xG_BzWnlLaU 7728
cryptol-3.1.0.dist-info/WHEEL sha256=Zb28QaM1gQi8f4VCBhsUklF61CTlNYfs9YAZn-TOGFk 88
cryptol-3.1.0.dist-info/RECORD — —