A project that packages Agda as a Python package.

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, 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

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

This version

2.6.4.3

May 10, 2024

2.6.4.1

May 9, 2024

2.6.4

Mar 1, 2024

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.4.3-cp312-cp312-win_amd64.whl (22.8 MB view hashes)

Uploaded May 10, 2024 CPython 3.12 Windows x86-64

agda-2.6.4.3-cp312-cp312-musllinux_1_1_x86_64.whl (38.2 MB view hashes)

Uploaded May 10, 2024 CPython 3.12 musllinux: musl 1.1+ x86-64

agda-2.6.4.3-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (36.1 MB view hashes)

Uploaded May 10, 2024 CPython 3.12 manylinux: glibc 2.17+ x86-64

agda-2.6.4.3-cp312-cp312-macosx_11_0_arm64.whl (31.7 MB view hashes)

Uploaded May 10, 2024 CPython 3.12 macOS 11.0+ ARM64

agda-2.6.4.3-cp312-cp312-macosx_10_9_x86_64.whl (33.0 MB view hashes)

Uploaded May 10, 2024 CPython 3.12 macOS 10.9+ x86-64

agda-2.6.4.3-cp311-cp311-win_amd64.whl (22.8 MB view hashes)

Uploaded May 10, 2024 CPython 3.11 Windows x86-64

agda-2.6.4.3-cp311-cp311-musllinux_1_1_x86_64.whl (38.2 MB view hashes)

Uploaded May 10, 2024 CPython 3.11 musllinux: musl 1.1+ x86-64

agda-2.6.4.3-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (36.1 MB view hashes)

Uploaded May 10, 2024 CPython 3.11 manylinux: glibc 2.17+ x86-64

agda-2.6.4.3-cp311-cp311-macosx_11_0_arm64.whl (31.7 MB view hashes)

Uploaded May 10, 2024 CPython 3.11 macOS 11.0+ ARM64

agda-2.6.4.3-cp311-cp311-macosx_10_9_x86_64.whl (33.0 MB view hashes)

Uploaded May 10, 2024 CPython 3.11 macOS 10.9+ x86-64

agda-2.6.4.3-cp310-cp310-win_amd64.whl (22.8 MB view hashes)

Uploaded May 10, 2024 CPython 3.10 Windows x86-64

agda-2.6.4.3-cp310-cp310-musllinux_1_1_x86_64.whl (38.2 MB view hashes)

Uploaded May 10, 2024 CPython 3.10 musllinux: musl 1.1+ x86-64

agda-2.6.4.3-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (36.1 MB view hashes)

Uploaded May 10, 2024 CPython 3.10 manylinux: glibc 2.17+ x86-64

agda-2.6.4.3-cp310-cp310-macosx_11_0_arm64.whl (31.7 MB view hashes)

Uploaded May 10, 2024 CPython 3.10 macOS 11.0+ ARM64

agda-2.6.4.3-cp310-cp310-macosx_10_9_x86_64.whl (33.0 MB view hashes)

Uploaded May 10, 2024 CPython 3.10 macOS 10.9+ x86-64

agda-2.6.4.3-cp39-cp39-win_amd64.whl (22.8 MB view hashes)

Uploaded May 10, 2024 CPython 3.9 Windows x86-64

agda-2.6.4.3-cp39-cp39-musllinux_1_1_x86_64.whl (38.2 MB view hashes)

Uploaded May 10, 2024 CPython 3.9 musllinux: musl 1.1+ x86-64

agda-2.6.4.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (36.1 MB view hashes)

Uploaded May 10, 2024 CPython 3.9 manylinux: glibc 2.17+ x86-64

agda-2.6.4.3-cp39-cp39-macosx_11_0_arm64.whl (31.7 MB view hashes)

Uploaded May 10, 2024 CPython 3.9 macOS 11.0+ ARM64

agda-2.6.4.3-cp39-cp39-macosx_10_9_x86_64.whl (33.0 MB view hashes)

Uploaded May 10, 2024 CPython 3.9 macOS 10.9+ x86-64

agda-2.6.4.3-cp38-cp38-win_amd64.whl (22.8 MB view hashes)

Uploaded May 10, 2024 CPython 3.8 Windows x86-64

agda-2.6.4.3-cp38-cp38-musllinux_1_1_x86_64.whl (38.2 MB view hashes)

Uploaded May 10, 2024 CPython 3.8 musllinux: musl 1.1+ x86-64

agda-2.6.4.3-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (36.1 MB view hashes)

Uploaded May 10, 2024 CPython 3.8 manylinux: glibc 2.17+ x86-64

agda-2.6.4.3-cp38-cp38-macosx_11_0_arm64.whl (31.7 MB view hashes)

Uploaded May 10, 2024 CPython 3.8 macOS 11.0+ ARM64

