On 2022-01-30 01:13, Jason Hu wrote: > 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? Perhaps one of the libraries that you use specify that standard-library-1.7 is one of its dependencies. Check the .agda-lib files. -- /NAD