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
  • Provides-Extra: mypy, test
Classifiers

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
  • Provides-Extra: mypy, test
Classifiers

Release history Release notifications | RSS feed

This version

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

agda-2.7.0-cp312-cp312-win_amd64.whl (23.4 MB view details)

Uploaded CPython 3.12 Windows x86-64

agda-2.7.0-cp312-cp312-musllinux_1_1_x86_64.whl (39.2 MB view details)

Uploaded CPython 3.12 musllinux: musl 1.1+ x86-64

agda-2.7.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.0 MB view details)

Uploaded CPython 3.12 manylinux: glibc 2.17+ x86-64

agda-2.7.0-cp312-cp312-macosx_11_0_arm64.whl (32.8 MB view details)

Uploaded CPython 3.12 macOS 11.0+ ARM64

agda-2.7.0-cp312-cp312-macosx_10_9_x86_64.whl (33.8 MB view details)

Uploaded CPython 3.12 macOS 10.9+ x86-64

agda-2.7.0-cp311-cp311-win_amd64.whl (23.4 MB view details)

Uploaded CPython 3.11 Windows x86-64

agda-2.7.0-cp311-cp311-musllinux_1_1_x86_64.whl (39.2 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ x86-64

agda-2.7.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.0 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ x86-64

agda-2.7.0-cp311-cp311-macosx_11_0_arm64.whl (32.8 MB view details)

Uploaded CPython 3.11 macOS 11.0+ ARM64

agda-2.7.0-cp311-cp311-macosx_10_9_x86_64.whl (33.8 MB view details)

Uploaded CPython 3.11 macOS 10.9+ x86-64

agda-2.7.0-cp310-cp310-win_amd64.whl (23.4 MB view details)

Uploaded CPython 3.10 Windows x86-64

agda-2.7.0-cp310-cp310-musllinux_1_1_x86_64.whl (39.2 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ x86-64

agda-2.7.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.0 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ x86-64

agda-2.7.0-cp310-cp310-macosx_11_0_arm64.whl (32.8 MB view details)

Uploaded CPython 3.10 macOS 11.0+ ARM64

agda-2.7.0-cp310-cp310-macosx_10_9_x86_64.whl (33.8 MB view details)

Uploaded CPython 3.10 macOS 10.9+ x86-64

agda-2.7.0-cp39-cp39-win_amd64.whl (23.4 MB view details)

Uploaded CPython 3.9 Windows x86-64

agda-2.7.0-cp39-cp39-musllinux_1_1_x86_64.whl (39.2 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ x86-64

agda-2.7.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.0 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64

agda-2.7.0-cp39-cp39-macosx_11_0_arm64.whl (32.8 MB view details)

Uploaded CPython 3.9 macOS 11.0+ ARM64

agda-2.7.0-cp39-cp39-macosx_10_9_x86_64.whl (33.8 MB view details)

Uploaded CPython 3.9 macOS 10.9+ x86-64

agda-2.7.0-cp38-cp38-win_amd64.whl (23.4 MB view details)

Uploaded CPython 3.8 Windows x86-64

agda-2.7.0-cp38-cp38-musllinux_1_1_x86_64.whl (39.2 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ x86-64

agda-2.7.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.0 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ x86-64

agda-2.7.0-cp38-cp38-macosx_11_0_arm64.whl (32.8 MB view details)

Uploaded CPython 3.8 macOS 11.0+ ARM64

agda-2.7.0-cp38-cp38-macosx_10_9_x86_64.whl (33.8 MB view details)

Uploaded CPython 3.8 macOS 10.9+ x86-64

agda-2.7.0-cp37-cp37m-win_amd64.whl (23.4 MB view details)

Uploaded CPython 3.7m Windows x86-64

agda-2.7.0-cp37-cp37m-musllinux_1_1_x86_64.whl (39.2 MB view details)

Uploaded CPython 3.7m musllinux: musl 1.1+ x86-64

agda-2.7.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (37.0 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.17+ x86-64

agda-2.7.0-cp37-cp37m-macosx_10_9_x86_64.whl (33.8 MB view details)

Uploaded CPython 3.7m macOS 10.9+ x86-64

File details

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

File metadata

  • Download URL: agda-2.7.0-cp312-cp312-win_amd64.whl
  • Upload date:
  • Size: 23.4 MB
  • Tags: CPython 3.12, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.1.0 CPython/3.12.5

File hashes

Hashes for agda-2.7.0-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 90d22af25966a7aeb27f0dca68e4e25e19a06497c70bc556fe8f3eaf974ad4f9
MD5 bc0267e1dc715c08a7def4cffb456b0f
BLAKE2b-256 b4b4c6f802b823c425876a8e5c440fe928783f85fc8d390a380668c456e517e3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp312-cp312-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 224e181d4f556d1d7ccfa94e72511c642d14c4b378b57b3f5d4f9da85c1fd61c
MD5 cb6673f906c8f9c57fd78fe0c38ca325
BLAKE2b-256 a348d03170b98ad3530c65b155f5b1b2d836952b66b5a2f276870207a8dcd4d6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 6509dd0c850f74c51c0aa8f660a467d3ef31d1974e1cec3b6d626f8635f3b58f
MD5 4a917d3eed880f667f1b525d47beede7
BLAKE2b-256 6ab65b037ea69af837d0c013e0a7dd13a697bf72e074a1a348935f84d6a92492

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 0f412911d44eee760207124afa44df40034640540ec17255b515165febecf528
MD5 47f11bd781286a610605a92ab0f1df9b
BLAKE2b-256 b2f65a57e1f30cf6824443eec11027c652ef0419e00d44e94aaf15801f13d31b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp312-cp312-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 921057438e683b14e45b749273da0bf9edc7d7b7c104e290425d7247700c691b
MD5 45e1147368a8a13845dea0385deffcab
BLAKE2b-256 ef2db7b2be322f31ed9566c4033b816efca0ed1569de8553f60af65359c717a3

See more details on using hashes here.

File details

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

File metadata

  • Download URL: agda-2.7.0-cp311-cp311-win_amd64.whl
  • Upload date:
  • Size: 23.4 MB
  • Tags: CPython 3.11, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.1.0 CPython/3.12.5

File hashes

Hashes for agda-2.7.0-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 0b71968d0344aa452f47ef15c329d6c4855515f6b95adaf32789070587e543eb
MD5 b7bdae14a82626769db36019f9a10db5
BLAKE2b-256 8ed8085b6dd1607d9112e815e6d144b969da65626aa2ee610766cb583fa2f89f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 7a97c98a04f914897e88f3155bd88d0aa6a351e4e0819341af7d2369f4e30f23
MD5 711b1af172afacaf769866d33eb16ed9
BLAKE2b-256 0a203be0c79b439a43194f5bbe1654a5fc2099d4acc5f9616c4761a1ee1b8f02

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 bed174dc2efc85924ff69d57361ca5b58a0d54518046df65c59cfff40ccedd12
MD5 03d2f87349603b9dae2c6f199eb6de13
BLAKE2b-256 eba1a06afa5ac27901a191c2610498170b9a24fa9dc1834e4c5895f2c1114b90

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 44fdbe7cf5838b9d7e1523eb020083e77ec901ded29ef0f8d4aee104c750903b
MD5 1d9ff7ee12c2e227e47ca9634176e02c
BLAKE2b-256 9ab09c2b8ab85bc1c73f67ed1de1e284e356ecb6bb08196b1bc97d08506d46b4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 4ab0e1106ffa0bf464bbc2e85bd3cc7af994743672ec03677bd37d14b7f7b5c3
MD5 bac85649d6fdbf6d269d7d1bfad57c0b
BLAKE2b-256 a06fba8de4ef87fe56869999ea5024d81cbda4cc7c1a08b009c1e293f9d7451c

See more details on using hashes here.

File details

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

File metadata

  • Download URL: agda-2.7.0-cp310-cp310-win_amd64.whl
  • Upload date:
  • Size: 23.4 MB
  • Tags: CPython 3.10, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.1.0 CPython/3.12.5

File hashes

Hashes for agda-2.7.0-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 527ca4fbb7054fe4ab266d5cc6cdaa2e154e628cdd67612cccc8926c12526b92
MD5 7fa9dbb72a5ca1e54b4bab3b62073c1e
BLAKE2b-256 c13943505be9ae2f246b1f270d7aaf3d730d2c7cc27a1686ff94cdba322dea46

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 f5f76864d735837f21cd2ffeb3add028e6459df537a53f26060593b138542aae
MD5 69c70d0f04f7cdec322f049d226ac13b
BLAKE2b-256 50db0ad540fb2450bfa46f3594280b78fbe3385d5fc15cd92b9af0d4a3982463

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 c51be56a0096a088e156ed93623bf3238aee6f95161716bb0e2e503aa6a43a1d
MD5 b4d01f75b2257484c91ad0b90b1e3da1
BLAKE2b-256 5bd909678480ba1d510712ba9082e89cfee43ef3530f16e1b35c7dc3b1fc06b9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 ee5223f963f6d415f4396e2a568831ca4a784fed4c5044a44a7825d52a5d5d4b
MD5 79a5d09796301ef8ef0a9b20c270e100
BLAKE2b-256 bb8f0232ac7cb77949b304286f1678ed9ce7d959db983b40cc179cbf6ebc54e0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 717d5c5dfa16b7e5c01f88d49866c6398c69f560a8a0e32ab9e97a132a80f576
MD5 05bcea6b67417b349ece09443163bfc5
BLAKE2b-256 526baf5af7b7bac2954ce61abcefb3bd0235c52a76fbf4ad0711b599cdc3fcf5

See more details on using hashes here.

File details

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

File metadata

  • Download URL: agda-2.7.0-cp39-cp39-win_amd64.whl
  • Upload date:
  • Size: 23.4 MB
  • Tags: CPython 3.9, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.1.0 CPython/3.12.5

File hashes

Hashes for agda-2.7.0-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 177b20571b801822f64032e3573d83e73482c2ee1a15b57cf74235e820853127
MD5 af2df44873390ab670c925dd60bf01b0
BLAKE2b-256 6202a5ff36a631124ee158d123c12c9aea6d64f72ae65488e590942d853afa7d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 ab2bdea6a201d49b52baae62fea2b74c7de714a03675e66a503a87863667f296
MD5 4a933293b6bd300588448a369b05e95c
BLAKE2b-256 1557638bb1e61eda5318cb57f6c5b9034909598b44f5a61c073ab8910d87859d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 351adf9f1e49b2f2668bb25b007e2f29a77e483042f9029ca63e9f4a1e4167fe
MD5 e6c2a75030cd59b1db4aa009994d4fb0
BLAKE2b-256 4c7347fde605dee48cd2a4034027bc6d683f007f0811361798dcb745815b0e1c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 e6eb429e089776053cf4d9dbedc2beaf0ccfbd341b358333e8057653e87d586d
MD5 e746c61164200bc062ebbec0ac084860
BLAKE2b-256 15bb07c69dd3a0a6a2698573c41545e5e5386161545bb203a3d8c1447e0a4d9f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 19709430a7b80c99ebf5c333466d13f85624ed8ecaa67c67fe8d2edd4cd732a1
MD5 c4cdc69045ed51c55e685ed00219c39e
BLAKE2b-256 885af1fe2d46676822023309ab2f6b1e18cca14d39dc9402c1f12546e7a7a1b2

See more details on using hashes here.

File details

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

File metadata

  • Download URL: agda-2.7.0-cp38-cp38-win_amd64.whl
  • Upload date:
  • Size: 23.4 MB
  • Tags: CPython 3.8, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/5.1.0 CPython/3.12.5

File hashes

Hashes for agda-2.7.0-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 875cc346a07796fc96bfbd33a398d0f254ab7af61be902b49af42c753df6a789
MD5 da500719f377aeb9d9d224a6d8916682
BLAKE2b-256 b6e844090936cf5cf1364bd98e2116d19c85742639b04416d462fc626ec78635

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 4b95d2502345c3dcbefb65f3d90af98e60beccb49e040f96c7ec6bc68678d3f9
MD5 0c97239d3ff0516e9115a3c86532f0a2
BLAKE2b-256 a4265d5fd50c1a4b38a66d0e34ebc909e47bfde62e56ac2d045e2792f78b8972

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 2091726e57a70a9b47ed791e791896d232a37246b377739d8743dc6dc2dabf85
MD5 4ff0064ccb3af3c619609b985c5e6242
BLAKE2b-256 d404aace51bb29a7478bdd4f8a1a908f0f4e86095bd43d0b15cc0a669dedc87e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp38-cp38-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 fb3ed4260317b3fab51817531d8f878577caa82845b852c18c855a57d3d1374b
MD5 e91bf75d0e1067be9fbf289493961cf6
BLAKE2b-256 6adcdc9e740800a8e21f47a595484280f99ce88ba2abce7bd39d4f92d0bf40c5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 21b5ec228cbb4b0a004b7bb21963c11532f0481a66c82d443bb7a1d635d83e0c
MD5 6970b80ded5432d9d56fd235867350e7
BLAKE2b-256 dbfa81df19d3940bdf5e2c6cf5319d0ea942e1cb304ae61a7d974df86019d0e3

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for agda-2.7.0-cp37-cp37m-win_amd64.whl
Algorithm Hash digest
SHA256 6a4d7e97ac8fd12d7b879fcbad955bf5b1f1400832ad4147432a12c7aaf7c8d0
MD5 8ac06273b78c11ce047e584a20c646e8
BLAKE2b-256 d82a409c6d5303b0b2e7f0e84692be1477bad8fc9eedd82dd45f008261fee5c7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp37-cp37m-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 21c87c3b7f594802c9dd0a02312277d9a57ac76223a213186a2f118d0d9bf69e
MD5 952a02e6cd941ef72a9519c47e5ddc77
BLAKE2b-256 e25e4e7847797b939f11a30b9ff643479bf27fbc09919d105aa156f6a91edb1d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 04a8ae7644033b61d0042df6e502245dd820bac3088e1ae2fe435cb222bf74f0
MD5 2d0efec69452188e017e345e77c87bb2
BLAKE2b-256 659d222a77c7b4128c2fcb8f4b117dfeb08c915a2dda62aea586557e0383cc8d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for agda-2.7.0-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 d8508305c58d736057a209c9799d3306c4af92ecb71ee35a3be2f95d157ac2f8
MD5 2e986b439ae52aa46c20d3a2dc330cbf
BLAKE2b-256 d58d6c022507ece4f520760244138488ffe27c55a6d7c77d4e924e7fe43651e5

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page