agda-2.6.4.3-cp38-cp38-macosx_10_9_x86_64.whl (33.0 MB view hashes)

Uploaded May 10, 2024 CPython 3.8 macOS 10.9+ x86-64

agda-2.6.4.3-cp37-cp37m-win_amd64.whl (22.8 MB view hashes)

Uploaded May 10, 2024 CPython 3.7m Windows x86-64

agda-2.6.4.3-cp37-cp37m-musllinux_1_1_x86_64.whl (38.2 MB view hashes)

Uploaded May 10, 2024 CPython 3.7m musllinux: musl 1.1+ x86-64

agda-2.6.4.3-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (36.1 MB view hashes)

Uploaded May 10, 2024 CPython 3.7m manylinux: glibc 2.17+ x86-64

agda-2.6.4.3-cp37-cp37m-macosx_10_9_x86_64.whl (33.0 MB view hashes)

Uploaded May 10, 2024 CPython 3.7m macOS 10.9+ x86-64

Hashes for agda-2.6.4.3-cp312-cp312-win_amd64.whl

Hashes for agda-2.6.4.3-cp312-cp312-win_amd64.whl
Algorithm	Hash digest
SHA256	`db07521fee03338bde6bf31bc1b8c7f1c95a2bea687bf5ce92f8db43c865aed4`
MD5	`fd0a39b3659b91108ab1fefb871703fa`
BLAKE2b-256	`347c9a4212ceac20fe58514acc9f8c7447d4679d6ce0c0648e9821d4661bb5d3`

Hashes for agda-2.6.4.3-cp312-cp312-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.4.3-cp312-cp312-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`dc4b287f7eebd076a4ece57268809d60fdb04561f58c2a16ed1ed7dcbf6e42d8`
MD5	`88f99d0834647eaac1333858a5f6f6f3`
BLAKE2b-256	`251a3f114815316e496da4e6ffb13f4e4e15e4aedc5358ce55d517af4cc716b0`

Hashes for agda-2.6.4.3-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for agda-2.6.4.3-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`d857b4f3b91ce4a9f679ce53529dd844e28effe1b425cef23bd33f66debcc8c4`
MD5	`2efbf6b37b5546a68e1fb82fe1fff731`
BLAKE2b-256	`86c337e360320f9e04b63c0df96fc1eda1bfd9996be6b2bc333d0a27b762f3de`

Hashes for agda-2.6.4.3-cp312-cp312-macosx_11_0_arm64.whl

Hashes for agda-2.6.4.3-cp312-cp312-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`1952253499a59296be97a5600569ea345546476123bab5d3d9efcac8e33c018f`
MD5	`e0ebbe3fc802e4b3265fbd571b163f43`
BLAKE2b-256	`935ccb3e78b412cca5e38e3db7c73e3da74cdf6232c2f2976d8db915f7b313f6`

Hashes for agda-2.6.4.3-cp312-cp312-macosx_10_9_x86_64.whl

Hashes for agda-2.6.4.3-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`59b065a46b5695b5ea8aafeded9c097c66d15f7ea5cd9fb47768ba7ab08c4dd2`
MD5	`4ed613551bf8ed0eadeaa75502e5efcf`
BLAKE2b-256	`fe7f3fc34bbaf232c76d5d396ea817b4b0d9810fc64b8a69423cf50b6ccf8976`

Hashes for agda-2.6.4.3-cp311-cp311-win_amd64.whl

Hashes for agda-2.6.4.3-cp311-cp311-win_amd64.whl
Algorithm	Hash digest
SHA256	`c0d64afda1f06f33f0ce61861150e5f072273157c7a08a5cd2ffd83c6e3e9cfa`
MD5	`b14f375f8242fe83599fab53ff515a41`
BLAKE2b-256	`9662a4d77b530ed5bd489e78fe0ebbcac5714bda3e6b5ce61a8315e2a8af6dc9`

Hashes for agda-2.6.4.3-cp311-cp311-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.4.3-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`599cf79f9ff64970a3b9634d16bc8e41e0ac88035e805d391779408977697022`
MD5	`8a469c8fc1f2e3243c19bbe04476790a`
BLAKE2b-256	`bc5dbba24ed4565fa6f93347203758359efad6f2ef18424b814e320c8e838aa6`

Hashes for agda-2.6.4.3-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for agda-2.6.4.3-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`eb6f08db3594665bc37c1e601c1b62ca774518e81aca037449eaa94aec742755`
MD5	`54479a1e70923bed16506cc6f29b1405`
BLAKE2b-256	`b1f3fe3d31b4aa6b23c6e1de435eea752260869aa711eb7232dd1849c9da8dcd`

Hashes for agda-2.6.4.3-cp311-cp311-macosx_11_0_arm64.whl

