A project that packages Agda as a Python package.

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for wenkokke from gravatar.com wenkokke

Unverified details

These details have not been verified by PyPI
Meta
  • License: MIT License (MIT License)
  • Author: Wen Kokke
  • Requires: Python <3.14, >=3.7.1
  • Provides-Extra: mypy , test
Classifiers
Report project as malware

Project description

The official Agda logo

GitHub Workflow Status PyPI Hackage GitHub tag (latest by date) PyPI - Python Version PyPI - Implementation

Agda Python Distribution

A project that packages Agda as a Python package, which allows you to install Agda from PyPI:

pip install agda

The PyPI package versions follow the PvP version numbers of Agda releases, with post-release versions (e.g., v2.6.3.post1) for patches and non-breaking changes to the documentation and packaging.

Binary wheels are provided for the following platforms:

Platform Release Architecture
macOS ≥10.10 x86_64
≥13.0 ARM64
Linux libc ≥2.17 x86_64
libc ≥2.28 aarch64
musl ≥1.1 x86_64
Windows AMD64

The availability of binary wheels is largely determined by the availability of GHC binaries.

For more information, see:

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for wenkokke from gravatar.com wenkokke

Unverified details

These details have not been verified by PyPI
Meta
  • License: MIT License (MIT License)
  • Author: Wen Kokke
  • Requires: Python <3.14, >=3.7.1
  • Provides-Extra: mypy , test
Classifiers

Release history Release notifications | RSS feed

This version

2.7.0.1

2.7.0

2.6.4.3.post1

2.6.4.3 yanked

Reason this release was yanked:

The binaries are linked against Agda version 2.4.3.1. Use version 2.6.4.3.post1.

2.6.4.1

2.6.4

2.6.3.post1

2.6.3

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.

agda-2.7.0.1-cp312-cp312-win_amd64.whl (23.5 MB view details)

Uploaded CPython 3.12Windows x86-64

