depend:
  agda-categories
  standard-library-1.7
include:
  src