The Agda people responded with the following on https://github.com/agda/agda/issues/5631
Hmmm. The package does not even seem to install the .agda-lib file: https://packages.ubuntu.com/focal/all/agda-stdlib/filelist So a potential workaround would be to: Copy this file into /usr/share/agda-stdlib Add the line /usr/share/agda-stdlib/standard-library.agda-lib in ~/.agda/libraries-2.6.0.1 Add the line standard-library in ~/agda/defaults and this should allow you to bypass having to explicitly pass -i .... ** Bug watch added: github.com/agda/agda/issues #5631 https://github.com/agda/agda/issues/5631 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1949641 Title: command-line invocation doesn't find stdlib To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/agda/+bug/1949641/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
