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

Reason this release was yanked:

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

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

Release history Release notifications | RSS feed

2.7.0.1

2.7.0

2.6.4.3.post1

This version

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

Uploaded CPython 3.12Windows x86-64

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

Uploaded CPython 3.12musllinux: 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 details)

Uploaded CPython 3.12manylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.12macOS 11.0+ ARM64

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

Uploaded CPython 3.12macOS 10.9+ x86-64

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

Uploaded CPython 3.11Windows x86-64

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

Uploaded CPython 3.11musllinux: 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 details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.11macOS 11.0+ ARM64

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

Uploaded CPython 3.11macOS 10.9+ x86-64

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

Uploaded CPython 3.10Windows x86-64

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

Uploaded CPython 3.10musllinux: 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 details)

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.10macOS 11.0+ ARM64

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

Uploaded CPython 3.10macOS 10.9+ x86-64

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

Uploaded CPython 3.9Windows x86-64

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

Uploaded CPython 3.9musllinux: 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 details)

Uploaded CPython 3.9manylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.9macOS 11.0+ ARM64

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

Uploaded CPython 3.9macOS 10.9+ x86-64

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

Uploaded CPython 3.8Windows x86-64

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

Uploaded CPython 3.8musllinux: 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 details)

Uploaded CPython 3.8manylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.8macOS 11.0+ ARM64

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

Uploaded CPython 3.8macOS 10.9+ x86-64

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

Uploaded CPython 3.7mWindows x86-64

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

Uploaded CPython 3.7mmusllinux: 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 details)

Uploaded CPython 3.7mmanylinux: glibc 2.17+ x86-64

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

Uploaded CPython 3.7mmacOS 10.9+ x86-64

File details

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

File metadata

  • Download URL: agda-2.6.4.3-cp312-cp312-win_amd64.whl
  • Upload date:
  • Size: 22.8 MB
  • Tags: CPython 3.12, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.0.0 CPython/3.12.3

File hashes

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

See more details on using hashes here.

File details

Details for the file agda-2.6.4.3-cp312-cp312-musllinux_1_1_x86_64.whl.

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

Details for the file agda-2.6.4.3-cp312-cp312-macosx_10_9_x86_64.whl.

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

  • Download URL: agda-2.6.4.3-cp311-cp311-win_amd64.whl
  • Upload date:
  • Size: 22.8 MB
  • Tags: CPython 3.11, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.0.0 CPython/3.12.3

File hashes

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

See more details on using hashes here.

File details

Details for the file agda-2.6.4.3-cp311-cp311-musllinux_1_1_x86_64.whl.

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

  • Download URL: agda-2.6.4.3-cp310-cp310-win_amd64.whl
  • Upload date:
  • Size: 22.8 MB
  • Tags: CPython 3.10, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.0.0 CPython/3.12.3

File hashes

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

See more details on using hashes here.

File details

Details for the file agda-2.6.4.3-cp310-cp310-musllinux_1_1_x86_64.whl.

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

  • Download URL: agda-2.6.4.3-cp39-cp39-win_amd64.whl
  • Upload date:
  • Size: 22.8 MB
  • Tags: CPython 3.9, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.0.0 CPython/3.12.3

File hashes

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

See more details on using hashes here.

File details

Details for the file agda-2.6.4.3-cp39-cp39-musllinux_1_1_x86_64.whl.

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

  • Download URL: agda-2.6.4.3-cp38-cp38-win_amd64.whl
  • Upload date:
  • Size: 22.8 MB
  • Tags: CPython 3.8, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.0.0 CPython/3.12.3

File hashes

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

See more details on using hashes here.

File details

Details for the file agda-2.6.4.3-cp38-cp38-musllinux_1_1_x86_64.whl.

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

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

File hashes

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

See more details on using hashes here.

File details

Details for the file agda-2.6.4.3-cp37-cp37m-musllinux_1_1_x86_64.whl.

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

See more details on using hashes here.

File details

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

File metadata

File hashes

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

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