[Agda] using different stdlib

Jason Hu fdhzs2010 at hotmail.com
Sun Jan 30 01:13:42 CET 2022


I am trying to use the master branch of the stdlib and what I did was simply pull the git repo in ~/.agda and switch it to master. Naturally, the version number went from 1.7 to 2.0 after I checked out the master branch. However, after that, agda complains that it cannot locate standard-library-1.7. The error message goes as follows:

Library 'standard-library-1.7' not found.
Add the path to its .agda-lib file to
to install.
Installed libraries:

I cannot find any settings in my ~/.agda where 1.7 is specified. Is it the case that 1.7 is hardcoded in the agda release?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20220130/e74c9c5e/attachment.html>

More information about the Agda mailing list