agda2lagda-0.2023.1.12: dependencies

Dependencies for agda2lagda-0.2023.1.12

agda2lagda	base (>=4.9 && <5) directory filepath optparse-applicative (>=0.13 && <0.18)