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.82.64
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.82.64-py3-none-win_amd64.whl | Python 3 | none | Windows x86-64 | Details |
| lungo_py-1.82.64-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| lungo_py-1.82.64-py3-none-manylinux_2_28_aarch64.whl | Python 3 | none | Linux glibc 2.28+ ARM64 | Details |
| lungo_py-1.82.64-py3-none-macosx_12_0_x86_64.whl | Python 3 | none | macOS 12.0+ x86-64 | Details |
| lungo_py-1.82.64-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.82.64-py3-none-win_amd64.whl
| Download URL | lungo_py-1.82.64-py3-none-win_amd64.whl |
|---|---|
| Size | 580.7 kB |
| Tags | Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
e0604bd15dadd1fc7e0dd120ba622125af6b618c111d78c465764b20b4cac235
|
|
BLAKE2b-256 checksum How to use checksums |
ab0d9417f969dbc2998dfc1bc3812049248f3d5fb960624fd9d6f379602b5a5e
|
| 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.82.64-py3-none-manylinux_2_28_x86_64.whl
| Download URL | lungo_py-1.82.64-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 618.1 kB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
fe1fa57c37b15adae96a9fc359d5dc872a748b1f74cdc0a119066c177ab1afd9
|
|
BLAKE2b-256 checksum How to use checksums |
ca322c4b84d504239dec3116b08d2d38526cdea9e923778037fcb61b495fe798
|
| 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.82.64-py3-none-manylinux_2_28_aarch64.whl
| Download URL | lungo_py-1.82.64-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 |
ea6ad06d9284756b886b8324e1b7055cfcffc826344e97e0821060e8d0876939
|
|
BLAKE2b-256 checksum How to use checksums |
71fcb709e92ecccda25b01d8bef06ffdfe05e51e5af418e61305c3e492db62f2
|
| 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.82.64-py3-none-macosx_12_0_x86_64.whl
| Download URL | lungo_py-1.82.64-py3-none-macosx_12_0_x86_64.whl |
|---|---|
| Size | 604.7 kB |
| Tags | Python 3 macOS 12.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
73630077a9a3d49d03e60b1c8894a6372cb2f82ca744859288533a1f323227ed
|
|
BLAKE2b-256 checksum How to use checksums |
637b6dea2ce2abef7230dfe2f4545687d19d5d40845c9050fe80db64b3ed5015
|
| 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.82.64-py3-none-macosx_12_0_arm64.whl
| Download URL | lungo_py-1.82.64-py3-none-macosx_12_0_arm64.whl |
|---|---|
| Size | 584.3 kB |
| Tags | Python 3 macOS 12.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
8cce3686876f5d9a67690257aabe1fd3701739fa70910c5e1a1f33e1214699c1
|
|
BLAKE2b-256 checksum How to use checksums |
da3b8b1fc60a78860087fae00f7035c355ade243092da7c6fbc80d4725eb5264
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.11.15
|
