exe:agdapandoc

Dependencies

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

Reverse dependencies

None.