Is agda-pkg maintained? #49
Description
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 use agda-pkg to add support for library management to the action.
Unfortunately, the project doesn't seem to have had any commits in the past two years, and #47 seems to imply there's no active maintainer.
Is it still maintained? Does it still work?