Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: PandocAgda (user goal)
rejecting: PandocAgda-2.3.3.0.2 (global constraint requires ==2.3.3.0.1)
rejecting: PandocAgda-2.3.3.0.1 (conflict: PandocAgda => PandocAgda==2.3.3)
rejecting: PandocAgda-2.3.3 (global constraint requires ==2.3.3.0.1)
Dependency tree exhaustively searched.