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

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Project description

The official Agda logo

GitHub tag (latest by date)

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

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

2.6.4.3

May 10, 2024

2.6.4.1

May 9, 2024

2.6.4

Mar 1, 2024

This version

2.6.3.post1

Aug 4, 2023

2.6.3

Aug 3, 2023

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

agda-2.6.3.post1-cp311-cp311-win_amd64.whl (20.9 MB view hashes)

Uploaded Aug 4, 2023 CPython 3.11 Windows x86-64

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

Uploaded Aug 4, 2023 CPython 3.11 musllinux: musl 1.1+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.11 manylinux: 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 hashes)

Uploaded Aug 4, 2023 CPython 3.11 manylinux: glibc 2.17+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.11 macOS 13.0+ ARM64

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

Uploaded Aug 4, 2023 CPython 3.11 macOS 10.10+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.10 Windows x86-64

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

Uploaded Aug 4, 2023 CPython 3.10 musllinux: musl 1.1+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.10 manylinux: 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 hashes)

Uploaded Aug 4, 2023 CPython 3.10 manylinux: glibc 2.17+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.10 macOS 13.0+ ARM64

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

Uploaded Aug 4, 2023 CPython 3.10 macOS 10.10+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.9 Windows x86-64

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

Uploaded Aug 4, 2023 CPython 3.9 musllinux: musl 1.1+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.9 manylinux: 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 hashes)

Uploaded Aug 4, 2023 CPython 3.9 manylinux: glibc 2.17+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.9 macOS 13.0+ ARM64

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

Uploaded Aug 4, 2023 CPython 3.9 macOS 10.10+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.8 Windows x86-64

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

Uploaded Aug 4, 2023 CPython 3.8 musllinux: musl 1.1+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.8 manylinux: 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 hashes)

Uploaded Aug 4, 2023 CPython 3.8 manylinux: glibc 2.17+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.8 macOS 13.0+ ARM64

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

Uploaded Aug 4, 2023 CPython 3.8 macOS 10.10+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.7m Windows x86-64

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

Uploaded Aug 4, 2023 CPython 3.7m musllinux: musl 1.1+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.7m manylinux: 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 hashes)

Uploaded Aug 4, 2023 CPython 3.7m manylinux: glibc 2.17+ x86-64

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

Uploaded Aug 4, 2023 CPython 3.7m macOS 13.0+ ARM64

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

Uploaded Aug 4, 2023 CPython 3.7m macOS 10.10+ x86-64

Hashes for agda-2.6.3.post1-cp311-cp311-win_amd64.whl

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

Hashes for agda-2.6.3.post1-cp311-cp311-musllinux_1_1_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp311-cp311-manylinux_2_28_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp311-cp311-macosx_13_0_arm64.whl

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

Hashes for agda-2.6.3.post1-cp311-cp311-macosx_10_10_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp310-cp310-win_amd64.whl

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

Hashes for agda-2.6.3.post1-cp310-cp310-musllinux_1_1_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp310-cp310-manylinux_2_28_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp310-cp310-macosx_13_0_arm64.whl

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

Hashes for agda-2.6.3.post1-cp310-cp310-macosx_10_10_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp39-cp39-win_amd64.whl

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

Hashes for agda-2.6.3.post1-cp39-cp39-musllinux_1_1_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp39-cp39-manylinux_2_28_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp39-cp39-macosx_13_0_arm64.whl

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

Hashes for agda-2.6.3.post1-cp39-cp39-macosx_10_10_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp38-cp38-win_amd64.whl

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

Hashes for agda-2.6.3.post1-cp38-cp38-musllinux_1_1_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp38-cp38-manylinux_2_28_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp38-cp38-macosx_13_0_arm64.whl

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

Hashes for agda-2.6.3.post1-cp38-cp38-macosx_10_10_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp37-cp37m-win_amd64.whl

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

Hashes for agda-2.6.3.post1-cp37-cp37m-musllinux_1_1_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp37-cp37m-manylinux_2_28_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

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`

Hashes for agda-2.6.3.post1-cp37-cp37m-macosx_13_0_arm64.whl

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

Hashes for agda-2.6.3.post1-cp37-cp37m-macosx_10_10_x86_64.whl

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`