lungo-py
The support library of the Python packages lungo generates from Lean programs: the lungo runtime, shared by every generated package of a process, the wire format between Python and the runtime, and the Lean values Python has no type for.
Generated packages depend on exactly the lungo-py of the lungo release that generated them.
1 maintainer
Metadata
1 maintainer
Release files for lungo-py 1.78.3254
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| lungo_py-1.78.3254-py3-none-win_amd64.whl | Python 3 | none | Windows x86-64 | Details |
| lungo_py-1.78.3254-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| lungo_py-1.78.3254-py3-none-manylinux_2_28_aarch64.whl | Python 3 | none | Linux glibc 2.28+ ARM64 | Details |
| lungo_py-1.78.3254-py3-none-macosx_12_0_x86_64.whl | Python 3 | none | macOS 12.0+ x86-64 | Details |
| lungo_py-1.78.3254-py3-none-macosx_12_0_arm64.whl | Python 3 | none | macOS 12.0+ ARM64 | Details |
Total release size: 3.0 MB
Release files / lungo_py-1.78.3254-py3-none-win_amd64.whl
| Download URL | lungo_py-1.78.3254-py3-none-win_amd64.whl |
|---|---|
| Size | 577.5 kB |
| Tags | Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
5ef33a542602c08bb43db596237df25d7e39e43ee2e83991f23aee7355dc4e83
|
|
BLAKE2b-256 checksum How to use checksums |
e89d17c4c7a500de6f3090c7e069cd457b6836db9565c1e8e2b67627120084fa
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
Release files / lungo_py-1.78.3254-py3-none-manylinux_2_28_x86_64.whl
| Download URL | lungo_py-1.78.3254-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 618.2 kB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
443e0d3baddb554cd2981f9ada24eab2486b3a374f7483686669dcff798f14b0
|
|
BLAKE2b-256 checksum How to use checksums |
80304acb5426bbb7b142b2e4e489c6b16d3a04d0e433947dfe4725684ba80658
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
Release files / lungo_py-1.78.3254-py3-none-manylinux_2_28_aarch64.whl
| Download URL | lungo_py-1.78.3254-py3-none-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 587.2 kB |
| Tags | Linux glibc 2.28+ ARM64 Python 3 |
|
SHA-256 checksum How to use checksums |
d90692281a16566b21a1ca556b736fde01838adcd693b9194b47a0b0ea51dccc
|
|
BLAKE2b-256 checksum How to use checksums |
78d58df16d4b4163b378f5bbf85a2a1c454ef4a489d0756e0690ff88e859b1a7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
Release files / lungo_py-1.78.3254-py3-none-macosx_12_0_x86_64.whl
| Download URL | lungo_py-1.78.3254-py3-none-macosx_12_0_x86_64.whl |
|---|---|
| Size | 604.8 kB |
| Tags | Python 3 macOS 12.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
433f10d97ff8ec770582658c55f9528c81b312fdbd9cc7ec2ce5067c8b0fabc8
|
|
BLAKE2b-256 checksum How to use checksums |
04d7cd253698c5d8e4872f291260a2ab53f0b0c9dfcfb3e1ea893e61746dc6bf
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
Release files / lungo_py-1.78.3254-py3-none-macosx_12_0_arm64.whl
| Download URL | lungo_py-1.78.3254-py3-none-macosx_12_0_arm64.whl |
|---|---|
| Size | 584.5 kB |
| Tags | Python 3 macOS 12.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
db335b7ae2f99a9403226d2954f82c95625158255675145feb3e66f8edd4cddb
|
|
BLAKE2b-256 checksum How to use checksums |
f0fa0e1989882399fdbe75e5735a7bb84929877491ea774c9d6e6281c1592d6e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
