Intermediate langauge for tensor compilers

Navigation

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for seanmcl-amazon from gravatar.com seanmcl-amazon

Unverified details

These details have not been verified by PyPI
Meta
  • License: Apache License
  • Author: Paul Govereau
  • Tags trainium , tpu , pallas , triton , gpu
  • Requires: Python >=3.8
Report project as malware

Project description

Python bindings for KLR

Usage

Note

There are 3 files in our nki Python package. These are KLR implementations of the corresponding files from the Neuron SDK repo:

We do this to remove a dependency on the neuronxcc Python package that does not build on OSX.

TODO

  1. Automatically sync nki API directories with the neuronxcc package. The later does not install on OSX, and we generally don't want to require it since it's large and unnecessary.

  2. Automatically sync nki examples with the github examples

Notes

I keep getting pycache directories created in the source tree, even with

export PYTHONDONTWRITEBYTECODE=1

This is annoying.

Project details

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for seanmcl-amazon from gravatar.com seanmcl-amazon

Unverified details

These details have not been verified by PyPI
Meta
  • License: Apache License
  • Author: Paul Govereau
  • Tags trainium , tpu , pallas , triton , gpu
  • Requires: Python >=3.8

Release history Release notifications | RSS feed

0.0.12

0.0.11

0.0.10

This version

0.0.9

0.0.8

0.0.7

0.0.6

0.0.5

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

