agda-pkg

agda-pkg copied to clipboard

I've just published [agda-python], which packages Agda as a Python package. The repository includes a small GitHub Action, which installs Agda from PyPI. It'd be really neat if I could...

wenkokke

agda-pkg does not work with standard library >= 1.5

3

Standard library 1.5 and above uses `standard-library-` as its name, and `apkg` tries to find that in the index. However, since the index has `standard-library/versions/v1.5`, not `standard-library-1.5/versions/v1.5`, it cannot find...

Ailrun

It appears gist.github.com now uses zip instead of tar.

bbarker

Bumps [pyyaml](https://github.com/yaml/pyyaml) from 5.3.1 to 5.4. Changelog Sourced from pyyaml's changelog. 5.4 (2021-01-19) yaml/pyyaml#407 -- Build modernization, remove distutils, fix metadata, build wheels, CI to GHA yaml/pyyaml#472 -- Fix for...

dependabot[bot]