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

[Ailrun]

Standard library 1.5 and above uses standard-library-<version> 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 file descriptor and failed to install standard library.

It would be greatly appreciated if this can be fixed.

[jg-fisher]

Running into this same issue. "No file descriptor found for version xxx"

[anadon]

Three for three. At time of writing, unusable. Since I'm just starting, I am in no way equipped to fix the issue.

[Ailrun]

@anadon As a workaround, you can manually maintain your packages using Git. That's unsatisfactory, but at least usable.