Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
PandocAgda-2.3.3.0.2
% Changes PandocAgda 2.3.3.0.1 --> 2.3.3.0.2 - correct a dependency in cabal file - README and CHANGES files PandocAgda 2.3.3 --> 2.3.3.0.1 - correct LICENCE file - correct darcs repo URL