On 2016-04-24 14:02, John Leo wrote: > The file "defaults" has as contents the single line: > agda-stdlib > > The file "libraries" has as contents the single line: > /Users/leo/agda/agda-stdlib/agda-stdlib.agda-lib I believe that "agda-stdlib" was renamed to "standard-library" before the release. -- /NAD