name: agda-symmetries
depend:
  .
  cubical