klr_lang-0.0.9-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (40.8 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.9-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (36.7 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.9-cp313-cp313-macosx_14_0_arm64.whl (36.4 MB view details)

Uploaded CPython 3.13macOS 14.0+ ARM64

klr_lang-0.0.9-cp313-cp313-macosx_13_0_x86_64.whl (39.3 MB view details)

Uploaded CPython 3.13macOS 13.0+ x86-64

klr_lang-0.0.9-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (40.8 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.9-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (36.7 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.9-cp312-cp312-macosx_14_0_arm64.whl (36.4 MB view details)

Uploaded CPython 3.12macOS 14.0+ ARM64

klr_lang-0.0.9-cp312-cp312-macosx_13_0_x86_64.whl (39.3 MB view details)

Uploaded CPython 3.12macOS 13.0+ x86-64

klr_lang-0.0.9-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (40.8 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.9-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (36.7 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.9-cp311-cp311-macosx_14_0_arm64.whl (36.4 MB view details)

Uploaded CPython 3.11macOS 14.0+ ARM64

klr_lang-0.0.9-cp311-cp311-macosx_13_0_x86_64.whl (39.3 MB view details)

Uploaded CPython 3.11macOS 13.0+ x86-64

klr_lang-0.0.9-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (40.8 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.9-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (36.7 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.9-cp310-cp310-macosx_14_0_arm64.whl (36.4 MB view details)

Uploaded CPython 3.10macOS 14.0+ ARM64

klr_lang-0.0.9-cp310-cp310-macosx_13_0_x86_64.whl (39.3 MB view details)

Uploaded CPython 3.10macOS 13.0+ x86-64

klr_lang-0.0.9-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (40.8 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.9-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (36.7 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.9-cp39-cp39-macosx_14_0_arm64.whl (36.4 MB view details)

Uploaded CPython 3.9macOS 14.0+ ARM64

klr_lang-0.0.9-cp39-cp39-macosx_13_0_x86_64.whl (39.3 MB view details)

Uploaded CPython 3.9macOS 13.0+ x86-64

klr_lang-0.0.9-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (40.8 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.9-cp38-cp38-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (36.7 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.9-cp38-cp38-macosx_14_0_arm64.whl (36.4 MB view details)

Uploaded CPython 3.8macOS 14.0+ ARM64

klr_lang-0.0.9-cp38-cp38-macosx_13_0_x86_64.whl (39.3 MB view details)

Uploaded CPython 3.8macOS 13.0+ x86-64

File details

Details for the file klr_lang-0.0.9-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 ac5cb59267f4cc02f1975bfa37d05dc3ffb0c0df5b8e38b8efa857b2480ea5b1
MD5 b894a6762e986f350ac21063fe42b24e
BLAKE2b-256 8132a3081d3243c55190d0a6b68e013f56e922fe7a77d0fef4a4500cc47c279e

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 5976edce88303e4da660f1de7572080b54312f4dc9bdc87e263806628559609f
MD5 d64c48f2b206b3a0d78e99157a4edebd
BLAKE2b-256 007c810b61dd86b715b8000811c7e80a2d0280380099199998ccccb6124d4eb0

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp313-cp313-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp313-cp313-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 f7f62f37d776c0d0aec0d3171f9bdac81de1bc4acbe12cdfff274b6cc82cfd9a
MD5 8b4603c6ac0d60ccf771cf8188d08730
BLAKE2b-256 19d37a28f833699aa0cec146a4dd63691e624dd039c7cf3bbdf35fbba6facae4

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp313-cp313-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp313-cp313-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp313-cp313-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 1f0491412ba23781db84e8bb1ed87b1ff140ae5d6eb6323c35b2971d47eabf88
MD5 47ecfe96384a94a2b1af7b2b17b23192
BLAKE2b-256 ca4e1ce9273a7da3db7be91b6fcea079f493a9fefec34b17d0c5714bf65b13d8

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp313-cp313-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 b6f00bed20de0cb6de4ed560d376dc315404924728614cd9795aa0eada61dc6e
MD5 008c33ef9fa9e65b36f155c4b929108a
BLAKE2b-256 9d6a76e1686939bf78e59daed2067966b1cfb8b80df7a75d40443c7ef41de777

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 1506da5e9ca7fe27f56183b50f2c2f3e010da84a1740f7043ceacf6a8a246000
MD5 de0a024e5472a2d9c86d39acd6543056
BLAKE2b-256 a30cb27dcdb455b6118c0fc044731681ec8fcd375cd10780ccf96a261ef3f79b

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 bdead78d129f5d05f5fe7329b037a76880a3227024c586f1f304090067868ff3
MD5 44133873d9db605d43f7bf9c21e9909e
BLAKE2b-256 ecbe6fc471c4ef973301a7b65d8acd72592b41a8b696a181d84509e2bfbdc3d1

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp312-cp312-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp312-cp312-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 4acd192c35a5ee159e619872bc6d5b83f94fefcf8bf9bb44e3221f64c2872a33
MD5 278e74454f1fb1293defc293bddb00f3
BLAKE2b-256 1c8cdf3d49d7e8899a9223e8e754680a64bc94a4eca7352a89bf91196b01ab6a

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp312-cp312-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 1f5c1092a7622961ff3e9daf2ecd27abcf04dd4fb416e5b45df91ca2a7e767ca
MD5 d11ee2443861da15440828d97dd2e9d3
BLAKE2b-256 a10a68d0eb677af9fadc39aa2a4a8549f242b6e25c772d317aec11724f3a436b

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 91a81766049e1d59f8ad31f406d9d9bbb280339119255e74721416db22dff426
MD5 af7e0a9b1f6033ea5b5629b8fb1c675a
BLAKE2b-256 48ee610c94b646e8724d6c6b7b04641899ebc7109829ce9cad16e9dbb8b73f56

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 7562ff51aa78702179b43fb1d93c9c0ae8fdf8d70782cd3a503b291e0ed6ad3a
MD5 38156a2e52ada0fb99ea23c9116d7698
BLAKE2b-256 1d7cfe9a8b55d9dff1b3e51e2c117b0d13d495533dd5d018930ed48a181ca6d2

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp311-cp311-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 f0b4f4fdac458fa8224583f497c200324e50e40f783521097a03a24c12ba5087
MD5 4ed3d1c9a57979b358553d61a6b8c2fa
BLAKE2b-256 cbca197c5ccf491ceda43053abbd4b403b1700ea321c2bf8d5b6c57d70beb784

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp311-cp311-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 8dc7a0eda94f1560eda207d78f66b0df031a84818f12ce36c8f5ba21b0b97d78
MD5 1e749891ce0dd2229f84d7dd369f04f9
BLAKE2b-256 e60f2158218c0398f3fd07c52dadf440ff0b898722b0c31a7806683f67d208ff

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 913c48ea3650563ddc86b147e7ad9ebd50245abe92da2cc33f8fd4706c794917
MD5 9faf12ac7ab40d5e3e933f26cd988ccd
BLAKE2b-256 838dd599a46ecdbb6a10f6358d7c16b940e54574dacb83b1567e22afe1b2be78

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 848cdd24fadb043eb8a306b955f32198b2628a526d94c0f6aa214b24b316082b
MD5 6c99bac24d62b5d69319121552499c1c
BLAKE2b-256 d246e27b03e9e5603a9350bf1d42cc18cb3f53bf91ea7d3c7df4b7ef8f618285

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp310-cp310-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 6533d1aec69b06bf6bdc5bac5249ad2b82b9bb6053beab7a7cd2b54b0e9e21c5
MD5 11411b8385874baabd7f9be8fcbdd4de
BLAKE2b-256 7fe7debd7be5f7b5961d875653792077ad7fa48a5a003be7f41c1b756adc73f7

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp310-cp310-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 82902a66d2610bb99fc0834daa3e030c00b68909a6f06e26a0217f5405205746
MD5 dbc7c7b1e67e09b36bcf5f82a579e56c
BLAKE2b-256 6dbdc14e87e9eb31e933b74278b2a3a71b10c2dfc229df290b771c28fcc265df

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 33b13f67c9647214a514e3624c010f113e31a9f635cf95024eec0c69bb240e6a
MD5 6c247c86c0763ebdc3011f335074808e
BLAKE2b-256 6fa5d6b833d89d6256bc64382d182497106c40793949129a0401c74b289de112

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp39-cp39-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 a24695a3effe241697b95e1a5fd6d927acacd6fbb011c5296fbe66bdb4a8115c
MD5 127e10d3b889ddf0991e1ddc8e4dda2d
BLAKE2b-256 4cc0b6e16545f9b5f0a2c73d55cf15ecca0a1491bd12e38367bb0a57a2eba48f

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp39-cp39-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 0bd5c7b28533c14673b00416d8e0a1b46ec39f3182b296228a31a9c5a6cd4294
MD5 37589f61c06fb3e50c9797f6eaa32fd2
BLAKE2b-256 d71a4185f8d2719b19d97efa9a0bc4cc8fa3ae0304b46187e068fe9bd01bd90d

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp39-cp39-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a7960554516ff05a62134a026ddc9159d6b25cbc5bdb0d48eb5af63bafdf85a9
MD5 f9f6da046b89fc14231fdbc573988fba
BLAKE2b-256 ea4a364fef758e51627f433733a1cd0cd17ab54ffe439f92c61df5d830e05482

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp38-cp38-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp38-cp38-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 859577731031df36c3b333ccbf21a889d286279ff5901256947d7e51e3bbf41c
MD5 38c4b8555399909bcd702fc92a98bf29
BLAKE2b-256 09fd8b42dc09983b7fe42f0f3da2e88f8930033d65f6136b92fc6812be221842

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp38-cp38-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp38-cp38-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp38-cp38-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 bd97944e0388307b10f7973626746b95ab44fe265a60ceebd93e15542f5b014d
MD5 840f685c46fd5d0fcbea8d464c2af4d2
BLAKE2b-256 8391fa3c48cef6c5c6bc5745640efcf20545df90a08087d1db861a16a5e7f231

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp38-cp38-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file klr_lang-0.0.9-cp38-cp38-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.9-cp38-cp38-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 d9469667c10a60a15105dfd993b74f232955fe14c3d2db7674dd650f712bb4a0
MD5 5359b1c73df969c363e66399355679d9
BLAKE2b-256 2cfa9d3e4cea1ab81b9d9d4b1224bdbeaa5ba165be8b6a0a53d0a04728557612

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.9-cp38-cp38-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page