Hashes for agda-2.6.4.3-cp311-cp311-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`4aed33a628a0f81c8effc884b6fe834909a24f6a89eafdd07d26b5dc5c76335a`
MD5	`f154648b327c0a19e2a638e3a9b6c451`
BLAKE2b-256	`fe6dc2ec0f42fac220b307ca2da296b61852b8a9a7ddc1fd8729ffbd6399cd5f`

Hashes for agda-2.6.4.3-cp311-cp311-macosx_10_9_x86_64.whl

Hashes for agda-2.6.4.3-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`0761858be7ec30fdfe5a5fe709e53bd977d2620cec8efd6b6df46f8cd614e066`
MD5	`36e807499d1c8bf82b78654ae93d530a`
BLAKE2b-256	`17570f3931319c67228766d55228ae6a73c137e7fb38de84beb821ac353003d2`

Hashes for agda-2.6.4.3-cp310-cp310-win_amd64.whl

Hashes for agda-2.6.4.3-cp310-cp310-win_amd64.whl
Algorithm	Hash digest
SHA256	`86021bd4b7fdcc6fc79ea578eb10e3257e1db953a31c55289a9f319291c311e2`
MD5	`9ac36d820942ccd51cf9df9259969a2b`
BLAKE2b-256	`79e3dcc303c6d3a5d67ce193c55c06ddf984d93e0dbc3544748457d223a8c4b5`

Hashes for agda-2.6.4.3-cp310-cp310-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.4.3-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`58e988406a4ee530dfd93f2e8b9521463e989f6f8ca895d00198eeae84c060ed`
MD5	`a6949436e7a1640f68e05b2bff44a8a6`
BLAKE2b-256	`923a60eab5eed0915d252958177e199cf45e08a484aad9a9a65282059c0fcdf5`

Hashes for agda-2.6.4.3-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for agda-2.6.4.3-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`a028db6bcf62c0a7b8b31a0196adb4374aa69c5dafd06ac9beea8e0b6b7bea04`
MD5	`5521ba2779295050c36eb0c687fecb22`
BLAKE2b-256	`ad9010afae8cc91021d6370de7ebca841d1d78408a337b968aa0b5614bc5764f`

Hashes for agda-2.6.4.3-cp310-cp310-macosx_11_0_arm64.whl

Hashes for agda-2.6.4.3-cp310-cp310-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`eeb5a4cc34cd1fdd8b92f303e650a8cfc5692efa3853925b2d4abee74518cdfe`
MD5	`4476a898a5ff1de9d79d7b777e1a3627`
BLAKE2b-256	`795484585b07e5a3a8008d5e5b302ade619608d879b5c3af886f32ca07438028`

Hashes for agda-2.6.4.3-cp310-cp310-macosx_10_9_x86_64.whl

Hashes for agda-2.6.4.3-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`d3d974f1a5ed39a2fbfab3349ffc7d0b279a5c0678710491f7d136c55744f8fb`
MD5	`cb7d681934d64306b9913e27ec16c076`
BLAKE2b-256	`a66672f933966218ded46191c1d253466ad87083900f823901d7c0ca13c5749e`

Hashes for agda-2.6.4.3-cp39-cp39-win_amd64.whl

Hashes for agda-2.6.4.3-cp39-cp39-win_amd64.whl
Algorithm	Hash digest
SHA256	`ea358efdc36ac04580669f83391507810d676ca5be6c21bdfbaa47b8ccb2fbfc`
MD5	`70277efb9f566e31762ba69240a93e27`
BLAKE2b-256	`5a7fd41d93dab75f1a39299d7cf3028ddc25796aa0b1e25a8dd1280ebcb54b94`

Hashes for agda-2.6.4.3-cp39-cp39-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.4.3-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`7d7ac3ff66e7a3f8e8815c04ef622ac9506c722ba83c05f0183df40f51603bde`
MD5	`d131ee439afb11e5de14351dfaa667cf`
BLAKE2b-256	`85e53a654e1bbde3a25a9902f394790a8228882f09c5a20ac7318aacb2bf2552`

Hashes for agda-2.6.4.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for agda-2.6.4.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`8a6fdfac7503b2f228943a8710902365ad7e2be36f9a40981fe2b30653088e71`
MD5	`8088ff954dea58ed9cbcb05de6d9e9c1`
BLAKE2b-256	`f5291f2fb833e2bad79b999f855d3d406b866990237d4278b6ebb42dc933c64c`

Hashes for agda-2.6.4.3-cp39-cp39-macosx_11_0_arm64.whl

Hashes for agda-2.6.4.3-cp39-cp39-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`54617cca621c705b9e1c15e74947b87554e10af600fddcee33c62b6767fb544e`
MD5	`4b4bb01834789330b7a717d9b8fec720`
BLAKE2b-256	`68316bb1a495d55c27b673e882eb892accefab2f9da48b81831f5def78a026b1`

