packages feed

Agda-2.3.2.2: test/fail/FileNotFound.err

FileNotFound.agda:3,8-21
Failed to find source of module A.B.WildGoose in any of the
following locations:
  ../A/B/WildGoose.agda
  ../A/B/WildGoose.lagda
  A/B/WildGoose.agda
  A/B/WildGoose.lagda
when scope checking the declaration
  import A.B.WildGoose