[Agda] using different stdlib

[Jason Hu]

Hi,

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
   '/home/hu/.agda/libraries'
to install.
Installed libraries:
   standard-library-2.0
     (/home/hu/.agda/agda-stdlib-2.6.2/standard-library.agda-lib)

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?

Thanks,
Jason


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