exe:agdapandoc

Dependencies

• PandocAgda lib:PandocAgda ==2.3.3.0.2
• base lib:base >=3 && <6

Reverse dependencies

None.