Current collected state Current
Observed since 20 Oct, 21:21 UTC
No superseded metadata states collected. Unchanged observations do not create new revisions.
PACKAGE EXPLORERView in registry
agda
PyPIA project that packages Agda as a Python package.
Versions collected1
Direct dependencies2From release 2.7.0.1
Last observed20 Oct, 21:21 UTC
README
Version 2.7.0.1 documentation
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:
Downloads & popularity
Awaiting observationsNo metric observations yet
Download counts and popularity will appear here as the collector receives them.
Versions 1
Collected releases| Version | Published | Direct dependencies | Open version |
|---|---|---|---|
| 2.7.0.1 | 18 Feb 2025 | 2 |
Package advisories
0No matching advisories collected
This describes our collected data; it is not a security assessment.
Metadata history
Meaningful changesRecord identity
package:5ff4c49a37df00413b353dab83a9fdb0cae7d4134d529aac1fa36b406d75ee54