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.106.540
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.106.540-py3-none-win_amd64.whl | Python 3 | none | Windows x86-64 | Details |
| lungo_py-1.106.540-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| lungo_py-1.106.540-py3-none-manylinux_2_28_aarch64.whl | Python 3 | none | Linux glibc 2.28+ ARM64 | Details |
| lungo_py-1.106.540-py3-none-macosx_12_0_x86_64.whl | Python 3 | none | macOS 12.0+ x86-64 | Details |
| lungo_py-1.106.540-py3-none-macosx_12_0_arm64.whl | Python 3 | none | macOS 12.0+ ARM64 | Details |
Total release size: 3.1 MB
Release files / lungo_py-1.106.540-py3-none-win_amd64.whl
| Download URL | lungo_py-1.106.540-py3-none-win_amd64.whl |
|---|---|
| Size | 598.1 kB |
| Tags | Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
07d9675f82f359f80b264748c750b632428b284a9619bf711606c0b312f17d10
|
|
BLAKE2b-256 checksum How to use checksums |
37f1d7fb403a2d13ce8394fbde6e374be97f729f519825a0d06f63fdb0b68e92
|
| 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.106.540-py3-none-manylinux_2_28_x86_64.whl
| Download URL | lungo_py-1.106.540-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 629.6 kB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
1e611d0560f37b9c70c682995d2ee983205e57414f80b90ca487bda6cf325d42
|
|
BLAKE2b-256 checksum How to use checksums |
ab3a8ec2fd2c316da8065f55e2461b454f74ee4d7bed64d51600191dc8fb0c11
|
| 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.106.540-py3-none-manylinux_2_28_aarch64.whl
| Download URL | lungo_py-1.106.540-py3-none-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 597.6 kB |
| Tags | Linux glibc 2.28+ ARM64 Python 3 |
|
SHA-256 checksum How to use checksums |
33779f4da7d2426067813c291eb2e31ab0e063ccde36b772b82a9706fe5bf141
|
|
BLAKE2b-256 checksum How to use checksums |
f74106d3a413ede6a3cbda5eac43576dae2605cc30d71109936710c51c7c0b2b
|
| 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.106.540-py3-none-macosx_12_0_x86_64.whl
| Download URL | lungo_py-1.106.540-py3-none-macosx_12_0_x86_64.whl |
|---|---|
| Size | 622.7 kB |
| Tags | Python 3 macOS 12.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
94c5363f0972016243b527c68565954f4be8f8645289b80b287dd8d17b056bed
|
|
BLAKE2b-256 checksum How to use checksums |
9f7b3367a5bd7f2877226bb28b78821a4b4496cb9e5e629ce06002228ca35370
|
| 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.106.540-py3-none-macosx_12_0_arm64.whl
| Download URL | lungo_py-1.106.540-py3-none-macosx_12_0_arm64.whl |
|---|---|
| Size | 602.5 kB |
| Tags | Python 3 macOS 12.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
fb25de61ca0fac7382ab6243d3d34e25cd0f1003ac868f285a0473a9e990722b
|
|
BLAKE2b-256 checksum How to use checksums |
2558e9816429278e3c523d02113e5745094c0625cd8d67e0814d885c6c11c03a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.10.20
|
