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.86.160
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.86.160-py3-none-win_amd64.whl | Python 3 | none | Windows x86-64 | Details |
| lungo_py-1.86.160-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| lungo_py-1.86.160-py3-none-manylinux_2_28_aarch64.whl | Python 3 | none | Linux glibc 2.28+ ARM64 | Details |
| lungo_py-1.86.160-py3-none-macosx_12_0_x86_64.whl | Python 3 | none | macOS 12.0+ x86-64 | Details |
| lungo_py-1.86.160-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.86.160-py3-none-win_amd64.whl
| Download URL | lungo_py-1.86.160-py3-none-win_amd64.whl |
|---|---|
| Size | 580.7 kB |
| Tags | Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
c09a335c0268609dfc7b396944704cdca89c64b069c7aec6dd5a09e83ae09946
|
|
BLAKE2b-256 checksum How to use checksums |
2713a270d23c56614728d97cd761c2aa8ca26c32f886dd319963475f39b96679
|
| 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.86.160-py3-none-manylinux_2_28_x86_64.whl
| Download URL | lungo_py-1.86.160-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 |
c78b9244757ce91b3dd5a208f594fefac0ca36e3fa127542a204613943006353
|
|
BLAKE2b-256 checksum How to use checksums |
44e822dfc9cb04ec4e13bcea603491f2bb048d411f9a26e78e152e3a0d514775
|
| 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.86.160-py3-none-manylinux_2_28_aarch64.whl
| Download URL | lungo_py-1.86.160-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 |
06f120c4a55ab0062fa6b57289bce41f4f24b4f9d1c814c024811546d825c086
|
|
BLAKE2b-256 checksum How to use checksums |
08f310e68b86afc14c1d9127d9a22db441b76616d565cf053a6d7d0e18ecbf36
|
| 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.86.160-py3-none-macosx_12_0_x86_64.whl
| Download URL | lungo_py-1.86.160-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 |
926dc17d9ad947aeff114d7150d17e965b698a830eb5feda15453b67f77f3256
|
|
BLAKE2b-256 checksum How to use checksums |
2a555f8ff2dd03e1c65fb9f230c8abf860a974c12516f036c660d4c2b6f97657
|
| 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.86.160-py3-none-macosx_12_0_arm64.whl
| Download URL | lungo_py-1.86.160-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 |
bc7681cb62f4adf1c3bf14f72b19f095be89fb6fa87a0275bc85e608cbb367df
|
|
BLAKE2b-256 checksum How to use checksums |
8bbc12b0f20d3357c94c3ca8e8acbe5b943207607a812d39aa23f066cf6e31d5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