agda-2.7.0.1-cp312-cp312-musllinux_1_2_x86_64.whl (39.4 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ x86-64

agda-2.7.0.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.2 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.17+ x86-64

agda-2.7.0.1-cp312-cp312-macosx_11_0_arm64.whl (32.9 MB view details)

Uploaded CPython 3.12macOS 11.0+ ARM64

agda-2.7.0.1-cp312-cp312-macosx_10_13_x86_64.whl (34.0 MB view details)

Uploaded CPython 3.12macOS 10.13+ x86-64

agda-2.7.0.1-cp311-cp311-win_amd64.whl (23.5 MB view details)

Uploaded CPython 3.11Windows x86-64

agda-2.7.0.1-cp311-cp311-musllinux_1_2_x86_64.whl (39.4 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

agda-2.7.0.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.2 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

agda-2.7.0.1-cp311-cp311-macosx_11_0_arm64.whl (32.9 MB view details)

Uploaded CPython 3.11macOS 11.0+ ARM64

agda-2.7.0.1-cp311-cp311-macosx_10_9_x86_64.whl (34.0 MB view details)

Uploaded CPython 3.11macOS 10.9+ x86-64

agda-2.7.0.1-cp310-cp310-win_amd64.whl (23.5 MB view details)

Uploaded CPython 3.10Windows x86-64

agda-2.7.0.1-cp310-cp310-musllinux_1_2_x86_64.whl (39.4 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ x86-64

agda-2.7.0.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.2 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

agda-2.7.0.1-cp310-cp310-macosx_11_0_arm64.whl (32.9 MB view details)

Uploaded CPython 3.10macOS 11.0+ ARM64

agda-2.7.0.1-cp310-cp310-macosx_10_9_x86_64.whl (34.0 MB view details)

Uploaded CPython 3.10macOS 10.9+ x86-64

agda-2.7.0.1-cp39-cp39-win_amd64.whl (23.5 MB view details)

Uploaded CPython 3.9Windows x86-64

agda-2.7.0.1-cp39-cp39-musllinux_1_2_x86_64.whl (39.4 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ x86-64

agda-2.7.0.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.2 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ x86-64

agda-2.7.0.1-cp39-cp39-macosx_11_0_arm64.whl (32.9 MB view details)

Uploaded CPython 3.9macOS 11.0+ ARM64

agda-2.7.0.1-cp39-cp39-macosx_10_9_x86_64.whl (34.0 MB view details)

Uploaded CPython 3.9macOS 10.9+ x86-64

agda-2.7.0.1-cp38-cp38-win_amd64.whl (23.5 MB view details)

Uploaded CPython 3.8Windows x86-64

agda-2.7.0.1-cp38-cp38-musllinux_1_2_x86_64.whl (39.4 MB view details)

Uploaded CPython 3.8musllinux: musl 1.2+ x86-64

agda-2.7.0.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.2 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ x86-64

agda-2.7.0.1-cp38-cp38-macosx_11_0_arm64.whl (32.9 MB view details)

Uploaded CPython 3.8macOS 11.0+ ARM64

agda-2.7.0.1-cp38-cp38-macosx_10_9_x86_64.whl (34.0 MB view details)

Uploaded CPython 3.8macOS 10.9+ x86-64

agda-2.7.0.1-cp37-cp37m-win_amd64.whl (23.5 MB view details)

Uploaded CPython 3.7mWindows x86-64

agda-2.7.0.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.1 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.17+ x86-64

agda-2.7.0.1-cp37-cp37m-macosx_10_9_x86_64.whl (34.0 MB view details)

Uploaded CPython 3.7mmacOS 10.9+ x86-64

File details

Details for the file agda-2.7.0.1-cp312-cp312-win_amd64.whl.

File metadata

  • Download URL: agda-2.7.0.1-cp312-cp312-win_amd64.whl
  • Upload date:
  • Size: 23.5 MB
  • Tags: CPython 3.12, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.12.8

File hashes

Hashes for agda-2.7.0.1-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 38ea7d4de3ac6d6ba715af1968d38f4726b5c29a316d4ef37a4a4d72684891bb
MD5 a2e205a8829e8f34f84e39c742fa0088
BLAKE2b-256 b6690accdd2d427e1d3eea16d94e83b9d3e876d4b351721d706614de35e342d0

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp312-cp312-win_amd64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp312-cp312-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 7dee1a1d1b56a0b617135b2327e2128ef689b28b1f122cef528e06f93a19046a
MD5 7ce442c95fc11a0b5e217170abd3ae2f
BLAKE2b-256 69ea90a45b8e9acc6da6486b59cd3a709117c730c4f9fda57d3a49b544e25ca1

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp312-cp312-musllinux_1_2_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 f06dd902cdcbcbb1ca8950c3d138c143be54ff953bf57046ca62ddf42d597227
MD5 ce73952820d6a4ffbde34e45f1cd322d
BLAKE2b-256 461a4e1d129516c12c2524d566dd7be610208acbfe7846b501d20e6bef10ba5b

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp312-cp312-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 c6863e2d72c02e4c109ca911e316458ec1d987bfe1151b1470e6fd916da60f3c
MD5 4ed017700ed05e247791f558d94ee2b0
BLAKE2b-256 35f0b5f8798820df52cd209c1425eae5a64c7086230e99596cadc84226eab3fc

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp312-cp312-macosx_11_0_arm64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp312-cp312-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 8fb15e702b3863ed575fa869c04da31d13687dcf9782aea19651084a4f8b1355
MD5 e0e210019ad3ca1eb808d55e64f40ff8
BLAKE2b-256 07c8b3fcf007515e9263419be7887116a286d2aacae3c8442732b310bdc53eeb

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp312-cp312-macosx_10_13_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp311-cp311-win_amd64.whl.

File metadata

  • Download URL: agda-2.7.0.1-cp311-cp311-win_amd64.whl
  • Upload date:
  • Size: 23.5 MB
  • Tags: CPython 3.11, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.12.8

File hashes

Hashes for agda-2.7.0.1-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 2b1ffd19323070582a0ce4d5ba594fcf256dcefde720a0f4b3314287266200a7
MD5 69f648c1e4998eb756fbc334b9e9a0c3
BLAKE2b-256 38768ac39fd7e251f2727f02ea49a1b7f70ffa2493b43180d9d76852146d04ec

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp311-cp311-win_amd64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp311-cp311-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 83f1df8d37688937a885a37dc6fffdec8f9bf4c31fc9ac3265733128d98febb8
MD5 9d68c9855191352c2070a42a4720295f
BLAKE2b-256 7bcfcc22922406d03419f6846c6d6cd8dbc6a306973e531e173e4a72b02c427d

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp311-cp311-musllinux_1_2_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 361ba14d06cac8cdcd5a703acd8dc52104f8e2dddc9d55f58c6cb5915d076a4d
MD5 88385738488e83508ee68bf9f3ab433e
BLAKE2b-256 5eb6608b363c8ab424efb693cd004033fa6c0ccac0eaba2a30bb067a2bab63f9

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp311-cp311-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 6f7672368d419eebd96541d1f19b4b67b27230efeafa8d39da1cb2b02ada56c0
MD5 bbcdb9aac80d626c1777941a6134a1e2
BLAKE2b-256 b4288da6401c58b515d7d5bc5d95938c6aab4fda54186599e70a15d28c794f06

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp311-cp311-macosx_11_0_arm64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp311-cp311-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 daf95a6044ddbafa5a82be973e9c1c1f793ae01532fe5fd5efebd817a2fa7b8c
MD5 ba19a17ab4df7273055d8f002ca49fa5
BLAKE2b-256 a1661774ffb495e50b7a543821ea78193bf2787584f1e7e2b4e36d32e6e1f735

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp311-cp311-macosx_10_9_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp310-cp310-win_amd64.whl.

File metadata

  • Download URL: agda-2.7.0.1-cp310-cp310-win_amd64.whl
  • Upload date:
  • Size: 23.5 MB
  • Tags: CPython 3.10, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.12.8

File hashes

Hashes for agda-2.7.0.1-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 e582c3b19f35231aee8733604079eec1bf0802d81a3588198da9de7d58c6a51b
MD5 1b44b005e743863cd13db0d91bcc3b9b
BLAKE2b-256 b19230e5a0b1fe404a49bad713f6d0049b07f5a51c6dfc8bd5454ba1d29c270a

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp310-cp310-win_amd64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp310-cp310-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 81f1cae4ee5ea8e4ce7d940e23604af31bd83698e0d287a05d0cfe73ad74ad3e
MD5 71bb7f033503ba7186f7c0fc1b06305f
BLAKE2b-256 08bf2cfc44b0675a41554ce6280527f89de990fb13831837cb075947719e45dd

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp310-cp310-musllinux_1_2_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 43e3ae8c7cb982f93e57c8ebc6c2dc4e635f27703cb88467b48b8bb87554f349
MD5 a45734f52e4d4449dae6fdc9ee9f723a
BLAKE2b-256 ded374e1b1fc4ddaed8de546d7e3656795fcf42da1eac9d88fda5d295938213d

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp310-cp310-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 d91994a872a021c757a03f6ab5a4206b2433da408a3466b45f97252eba40221f
MD5 0a908c07ebcce9cbda61a5d34a60eb69
BLAKE2b-256 b0a446273e815125d9204377bd52436f1ad491df757aa47e863102d1d35b26d2

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp310-cp310-macosx_11_0_arm64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp310-cp310-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 d64081dc54d899c449fcb1a974200e387f55d6c2e8d607c0251deba48a92ad29
MD5 f13e4862ed17b08c41a2b6d16ed0f4d6
BLAKE2b-256 35fab0599dfbf50e8d1ac35bd965869e81985141f05e5b8d70790aee7fcf2d2c

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp310-cp310-macosx_10_9_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp39-cp39-win_amd64.whl.

File metadata

  • Download URL: agda-2.7.0.1-cp39-cp39-win_amd64.whl
  • Upload date:
  • Size: 23.5 MB
  • Tags: CPython 3.9, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.12.8

File hashes

Hashes for agda-2.7.0.1-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 fa638bb6d85d5b006f561865f3a824020dd65b43f1e2432e5a0b43ac24d9c196
MD5 1a1f8d2baf3b0e5d95dcc9040bb9ce58
BLAKE2b-256 cbf3a27c584a6fb0c9753a755f130672cb71a4adcec10983e87ed26e07ccd9dc

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp39-cp39-win_amd64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp39-cp39-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 da6788e78f79a7bf9ee9d3569c20d4e8cb46a3ed1c98e5d6201cb8ccaa5b5297
MD5 899790e07780966a3450838ef4623dd0
BLAKE2b-256 f1ccee075e983c999152ae5dbae7d4594f872c67a233b72dfd62bb1f901a070a

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp39-cp39-musllinux_1_2_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 c106f0a5dc5c3e1174be21c282ba5af35907dabfcc2842d6c16556e47fcb7746
MD5 bb731faeea4221818048431cfb97c2e3
BLAKE2b-256 e969f6c921dcf45f8d58afc7bbf18ae328acd8e76fe16bb3e95c2b69afdd7a90

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp39-cp39-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 a03c42c000f24c3eb2e109ce5990b3df47dcbfc3a12b04a91b4062d9be2d35db
MD5 b3c004e3450068a8b58879bf06eba423
BLAKE2b-256 f372fe731cc0e85ece0e6565ff199359e7e42754d94f4bf33b8c6de963d6e4d5

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp39-cp39-macosx_11_0_arm64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp39-cp39-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 62f206014cf6b9f722167cd7b35a912b4805189c7abe9e9b6d692fbf857c1552
MD5 466bef5b11e77ae9c3b7f09e77cf3c63
BLAKE2b-256 53cb4325c0eb04421c1b0e219f44201c169783c37709f140251b42c67b2bdf4c

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp39-cp39-macosx_10_9_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp38-cp38-win_amd64.whl.

File metadata

  • Download URL: agda-2.7.0.1-cp38-cp38-win_amd64.whl
  • Upload date:
  • Size: 23.5 MB
  • Tags: CPython 3.8, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.12.8

File hashes

Hashes for agda-2.7.0.1-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 4eb3d64a1d6bf368672eb3c84a9addf81faf2990288f20eecf9092185d1b35f9
MD5 04215c2bec230b7409bd71ab71326303
BLAKE2b-256 2cea17d5296a8f063b611c51e591d280bc2c685b1f9fbe1ff204d31f22167f7d

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp38-cp38-win_amd64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp38-cp38-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp38-cp38-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c39ec5c85514503e9465654bfd26640c9e159276b5bc543f1b6c73531194ec11
MD5 85611af097812dba5bd4c44d4f94a002
BLAKE2b-256 084ba02099225a0845d1220de8f1e5457dc07b0320b24443c2ec5129864fe857

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp38-cp38-musllinux_1_2_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 2702d3c235a875afeab19b4124cbc73e124fe7e3531cf3413fc4aeaee3a9f002
MD5 3762e114c709eb66b609545b2c27df44
BLAKE2b-256 e31d38e7ee578c773edb33748519e3482f89376a9c8dde36ccec783579bef89b

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp38-cp38-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp38-cp38-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 e8e8ba5f29c704fd5e1eb34cfe592e607b06046bd3f3c9de09d049955d40d2bf
MD5 3fd2005cb1cb3d3c131741c657d50e7d
BLAKE2b-256 fc777d7c6227fadd59991143c8744d4630b8e4258f3be39b0f0a5721ec826dac

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp38-cp38-macosx_11_0_arm64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp38-cp38-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 3432d2b599e2a274dc85d9c512b6df551394dfb624de50436f71a275447415a2
MD5 cb96ba106af42868906dc601acbc771c
BLAKE2b-256 cc7c9636f90a5b382a1295635f70a550d8fc87d49b5302fd41f3d718db6d1a87

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp38-cp38-macosx_10_9_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp37-cp37m-win_amd64.whl.

File metadata

  • Download URL: agda-2.7.0.1-cp37-cp37m-win_amd64.whl
  • Upload date:
  • Size: 23.5 MB
  • Tags: CPython 3.7m, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.12.8

File hashes

Hashes for agda-2.7.0.1-cp37-cp37m-win_amd64.whl
Algorithm Hash digest
SHA256 3afad97381b574828e38400bc21e568c7186a24e1fb987732e31d48d2d55594e
MD5 56b0da59a33ee76a9ea505e799fef9f3
BLAKE2b-256 f6cad8fc36e57e020f3c1e6665c14f40bd7c2f7fd66f787ab943e84e417b0be9

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp37-cp37m-win_amd64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 0a05e564db24035f1c06ea53cd40769850dfb29d480b281e6b4b67ed46a05874
MD5 bc78eb5ef8ec57d30f4560e13acb6040
BLAKE2b-256 298783dca94e756f214076d43d72f806633ef8d1fb16e67c52a7f71df614f4f7

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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

File details

Details for the file agda-2.7.0.1-cp37-cp37m-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.7.0.1-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 2ce5321366fcdc67f29889d5d026770eb2662a2ad7b3b7d36bef780a4f0b01ae
MD5 bc003c9e0cc6f205ee377a10a508eaed
BLAKE2b-256 0c3ecaf08b3436171d6d75325857b2cb19579bff9dcc51d197d15e0929908bb4

See more details on using hashes here.

Provenance

The following attestation bundles were made for agda-2.7.0.1-cp37-cp37m-macosx_10_9_x86_64.whl:

Publisher: ci.yml on wenkokke/agda-python

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