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. They are all copied directly 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

0.0.9

0.0.8

This version

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.7-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (32.1 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.17+ x86-64

klr_lang-0.0.7-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (28.9 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.17+ ARM64

klr_lang-0.0.7-cp313-cp313-macosx_14_0_arm64.whl (28.5 MB view details)

Uploaded CPython 3.13macOS 14.0+ ARM64

klr_lang-0.0.7-cp313-cp313-macosx_13_0_x86_64.whl (30.9 MB view details)

Uploaded CPython 3.13macOS 13.0+ x86-64

klr_lang-0.0.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (32.1 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.17+ x86-64

klr_lang-0.0.7-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (28.9 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.17+ ARM64

klr_lang-0.0.7-cp312-cp312-macosx_14_0_arm64.whl (28.5 MB view details)

Uploaded CPython 3.12macOS 14.0+ ARM64

klr_lang-0.0.7-cp312-cp312-macosx_13_0_x86_64.whl (30.9 MB view details)

Uploaded CPython 3.12macOS 13.0+ x86-64

klr_lang-0.0.7-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (32.1 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

klr_lang-0.0.7-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (28.9 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ ARM64

klr_lang-0.0.7-cp311-cp311-macosx_14_0_arm64.whl (28.5 MB view details)

Uploaded CPython 3.11macOS 14.0+ ARM64

klr_lang-0.0.7-cp311-cp311-macosx_13_0_x86_64.whl (30.9 MB view details)

Uploaded CPython 3.11macOS 13.0+ x86-64

klr_lang-0.0.7-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (32.1 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

klr_lang-0.0.7-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (28.9 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ ARM64

klr_lang-0.0.7-cp310-cp310-macosx_14_0_arm64.whl (28.5 MB view details)

Uploaded CPython 3.10macOS 14.0+ ARM64

klr_lang-0.0.7-cp310-cp310-macosx_13_0_x86_64.whl (30.9 MB view details)

Uploaded CPython 3.10macOS 13.0+ x86-64

klr_lang-0.0.7-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (32.1 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ x86-64

klr_lang-0.0.7-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (28.9 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ ARM64

klr_lang-0.0.7-cp39-cp39-macosx_14_0_arm64.whl (28.5 MB view details)

Uploaded CPython 3.9macOS 14.0+ ARM64

klr_lang-0.0.7-cp39-cp39-macosx_13_0_x86_64.whl (30.9 MB view details)

Uploaded CPython 3.9macOS 13.0+ x86-64

klr_lang-0.0.7-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (32.1 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ x86-64

klr_lang-0.0.7-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (28.9 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ ARM64

klr_lang-0.0.7-cp38-cp38-macosx_14_0_arm64.whl (28.5 MB view details)

Uploaded CPython 3.8macOS 14.0+ ARM64

klr_lang-0.0.7-cp38-cp38-macosx_13_0_x86_64.whl (30.9 MB view details)

Uploaded CPython 3.8macOS 13.0+ x86-64

File details

Details for the file klr_lang-0.0.7-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 124e3e8fb80e333ca15dd6af6129508d06ba4abae3c5a06b8d495572e8c8b6fb
MD5 b22ea559c7cb047a334ab47a3321f317
BLAKE2b-256 f4811cd2e0a7cd52f51d3eaacdd9b2a93aaed11022ff9a2435d70ebcbf85fe42

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_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.7-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 629a4833bc4142ca2c39f72d12f865ea37d5a85af54bf00bdbef5d49e6b1b1e1
MD5 17b0ce51539d50040c5f2511c62a0388
BLAKE2b-256 40b4b89733865ac499db6859816b35ee5f6f7bce07c82c147cccdefc42de261c

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_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.7-cp313-cp313-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp313-cp313-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 eee0129efb07ce873e2af45f1d3219f735f1f13a5afed0393547600d2acf858f
MD5 4a711dfd774bc17657b5129caff25261
BLAKE2b-256 918b6395dfd40129fad3b6c0bc693743484e3c3c898941708867941959555298

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp313-cp313-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp313-cp313-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 f1dcf47bbd3910c92e8a79547878447417228277beb6cbfb0b7862bb94dd19a7
MD5 0a865f6f6f69a4c35117fac5358a68ab
BLAKE2b-256 6b914c03df22b395b8c7fac1560330eeb8dd565a7f545f57c82059dd83bf74ee

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 fa216bc64a4d627fc5273b74e29c6ccee543281ecc807a67b8bbfdbd08c8971a
MD5 5d75102763dc07ae3a2c899ebadb7b24
BLAKE2b-256 a8609276052896dceeba173e40ccf0ac690112d451091c8cda8ff9e5e20c6c64

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_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.7-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 fc4151499a5c27a2a2195ae27501c3590d62052b7e119a8ba141d74d1932d61a
MD5 96ad76c93fe0e87630dfd0f759a689a3
BLAKE2b-256 a57c32438ce5e5434fbb8ed05311992dd7282c054bc2c8fa1bbc5413ee4e1c79

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_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.7-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 71002a56ff8e853d07f489ea60afc794763fa1aff3521577a6f36c9f8b59fc53
MD5 c6c55b147c8144d53b871b561c792fe3
BLAKE2b-256 01cff723e500ca8bc63bbcbaf8f76b0eb8212e06be3edd7aaa7042918db0f01b

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp312-cp312-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 4ae40b733ac9015de238182eec23e59b172d8f646038bd853a578eea8d4d2311
MD5 ef082c8bc3b08545cd924b9ae63a0a6b
BLAKE2b-256 186c5b5771addd82f8504e0d2c1b39722ad1f7cf048d6d8e5254fbedbd7dee38

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 36fc95bd9d9497b4aea11b5c122b3df8f045c94f0140c3dac27df6d73777112f
MD5 463dc6afb202d19fd429799a55c5f826
BLAKE2b-256 5a7e862bf94445b06d54d0587a502d62b1c453158c132380c7c9dd1245c6e06e

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_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.7-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 89e3fee94c31a2d19b66310b94429c242b760954218865883ad5f83fb0667615
MD5 6af9006cb088c0d63d0b0c41865c3a22
BLAKE2b-256 cb20f49c6f01583aa299245cf3f48519c38e23001766a2a86b407ccc6d97ba02

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_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.7-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 7a6d8b40c6424aade2c140125d59c43fa8e50ae303a3e5be5996b1662097c015
MD5 3102fecebb5c750a69bdf6e6a34b23fd
BLAKE2b-256 df152c3245966800f81eba7490ec4872124341beda7b9afd96f1ab768a9f17b4

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 0f97206edf41a9d1e4ee6ab70106ed371f808f3ca891e2a4d7c6f97a146690ff
MD5 ca632f359170414f754b396eee208f6c
BLAKE2b-256 c1217221f386ee6c2e05227b700a49340dcd1eae7f23bed008c70ff421b9474c

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 5811e7f20e69e369f33d1352eb3ef7d806fc0d45825ce59532b0361d14eca22c
MD5 dee892322e561a2547c8fec50bad7a48
BLAKE2b-256 afa25b76493b7aa42914b3803fb9079484ab5bd926325a34c84f52239d32bb47

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_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.7-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 5b2fbb09d43eac444c48d8458210c225546eb63d702743f729bd1af0af4745b5
MD5 c704dfeebfdd6df0dedacd4116f0368f
BLAKE2b-256 cdb598a2778827b2c8804b643920ccbbe85f16a3d7560c31e77799b48e7286b8

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_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.7-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 1a75fe992018272390003530d27fefc018401290b853659fea5a597aa2367daa
MD5 43df0a75f2991028db6771e87e7cb16d
BLAKE2b-256 89ecafa17217880d29d429d68568283f747ae16212eb0f6c6ef3e28626e92e11

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 58c8cf59a1f33fd2ce43cb3440b2b966d9c3b889287376ee086b677dacf5721e
MD5 913fe4183065b53ef142df7328ab6584
BLAKE2b-256 fdf0a132797e32df7e2229579faa7cf94dc5a1b588ccf94ec0c8c3a5e5e4fd76

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 99afb1e94161312606dfffb4a7f5cc4c8af46bd2f67f147d1d7da3e5348fb24e
MD5 54850df45149803b2e63a25d26cf7426
BLAKE2b-256 10cff16eebb377f1b45bdbf85e013dcedf91228c7be9799ec6ac12a534280914

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_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.7-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 bc754f1be473534f219d1e4429f2ffb539f2411b02b818ca895e64e19dc4dc0a
MD5 17a7d02fa733f70285f98829b2e0c6ce
BLAKE2b-256 1d8f69b968b376ef1f8b737f2857b523dd21e5c38de6359ff61827460c35792e

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_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.7-cp39-cp39-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 cb51111409bbc3e2cca11da2fa27a55ccdc6b9070d6e741f09645ebf527492ce
MD5 a2bb6cd7bfa85042fafc207307a59e26
BLAKE2b-256 6a487e18c3f64a942d8afd3385a4fffc754bd7deb79b231622db9b518fa5e1b1

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 d2698f5d08076a372288b441b04c3fe080f5061bb5d22a5ad59929bf81c0f8b0
MD5 5718e3be22982c7d18999a440c25df4e
BLAKE2b-256 0652f5d1e5afcfd88ffe43565fd94acfb63603a2fbf85d4cc5ca15b69df12bc3

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 447040244c57120dd9b18f9678973471142cf02985c5349649f6df5e1909abce
MD5 64c835584b6306c858fc89cd350d511d
BLAKE2b-256 13e4ada8bba38bf98bad534ceb29bc9f9aa096b4dfe93c8ea4992192ea7f55b6

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_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.7-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 b1d1d7b20edab02a4c068f7908874bf37757e6a758b90897fcb4d1a844ea8a27
MD5 222e18479f6c6be82d615930006e241c
BLAKE2b-256 df9eaf0d17483c2853aa3f024f2a8cd430c0b655e71f4d78100d79d2d4e6255f

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_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.7-cp38-cp38-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp38-cp38-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 7bf9541e2b867afb9a4710dc6e4fce5809eb9a61fe88c000bea5a859115771e9
MD5 dcf6db386c5d71ce5d7674c664273f37
BLAKE2b-256 8f6ffc6bfe873ac8f27367cebf5c6b820cda828cc5e51b5a33810488f4978f70

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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.7-cp38-cp38-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for klr_lang-0.0.7-cp38-cp38-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 d5fe3515db2e13ea60f40c2fd427f339049a1defff13a6e1cf7ab6b1f55e57d7
MD5 2b2b50aa325b5fd77ea9b58e05c3bb1e
BLAKE2b-256 59995da3668547ee88e85095d820a006196b652ea48b0a1254636224cf5c3738

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.7-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