Wheelodex » Projects » cryptol

cryptol

View on PyPI — Reverse Dependencies (1)

3.2.1 cryptol-3.2.1-py3-none-any.whl

Wheel Details

Project: cryptol
Version: 3.2.1
Filename: cryptol-3.2.1-py3-none-any.whl
Download: [link]
Size: 37229
MD5: 5beeae8430875be683274bec0e849027
SHA256: 1d4126727b8c4963317dc534516ef75db4255847679559cf58ed2ce3b202ebb1
Uploaded: 2024-09-18 18:36:25 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: cryptol
Version: 3.2.1
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
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.8.0,<4
Requires-Dist: BitVector (<4.0.0,>=3.4.9)
Requires-Dist: argo-client (>=0.0.13)
Requires-Dist: requests (>=2.31.0)
Requires-Dist: types-requests (>=2.31.0)
Requires-Dist: typing-extensions (<5.0.0,>=4.1.1)
Requires-Dist: urllib3 (>=2.2.0)
Description-Content-Type: text/markdown
[Description omitted; length: 7170 characters]

WHEEL

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

RECORD

Path Digest Size
LICENSE sha256=H-64AGmsNYDhHbWcr1SP6gOqK7poeUjGDO41-ePbUqM 1504
cryptol/__init__.py sha256=C5AnYpdkQ0_rzDtPk-WkBxtjqXFYeIL8MfaYgDC5FNE 1223
cryptol/bitvector.py sha256=7tMDP1Tg4a1fJUOBUcPPDQkP0S2nQAmdI0ExNnSfQgk 21322
cryptol/commands.py sha256=ty92-xEDbt6i51KNXLELnPZjGNU-3tC7ZAezezwLo20 13193
cryptol/connection.py sha256=rJ9aR-ux_M5IJIS5S6mMjacSihGjYsJ1Wuinv6kPpBw 27597
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=ZVZuJPjkXPqJVOBhOpUE5va_01Wa0hn9UkpReCwVBf8 338
cryptol-3.2.1.dist-info/LICENSE sha256=H-64AGmsNYDhHbWcr1SP6gOqK7poeUjGDO41-ePbUqM 1504
cryptol-3.2.1.dist-info/METADATA sha256=UPEm_zMikwygue6Hf6KslVHFuYwFQETafZhXTIB1S-A 8046
cryptol-3.2.1.dist-info/WHEEL sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg 88
cryptol-3.2.1.dist-info/RECORD — —