An experiment in publishing a Haskell library as a Python Wheel.

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 Copyright (c) 2023 Wen Kokke Permission is hereby granted, free of charge, to any pers...)
  • Author: Wen Kokke
  • Requires: Python <3.12, >=3.7.1
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.

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

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 Copyright (c) 2023 Wen Kokke Permission is hereby granted, free of charge, to any pers...)
  • Author: Wen Kokke
  • Requires: Python <3.12, >=3.7.1
Classifiers

Release history Release notifications | RSS feed

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

This version

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.6.3.post1-cp311-cp311-win_amd64.whl (20.9 MB view details)

Uploaded CPython 3.11Windows x86-64

agda-2.6.3.post1-cp311-cp311-musllinux_1_1_x86_64.whl (48.2 MB view details)

Uploaded CPython 3.11musllinux: musl 1.1+ x86-64

agda-2.6.3.post1-cp311-cp311-manylinux_2_28_x86_64.whl (45.4 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.28+ x86-64

agda-2.6.3.post1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (45.2 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

agda-2.6.3.post1-cp311-cp311-macosx_13_0_arm64.whl (40.8 MB view details)

Uploaded CPython 3.11macOS 13.0+ ARM64

agda-2.6.3.post1-cp311-cp311-macosx_10_10_x86_64.whl (41.8 MB view details)

Uploaded CPython 3.11macOS 10.10+ x86-64

agda-2.6.3.post1-cp310-cp310-win_amd64.whl (20.9 MB view details)

Uploaded CPython 3.10Windows x86-64

agda-2.6.3.post1-cp310-cp310-musllinux_1_1_x86_64.whl (48.2 MB view details)

Uploaded CPython 3.10musllinux: musl 1.1+ x86-64

agda-2.6.3.post1-cp310-cp310-manylinux_2_28_x86_64.whl (45.4 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.28+ x86-64

agda-2.6.3.post1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (45.2 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

agda-2.6.3.post1-cp310-cp310-macosx_13_0_arm64.whl (40.8 MB view details)

Uploaded CPython 3.10macOS 13.0+ ARM64

agda-2.6.3.post1-cp310-cp310-macosx_10_10_x86_64.whl (41.8 MB view details)

Uploaded CPython 3.10macOS 10.10+ x86-64

agda-2.6.3.post1-cp39-cp39-win_amd64.whl (20.9 MB view details)

Uploaded CPython 3.9Windows x86-64

agda-2.6.3.post1-cp39-cp39-musllinux_1_1_x86_64.whl (48.2 MB view details)

Uploaded CPython 3.9musllinux: musl 1.1+ x86-64

agda-2.6.3.post1-cp39-cp39-manylinux_2_28_x86_64.whl (45.4 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.28+ x86-64

agda-2.6.3.post1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (45.2 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ x86-64

agda-2.6.3.post1-cp39-cp39-macosx_13_0_arm64.whl (40.8 MB view details)

Uploaded CPython 3.9macOS 13.0+ ARM64

agda-2.6.3.post1-cp39-cp39-macosx_10_10_x86_64.whl (41.8 MB view details)

Uploaded CPython 3.9macOS 10.10+ x86-64

agda-2.6.3.post1-cp38-cp38-win_amd64.whl (20.9 MB view details)

Uploaded CPython 3.8Windows x86-64

agda-2.6.3.post1-cp38-cp38-musllinux_1_1_x86_64.whl (48.2 MB view details)

Uploaded CPython 3.8musllinux: musl 1.1+ x86-64

agda-2.6.3.post1-cp38-cp38-manylinux_2_28_x86_64.whl (45.4 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.28+ x86-64

agda-2.6.3.post1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (45.2 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ x86-64

agda-2.6.3.post1-cp38-cp38-macosx_13_0_arm64.whl (40.8 MB view details)

Uploaded CPython 3.8macOS 13.0+ ARM64

agda-2.6.3.post1-cp38-cp38-macosx_10_10_x86_64.whl (41.8 MB view details)

Uploaded CPython 3.8macOS 10.10+ x86-64

agda-2.6.3.post1-cp37-cp37m-win_amd64.whl (20.9 MB view details)

Uploaded CPython 3.7mWindows x86-64

agda-2.6.3.post1-cp37-cp37m-musllinux_1_1_x86_64.whl (48.2 MB view details)

Uploaded CPython 3.7mmusllinux: musl 1.1+ x86-64

agda-2.6.3.post1-cp37-cp37m-manylinux_2_28_x86_64.whl (45.4 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.28+ x86-64

agda-2.6.3.post1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (45.2 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.17+ x86-64

agda-2.6.3.post1-cp37-cp37m-macosx_13_0_arm64.whl (40.8 MB view details)

Uploaded CPython 3.7mmacOS 13.0+ ARM64

agda-2.6.3.post1-cp37-cp37m-macosx_10_10_x86_64.whl (41.8 MB view details)

Uploaded CPython 3.7mmacOS 10.10+ x86-64

File details

Details for the file agda-2.6.3.post1-cp311-cp311-win_amd64.whl.

File metadata

  • Download URL: agda-2.6.3.post1-cp311-cp311-win_amd64.whl
  • Upload date:
  • Size: 20.9 MB
  • Tags: CPython 3.11, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for agda-2.6.3.post1-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 46d502fef61d4c3e92c004245816071e410e0ffe4ff8d28a9278397286cb87d5
MD5 ea13ba8ab40dcd89ba5a73fe98baaea1
BLAKE2b-256 00649aa0f14fcd28878ad256bd6397f17d5dfe6c8ef203c1521373706af05ad7

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp311-cp311-musllinux_1_1_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 5031ad32d597ac7afd259771033b37592274ae6703a1d3a9f8658e9600a6d653
MD5 0e2645a95b9a0ef2a824cc0b185af501
BLAKE2b-256 03056fc2c3006a77edae5ca5f7c87058cda249d72bfd7d7e88761d75b50b8740

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp311-cp311-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp311-cp311-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 2e1465da1b9422272e0dbe033ddbc7d7080e045996a7c2808a731554a425db22
MD5 5ba0e49f5ab467322f86d37cd15baa48
BLAKE2b-256 db083cfff49c84f8d0f08f3d5125a15e372151ad984fde59885f99d83276a572

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e5cee3bc727acf591c930792cc29b0ca8615ceb2e5e64e902502f0c94b7d8931
MD5 f67bfdf65335bb8f66491d803d56089e
BLAKE2b-256 616a49fd0940846661d9bea67622f1f35f6b40b03ae660203631778ff0eaee91

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp311-cp311-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 924d729a5977e82165a19a0d2765c77b9b3c2b8a0b4012e2aa77f9a73d5b980e
MD5 89206ba9251b52c01c20709edc11aa19
BLAKE2b-256 f835f52a3bffc02ad544feba9099566e6794f04d6de3929838aadb94f624022a

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp311-cp311-macosx_10_10_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp311-cp311-macosx_10_10_x86_64.whl
Algorithm Hash digest
SHA256 3c29de3116da8f9aafec0f10acdba1fab96957a8ceace69ecfbbd801b5365ca4
MD5 c4d40d2e82daa309bc7c829dbfd6ebda
BLAKE2b-256 027716bc7a261b778e3bd9b5b4e23b02e8728402365b8e344bbbc19e50b10e96

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp310-cp310-win_amd64.whl.

File metadata

  • Download URL: agda-2.6.3.post1-cp310-cp310-win_amd64.whl
  • Upload date:
  • Size: 20.9 MB
  • Tags: CPython 3.10, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for agda-2.6.3.post1-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 80809676552cd1416c8711f934b227a94747eb4d18766683ba3febe1e6f9c37a
MD5 749f5635971012624a5389586d2c49cb
BLAKE2b-256 f2c4bf679224ccbe8d9d1e8b1602d4475cbb01cdeee38a5c4d964c96fae68fe4

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp310-cp310-musllinux_1_1_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 ac6b2c64771eefa50004698b6ea0f51326705cdadac851100679184589b96632
MD5 2f4c0f717f200df9a2baad2810f5b173
BLAKE2b-256 8257715a67270f29c307fc1de29b6a8300e03eaa028d821418c89c7dd186fd5d

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp310-cp310-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp310-cp310-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 ac79718b884247b4a64aff25cb2da844278e510704dadf0d1a9f0e892ce3b105
MD5 a02eecdb99a462bcfb744c6a5891d7b4
BLAKE2b-256 e7ce7c61ca135284fd116bb831c1fae89071dd24917379d0dbf338873315ed6e

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 a178e3f37b856585bda43132ffce297019e0bdee309a0a57a50d8c443a89520a
MD5 c765e05f2628acc74da987ba848a9df8
BLAKE2b-256 d17e38b65806368a9d6e9747c5229be9893b4ec20a8bf7e30bdf0a0af4d269fb

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp310-cp310-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp310-cp310-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 6780369386076ee882e5ba7e8f7173e540ba85a97b2f3b25bbba8770e7ad0517
MD5 94855f5662f1ed174f58b81988a091f0
BLAKE2b-256 501448dc3e3234fbb7b493cd09bf11571a26efb18897d23c0398ee4f6865b1a0

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp310-cp310-macosx_10_10_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp310-cp310-macosx_10_10_x86_64.whl
Algorithm Hash digest
SHA256 147a1085b048e998889f3148cee7bc5b5ab35c69f3703122655b11ba27bb907d
MD5 2e7cd246ae793602b787f220e4d869eb
BLAKE2b-256 ef6a7bb69fe0ef454b3fb83fd5e770fbc5d21900d2c9d80d72dfec67cca37027

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp39-cp39-win_amd64.whl.

File metadata

  • Download URL: agda-2.6.3.post1-cp39-cp39-win_amd64.whl
  • Upload date:
  • Size: 20.9 MB
  • Tags: CPython 3.9, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for agda-2.6.3.post1-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 45fa44a58ffa5efb2cfcec141c2bb662651f7746f79e104ebbf1653fe62efab5
MD5 fbf9e85a28d6727c6fcfaf2148f2fe56
BLAKE2b-256 835daa6bb3650a25dfcfdb7dae84c6dac947bcf5a1856d8b84e8a2118b91e7bd

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp39-cp39-musllinux_1_1_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 005000ae2cdd39ee856938dbfc91a4d4de1c40a1cf8156455d0580b0db591e03
MD5 8278ce7b707b34a35e4c5ab36d35adc1
BLAKE2b-256 71ccc688bd9f4a176375e95e852d1cabc3a39291bd78b8b5f93cd6305c53bcde

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp39-cp39-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp39-cp39-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 85893f6c2ade88dcdab0679260577dd52ba7a24e8b3fb1c5de96646f2d1f16f3
MD5 c60c02ed4b5d107bb4406f0ca8e55b63
BLAKE2b-256 8212981b4c96704dd60a33fd8bcc9793deb71717abbbe2650e79a8f841121b24

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 96d62365dc0054920ba398a918d4a65609472d23e34c168326d39fd65ef3ca51
MD5 7bf613c0eec4e6782a2e34df6fec14df
BLAKE2b-256 16a3469fdfb15092f49194a75da9c58349d6f3a3641ca416d592094b1f82233c

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp39-cp39-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp39-cp39-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 e0edfd75de69b10906900efe5241d2c7701f5bc2bb70d0ff9c18dbccf89f6e2b
MD5 30712781ddb8898cfb92036264609260
BLAKE2b-256 5b4f20a93700d59ae0612657f82d4448c9b8d47bbfe94da8699c65e9c7fad9b6

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp39-cp39-macosx_10_10_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp39-cp39-macosx_10_10_x86_64.whl
Algorithm Hash digest
SHA256 abbe0da09d2b759d26060fbc20016090464fea68da90104753ff235b390ede4d
MD5 ff4d0afd751430dcafccb0f02bbeaea5
BLAKE2b-256 957f97a205a436594eabc2be73a78448d63d8ad1fd35ae3ae1185fab4c063033

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp38-cp38-win_amd64.whl.

File metadata

  • Download URL: agda-2.6.3.post1-cp38-cp38-win_amd64.whl
  • Upload date:
  • Size: 20.9 MB
  • Tags: CPython 3.8, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for agda-2.6.3.post1-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 09615c4d2e16dc123428d4b6ebd63692c3a888530a9cac23f6546ddf6a943a7f
MD5 83c570b85d1f50841b31948218c1c9a8
BLAKE2b-256 13e3baf2c3fdb62787e7c7ac74bfe89e42378a4e08932ff4e4057a2e630ef0ef

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp38-cp38-musllinux_1_1_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 31f2c19655db10cf0d310f0dbf631c434cf537196456a25a395855124dd65744
MD5 1c59fdab755c775a2480b912ea4aa056
BLAKE2b-256 60c4ed568bbb020ab7e0bd8867adb2bfbb5b95515fc5613493a92534ea91e2d5

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp38-cp38-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp38-cp38-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a2a302e7e99ca090d763a9275606171ca407c9c8f5ecf58a07eecc5cec5a0dc2
MD5 ee07be00c552ceb648b4767ba00f3cae
BLAKE2b-256 bf38d412628a034ed844df5f01501dc5c5a05fe7613758e517073c610f7521d8

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 8c0cf7811ab4297f5a3a2339eb5a5685be94ea8dc381193c5c8b1efc07c227b1
MD5 87c875543d9ba945ebc6c14d33340b15
BLAKE2b-256 5376065f1201721f65accdbf9d7014bd1311f2d83cbefd19b92c421c43165a25

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp38-cp38-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp38-cp38-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 f420b418fbe86f7b36580187ce81615620ca03d36de4c67a245d8f4312c83006
MD5 4bf2afc2575057d1f2dc12e270058400
BLAKE2b-256 6036daafc650305113443cf465f7407b0be16bf1935eb5e47ee7631538137dba

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp38-cp38-macosx_10_10_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp38-cp38-macosx_10_10_x86_64.whl
Algorithm Hash digest
SHA256 ad03b7d1a48a49d31899d374ed68cf7f0a64155adec921e50ff111ccfa10fec6
MD5 b23468c62b1ecbb507a60cfadeb0719b
BLAKE2b-256 3c2b86da5ba9665c61408c1fe1dbad49e514f0296fae61a99f967b5bff041c33

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp37-cp37m-win_amd64.whl.

File metadata

  • Download URL: agda-2.6.3.post1-cp37-cp37m-win_amd64.whl
  • Upload date:
  • Size: 20.9 MB
  • Tags: CPython 3.7m, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for agda-2.6.3.post1-cp37-cp37m-win_amd64.whl
Algorithm Hash digest
SHA256 90f927fa2f68a522cde19d49ab93252b0e85c6466cc3c6559a90fadda90b4977
MD5 da6f6d6012064d70f0b2522c61d98947
BLAKE2b-256 ea65b97a875299e8b35936a492e96e122abc2350c4d4b6eda20fc2a3192c1af5

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp37-cp37m-musllinux_1_1_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp37-cp37m-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 3dfb8639fe93f3dbbe8130521795afef675761f39473520b4150f0090e321386
MD5 d75f6df8c9d87ffea34a4034ef7b76d9
BLAKE2b-256 9dfc1a1d5c09b09c2b1a6d43d596d44239752c03953dd4d278429c0beaeedc30

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp37-cp37m-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp37-cp37m-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 21a037a5144f8a6d4dc0758d4beed04b040ccde9158ccd92f00f2b555b434c57
MD5 c1a65b6b4fb3647a144b1300287c9c5a
BLAKE2b-256 964a11c23f877de643cd45dab149505e612e9f2c12830e23d73c191f95e39dbc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 ed813d34936433963b967a2428e0f9fed1f6ba5521266849df58b676222945ae
MD5 982bfd72c3ca5f82a2dac76343e148bf
BLAKE2b-256 c8364d4f63293a05dfde7a182927055604a9298fd541257b1d7280be63c7fbf8

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp37-cp37m-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp37-cp37m-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 7081e72c402ce6e2d1783baabbed200055c2a4889e93c7758d0c3caf237f9450
MD5 f39e65db3a7c5523e6cf8b4362647f21
BLAKE2b-256 e96112037bd3b724beddbb64863df7baa9da6b1492c2360ea9963bbb2c549ec3

See more details on using hashes here.

File details

Details for the file agda-2.6.3.post1-cp37-cp37m-macosx_10_10_x86_64.whl.

File metadata

File hashes

Hashes for agda-2.6.3.post1-cp37-cp37m-macosx_10_10_x86_64.whl
Algorithm Hash digest
SHA256 b1e71fc6ef2ad35fc35b8dbbcf734d36d1f01ca7070adc2a3846c4d3589d2a97
MD5 34a5233de1ce05f6d1885aac12d328ba
BLAKE2b-256 91bcfe86ed9bed0fa874b13108e23bd6b0176a7aa75bb9325e04a8a282d4a4d8

See more details on using hashes here.

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