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.88.0
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.88.0-py3-none-win_amd64.whl | Python 3 | none | Windows x86-64 | Details |
| lungo_py-1.88.0-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| lungo_py-1.88.0-py3-none-manylinux_2_28_aarch64.whl | Python 3 | none | Linux glibc 2.28+ ARM64 | Details |
| lungo_py-1.88.0-py3-none-macosx_12_0_x86_64.whl | Python 3 | none | macOS 12.0+ x86-64 | Details |
| lungo_py-1.88.0-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.88.0-py3-none-win_amd64.whl
| Download URL | lungo_py-1.88.0-py3-none-win_amd64.whl |
|---|---|
| Size | 580.7 kB |
| Tags | Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
4b855bc4e1e415ec38eca90bd25b815bfe43cba5ff7677ac6ced9ae0bf3c0a81
|
|
BLAKE2b-256 checksum How to use checksums |
3eae4c367bd72d96b3ea8ec138c35a4e897eda9f11deb111972946e6ff2e2997
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.10.20
|
Release files / lungo_py-1.88.0-py3-none-manylinux_2_28_x86_64.whl
| Download URL | lungo_py-1.88.0-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 615.0 kB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
74cfa62a5a206ad5f3b09c5639bdd1061240e52e1eb25b944c515532e25e2e92
|
|
BLAKE2b-256 checksum How to use checksums |
5d4f617b8597edb47089df97e9766501e3337856b84b69ef5a4fa27092bec72d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.10.20
|
Release files / lungo_py-1.88.0-py3-none-manylinux_2_28_aarch64.whl
| Download URL | lungo_py-1.88.0-py3-none-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 583.0 kB |
| Tags | Linux glibc 2.28+ ARM64 Python 3 |
|
SHA-256 checksum How to use checksums |
69468c5558c5f0c3f13607dc236c8accb54cf35b34493def02acb4e6436b38a2
|
|
BLAKE2b-256 checksum How to use checksums |
30bf62703f6bda08581f78190b497a257433a3ea303ab44c6cd2b14837ace6e1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.10.20
|
Release files / lungo_py-1.88.0-py3-none-macosx_12_0_x86_64.whl
| Download URL | lungo_py-1.88.0-py3-none-macosx_12_0_x86_64.whl |
|---|---|
| Size | 606.9 kB |
| Tags | Python 3 macOS 12.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
bd5f541a647a2499ad6d4fef2e49acb26791f895ab883960f4831a25f29c1bc1
|
|
BLAKE2b-256 checksum How to use checksums |
5df9668883c5db80c8382f8354ed9896a3656975589512cd43c2a1f373767331
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.10.20
|
Release files / lungo_py-1.88.0-py3-none-macosx_12_0_arm64.whl
| Download URL | lungo_py-1.88.0-py3-none-macosx_12_0_arm64.whl |
|---|---|
| Size | 587.5 kB |
| Tags | Python 3 macOS 12.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
15f6a56b02464baa8090fde4f679a3ce66b3c95f9e16a56bfc3bfe7a8d87a488
|
|
BLAKE2b-256 checksum How to use checksums |
4b237f5cb2b3ae0b6fa31a0051eadae6de1b760fc2520bcfde9db6579bbabea6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.10.20
|