Hashes for agda-2.6.4.3-cp39-cp39-macosx_10_9_x86_64.whl

Hashes for agda-2.6.4.3-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`e4433d9565bd59c6149f1dd408e1aecc07f81f378e14c5509090bcf32419d18e`
MD5	`4f9b3f3a8d6d58fba9c5749369859f09`
BLAKE2b-256	`fb7e7f915181713feb97f1d9dd1bd4932e7809cb8ca76566e6f6fcc21c133c8b`

Hashes for agda-2.6.4.3-cp38-cp38-win_amd64.whl

Hashes for agda-2.6.4.3-cp38-cp38-win_amd64.whl
Algorithm	Hash digest
SHA256	`cf707cb03d1a7a2cf1fd4370bc45527cee966aff5edd8894097c896d28115ea1`
MD5	`c7679a657c721a86185ce8fa205cdea7`
BLAKE2b-256	`73fc4df5dbd08ae6adce3512df30d4268d113dff9d72fedc865ed13cc9ddafb2`

Hashes for agda-2.6.4.3-cp38-cp38-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.4.3-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`a9008176dd39a906cee43dbe58110584fb25a517bf7f0cc6672a37b09493b763`
MD5	`bc82cb84bdde7f46916c094aeee4bbf0`
BLAKE2b-256	`766f094961864c42874ed8e515522b4f0281fdc6843abf01ec4bb47c3a1550c2`

Hashes for agda-2.6.4.3-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for agda-2.6.4.3-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`695f69acf31b5887d6cdec128009c445873e9ef5129e42a71f918807ba9f9e9e`
MD5	`a2896428d54e27edd6c85b1b00249fc7`
BLAKE2b-256	`ffce8ff087292d18ddcdc9f6de3193737c5343a7b32799698e5427ccb8b612dd`

Hashes for agda-2.6.4.3-cp38-cp38-macosx_11_0_arm64.whl

Hashes for agda-2.6.4.3-cp38-cp38-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`71e0ba36470b9ed53159183a5f575e7810d3b1f0b5a0e3fc6c320514cfd735c6`
MD5	`5db33423053d2b3470762437b212e41e`
BLAKE2b-256	`db22917d0718851696c56cb0ff0b389a6ea78fe1146015ebf8cf29f1f23e019b`

Hashes for agda-2.6.4.3-cp38-cp38-macosx_10_9_x86_64.whl

Hashes for agda-2.6.4.3-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`d363c071d3c7106d3a9a5296e3f7f8efc04c018288c5747016f8d5c86b1b04d1`
MD5	`f0302b67f6b3a3bf2792e81326850b4f`
BLAKE2b-256	`ffd9364b6e83128e3bd7da40b5e3951cd3df3d8bd390f5e8222055c1f568003d`

Hashes for agda-2.6.4.3-cp37-cp37m-win_amd64.whl

Hashes for agda-2.6.4.3-cp37-cp37m-win_amd64.whl
Algorithm	Hash digest
SHA256	`61faab9529884b424d00ffe8ef4997e81f6d40c559f780850a87043b5bea39d5`
MD5	`a48ca81d0c9cf5b74a90b929e8787997`
BLAKE2b-256	`d2b4f639b12bfcb5197ebe1f8a4717a2e8f1c23533b55cac04a567b9324ea96d`

Hashes for agda-2.6.4.3-cp37-cp37m-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.4.3-cp37-cp37m-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`f042beccc0aaa22ea3f78bf7173fdda5a85b56999dc7b9429b187c868068228f`
MD5	`003c3dc4b983ee18f387b364f33b55c3`
BLAKE2b-256	`4f1e9ccf74c5c3f8c761a007eac3d616746c0d006402b790d98971abc2da9680`

Hashes for agda-2.6.4.3-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for agda-2.6.4.3-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`f0fb062ab363ea833cff1380254bf9590c6b67e3a5efc7ded73809eba4e67b78`
MD5	`1e30c47ae237b79279782b38977eae19`
BLAKE2b-256	`019e5ec201ab35d3d40f56545615fa925d6d7d5b3af2d1b981ddf618557cf2c4`

Hashes for agda-2.6.4.3-cp37-cp37m-macosx_10_9_x86_64.whl

Hashes for agda-2.6.4.3-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`80876b647fa4dd55bd44a92729d4942a68c7a5a218eab600fb1ae713f32c2033`
MD5	`db2e5505043bc4eab40138f7ee0e4a6a`
BLAKE2b-256	`25b3e79a3dbd3dd14c5fc63538ddc49d794d007b238b68086ad40008cbd58b10`